Linguagens Formais e Autômatos

Linguagens e Máquinas
INF1626 e INF1302
Revisão de Teoria de Conjuntos

Prof. Edward Hermann Haeusler

PUC-Rio

Departamento de Informática

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 1 / 14 de
 Teoria de Conjuntos

Fatos:
Usada na especificação de diversos domínios em matemática e
ciência
Um conjunto é uma coleção.
Em geral um conjunto é definido por uma propriedade
A relação de pertinência é primitiva na Teoria de Conjuntos
Somente com o ∈ (“pertence a”) e lógica de primeira ordem,
define-se os principais conceitos de teoria dos conjuntos

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Fatos:
Usada na especificação de diversos domínios em matemática e
ciência
Um conjunto é uma coleção.
Em geral um conjunto é definido por uma propriedade
A relação de pertinência é primitiva na Teoria de Conjuntos
Somente com o ∈ (“pertence a”) e lógica de primeira ordem,
define-se os principais conceitos de teoria dos conjuntos

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Fatos:
Usada na especificação de diversos domínios em matemática e
ciência
Um conjunto é uma coleção.
Em geral um conjunto é definido por uma propriedade
A relação de pertinência é primitiva na Teoria de Conjuntos
Somente com o ∈ (“pertence a”) e lógica de primeira ordem,
define-se os principais conceitos de teoria dos conjuntos

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Fatos:
Usada na especificação de diversos domínios em matemática e
ciência
Um conjunto é uma coleção.
Em geral um conjunto é definido por uma propriedade
A relação de pertinência é primitiva na Teoria de Conjuntos
Somente com o ∈ (“pertence a”) e lógica de primeira ordem,
define-se os principais conceitos de teoria dos conjuntos

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Fatos:
Usada na especificação de diversos domínios em matemática e
ciência
Um conjunto é uma coleção.
Em geral um conjunto é definido por uma propriedade
A relação de pertinência é primitiva na Teoria de Conjuntos
Somente com o ∈ (“pertence a”) e lógica de primeira ordem,
define-se os principais conceitos de teoria dos conjuntos

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
A ∩ B = {x ∈ C/φ(x) ∧ ψ(x)}
A ∪ B = {x ∈ C/φ(x) ∨ ψ(x)}
C − A = {x ∈ C/¬φ(x)}
A × B = {< x, y > /φ(x) ∧ ψ(x)}
A ⊆ B, se e somente se, ∀x(φ(x) → ψ(x))

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
2A = {D/D ⊆ A}, as vezes denotado por Pot(A).
R ⊆ A × B é dita ser uma relação entre A e B.
f ⊆ A × B é uma relação funcional, se e somente se, se
< a, b >∈ f e < a, b0 >∈ f então b = b0 , para todos a, b, b0 , esq.
f ⊆ A × B é uma função, se e somente se, f é funcional, e, para
todo a ∈ A, existe b ∈ B, tal que < a, b >∈ f . Denota-se
f : A → B, esq.
B A = {f /f : A → B}.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
2A = {D/D ⊆ A}, as vezes denotado por Pot(A).
R ⊆ A × B é dita ser uma relação entre A e B.
f ⊆ A × B é uma relação funcional, se e somente se, se
< a, b >∈ f e < a, b0 >∈ f então b = b0 , para todos a, b, b0 , esq.
f ⊆ A × B é uma função, se e somente se, f é funcional, e, para
todo a ∈ A, existe b ∈ B, tal que < a, b >∈ f . Denota-se
f : A → B, esq.
B A = {f /f : A → B}.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
2A = {D/D ⊆ A}, as vezes denotado por Pot(A).
R ⊆ A × B é dita ser uma relação entre A e B.
f ⊆ A × B é uma relação funcional, se e somente se, se
< a, b >∈ f e < a, b0 >∈ f então b = b0 , para todos a, b, b0 , esq.
f ⊆ A × B é uma função, se e somente se, f é funcional, e, para
todo a ∈ A, existe b ∈ B, tal que < a, b >∈ f . Denota-se
f : A → B, esq.
B A = {f /f : A → B}.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
2A = {D/D ⊆ A}, as vezes denotado por Pot(A).
R ⊆ A × B é dita ser uma relação entre A e B.
f ⊆ A × B é uma relação funcional, se e somente se, se
< a, b >∈ f e < a, b0 >∈ f então b = b0 , para todos a, b, b0 , esq.
f ⊆ A × B é uma função, se e somente se, f é funcional, e, para
todo a ∈ A, existe b ∈ B, tal que < a, b >∈ f . Denota-se
f : A → B, esq.
B A = {f /f : A → B}.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Se A = {x ∈ C/φ(x)} e B = {x ∈ C/ψ(x)} temos as seguintes

operações e definições:
2A = {D/D ⊆ A}, as vezes denotado por Pot(A).
R ⊆ A × B é dita ser uma relação entre A e B.
f ⊆ A × B é uma relação funcional, se e somente se, se
< a, b >∈ f e < a, b0 >∈ f então b = b0 , para todos a, b, b0 , esq.
f ⊆ A × B é uma função, se e somente se, f é funcional, e, para
todo a ∈ A, existe b ∈ B, tal que < a, b >∈ f . Denota-se
f : A → B, esq.
B A = {f /f : A → B}.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Teoria de Conjuntos

Propriedades de Funções
f : A → B é injetiva, sss, para todos a, a0 ∈ A e b ∈ B, se
< a, b >∈ f e < a0 , b > então a = a0 ,esq.
f : A → B é sobrejetiva, sss, para todo b ∈ B, existe a ∈ A, tal que
< a, b >∈ f . esq.
Se A é um conjunto card(A) denota a quantidade de elementos
em A.
card(A) ≤ card(B), se e somente se, existe uma função injetiva
f : A → B.
card(A) = card(B), se e somente se, existe uma função injetiva e
sobrejetiva f : A → B.
Se card(A) ≤ card(B) e card(B) ≤ card(A) então
card(A) = card(B).

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 2 / 14 de
 Conceitos Básicos

Alfabeto
Um Alfabeto é um conjunto não vazio e finito (de símbolos).
ExemplosB

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 3 / 14 de
 Conceitos Básicos

Alfabeto
Um Alfabeto é um conjunto não vazio e finito (de símbolos).
ExemplosB

Palavras
Uma palavra sobre um alfabeto Σ é qualquer sequência finita de
símbolos de Σ juvstapostos.
ExemplosB

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 3 / 14 de
 Conceitos Básicos

Alfabeto
Um Alfabeto é um conjunto não vazio e finito (de símbolos).
ExemplosB

Palavras
Uma palavra sobre um alfabeto Σ é qualquer sequência finita de
símbolos de Σ juvstapostos.
ExemplosB

Concatenação de Palavras: .
Operação de justaposição de palavras sobre um mesmo alfabeto
resultando em palavras sobre este alfabeto.
ExemplosB

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 3 / 14 de
 Conceitos Básicos

Palavra Vazia
Sobre qualquer alfabeto Σ temos a palavra vazia 

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 4 / 14 de
 Conceitos Básicos

Palavra Vazia
Sobre qualquer alfabeto Σ temos a palavra vazia 

Propriedades da Concatenação de Palavras

Para todas as palavras x,y,z sobre um alfabeto Σ, vale:

x = x. (1)
x = .x (2)
x.(y .z) = (x.y ).z (3)

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 4 / 14 de
 Conceitos Básicos
Palavra Vazia
Sobre qualquer alfabeto Σ temos a palavra vazia 

Propriedades da Concatenação de Palavras

Para todas as palavras x,y,z sobre um alfabeto Σ, vale:

x = x. (1)
x = .x (2)
x.(y .z) = (x.y ).z (3)

Conjunto de todas as palavras sobre um Alfabeto

Sendo Σ um alfabeto, denota-se por Σ∗ o conjunto de todas as
palavras sobre Σ , incluindo a palavra vazia (). Além disso, define-se
Σ+ = Σ∗ − {}
ExemplosB
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 4 / 14 de
 Conceitos Básicos

Linguagem Formal
L é dita ser uma linguagem formal sobre um alfabeto Σ, se e somente
se, L ⊆ Σ?
ExemplosB

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 5 / 14 de
 Conceitos Básicos

Linguagem Formal
L é dita ser uma linguagem formal sobre um alfabeto Σ, se e somente
se, L ⊆ Σ?
ExemplosB

Outros exemplos de L.F.s

∅ ⊆ Σ?
Σ ? ⊆ Σ?
{} ⊆ Σ?

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 5 / 14 de
 Conceitos Básicos

Outros exemplos de L.F.s

∅ ⊆ Σ?
Σ ? ⊆ Σ?
{} ⊆ Σ?

Operações sobre Linguagens

Sejam L1 e L2 linguagens formais, então:
L1 .L2 = {α1 .α2 /αi ∈ Li , i = 1, 2}
L1 ∪ L2
L1 ∩ L2
L1 − L2
L?1 = {} ∪ L1 ∪ L1 .L1 ∪ L1 .L1 .L1 . . .

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 5 / 14 de
 Exemplos

Σ = {a, b}
Σ? = {, a, b, aa, ab, ba, bb, aaa, aab, aba, abb, baa, bab, bba, bbb, . . .}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 6 / 14 de
 Exemplos

Σ = {a, b}
Σ? = {, a, b, aa, ab, ba, bb, aaa, aab, aba, abb, baa, bab, bba, bbb, . . .}

Σ = {a}
Σ? = {, a, aa, aaa, aaaa, aaaaa, . . .}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 6 / 14 de
 Exemplos

Σ = {a, b}
Σ? = {, a, b, aa, ab, ba, bb, aaa, aab, aba, abb, baa, bab, bba, bbb, . . .}

Σ = {a}
Σ? = {, a, aa, aaa, aaaa, aaaaa, . . .}

Σ = {a, b, c}
Σ? = {, a, b, c, aa, ab, ac, , ba, bb, bc, ca, cb, cc, aaa, aab, aac, . . .}
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 6 / 14 de
 Exemplos de Alfabetos

Alfabeto Latino
{A,B,C,. . . , X,Z}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 7 / 14 de
 Exemplos de Alfabetos

Alfabeto Latino
{A,B,C,. . . , X,Z}

Alfabeto da linguagem C
{A,B,. . . ,Z,a,b,. . . ,z,0,1,2,. . . ,“}”,“;”,“,”,. . . ,“.”,“ ”}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 7 / 14 de
 Exemplos de Alfabetos

Alfabeto Latino
{A,B,C,. . . , X,Z}

Alfabeto da linguagem C
{A,B,. . . ,Z,a,b,. . . ,z,0,1,2,. . . ,“}”,“;”,“,”,. . . ,“.”,“ ”}

Alfabeto dos numerais hindu-arábicos

{0,1,2,3,4,5,6,7,8,9}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 7 / 14 de
 Exemplos de Alfabetos

Alfabeto Latino
{A,B,C,. . . , X,Z}

Alfabeto da linguagem C
{A,B,. . . ,Z,a,b,. . . ,z,0,1,2,. . . ,“}”,“;”,“,”,. . . ,“.”,“ ”}

Alfabeto dos numerais hindu-arábicos

{0,1,2,3,4,5,6,7,8,9}

Alfabeto dos numerais romanos

{I,X,C,V,L,M,D}

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 7 / 14 de
 Exemplos de Alfabetos
Alfabeto Latino
{A,B,C,. . . , X,Z}

Alfabeto da linguagem C
{A,B,. . . ,Z,a,b,. . . ,z,0,1,2,. . . ,“}”,“;”,“,”,. . . ,“.”,“ ”}

Alfabeto dos numerais hindu-arábicos

{0,1,2,3,4,5,6,7,8,9}

Alfabeto dos numerais romanos

{I,X,C,V,L,M,D}

Alfabeto Palavras da língua portuguesa

As palavras no dicionário com suas respectivas inflexões formam um
conjunto finito, portanto um alfabeto. C
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 7 / 14 de
 Exemplos de Palavras

Palavras sobre o Alfabeto Latino

PALAVRA, MAIOR, FLAMENGO, MUNDO.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Palavras

Palavras sobre o Alfabeto Latino

PALAVRA, MAIOR, FLAMENGO, MUNDO.

Uma palavra sobre o Alfabeto da linguagem C

while (x+y==10) {x=x+1; y=y-1}; printf(x);

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Palavras

Palavras sobre o Alfabeto Latino

PALAVRA, MAIOR, FLAMENGO, MUNDO.

Uma palavra sobre o Alfabeto da linguagem C

while (x+y==10) {x=x+1; y=y-1}; printf(x);

Outra palavra sobre o Alfabeto da linguagem C

whik x = {);rty1 2 3,4:

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Palavras

Palavras sobre o Alfabeto Latino

PALAVRA, MAIOR, FLAMENGO, MUNDO.

Uma palavra sobre o Alfabeto da linguagem C

while (x+y==10) {x=x+1; y=y-1}; printf(x);

Outra palavra sobre o Alfabeto da linguagem C

whik x = {);rty1 2 3,4:

Algumas palavras sobre Alfabeto dos numerais hindu-arábicos

09827, 1234, 8373654501, 00000000, 111,23,3.

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Palavras
Palavras sobre o Alfabeto Latino
PALAVRA, MAIOR, FLAMENGO, MUNDO.

Uma palavra sobre o Alfabeto da linguagem C

while (x+y==10) {x=x+1; y=y-1}; printf(x);

Outra palavra sobre o Alfabeto da linguagem C

whik x = {);rty1 2 3,4:

Algumas palavras sobre Alfabeto dos numerais hindu-arábicos

09827, 1234, 8373654501, 00000000, 111,23,3.

Palavras sobre o Alfabeto dos numerais romanos

II, IV, VV, XVD, IM, MMVIII

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Palavras
Uma palavra sobre o Alfabeto da linguagem C
while (x+y==10) {x=x+1; y=y-1}; printf(x);

Outra palavra sobre o Alfabeto da linguagem C

whik x = {);rty1 2 3,4:

Algumas palavras sobre Alfabeto dos numerais hindu-arábicos

09827, 1234, 8373654501, 00000000, 111,23,3.

Palavras sobre o Alfabeto dos numerais romanos

II, IV, VV, XVD, IM, MMVIII

Palavras sobre o alfabeto

Palavras da língua portuguesa∪ {“ ´´}
O Flamengo é o maior do mundo,
A cadela da vizinha mordeu minha perna, pedra gato pegado C
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 8 / 14 de
 Exemplos de Linguagens Formais

Linguagem C
{P/P é programa em C} ⊆ Σ?LingC

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 9 / 14 de
 Exemplos de Linguagens Formais

Linguagem C
{P/P é programa em C} ⊆ Σ?LingC

Numerais hindu-arábicos
Numerais Hindu-Arábicos ⊆ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}?

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 9 / 14 de
 Exemplos de Linguagens Formais

Linguagem C
{P/P é programa em C} ⊆ Σ?LingC

Numerais hindu-arábicos
Numerais Hindu-Arábicos ⊆ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}?

Numerais romanos
Numerais Romanos ⊆ {I, V , X , L, C, D, M}?

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 9 / 14 de
 Exemplos de Linguagens Formais

Linguagem C
{P/P é programa em C} ⊆ Σ?LingC

Numerais hindu-arábicos
Numerais Hindu-Arábicos ⊆ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}?

Numerais romanos
Numerais Romanos ⊆ {I, V , X , L, C, D, M}?

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 9 / 14 de
 Exemplos de Linguagens Formais

Linguagem C
{P/P é programa em C} ⊆ Σ?LingC

Numerais hindu-arábicos
Numerais Hindu-Arábicos ⊆ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}?

Numerais romanos
Numerais Romanos ⊆ {I, V , X , L, C, D, M}?

Lingua Portuguêsa
{F /F é frase em português} ⊆ Σ?Port
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Departamento
Máquinas INF1626 e INF1302 Revisão
de Informática 9 / 14 de
 Exemplos de Concatenação de Palavras

Palavras sobre o Alfabeto Latino

FLAMENGO.MAIOR.MUNDO = FLAMENGOMAIORMUNDO

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 10 / 14 de
 Exemplos de Concatenação de Palavras

Palavras sobre o Alfabeto Latino

FLAMENGO.MAIOR.MUNDO = FLAMENGOMAIORMUNDO

Palavras sobre Alfabeto da linguagem C

while .x. { x=x-1 }= while x { x=x-1 }

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 10 / 14 de
 Exemplos de Concatenação de Palavras

Palavras sobre o Alfabeto Latino

FLAMENGO.MAIOR.MUNDO = FLAMENGOMAIORMUNDO

Palavras sobre Alfabeto da linguagem C

while .x. { x=x-1 }= while x { x=x-1 }

Palavras sobre o Alfabeto dos numerais hindu-arábicos

176.0.9.3.4.567 = 1760934567

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 10 / 14 de
 Exemplos de Concatenação de Palavras

Palavras sobre o Alfabeto Latino

FLAMENGO.MAIOR.MUNDO = FLAMENGOMAIORMUNDO

Palavras sobre Alfabeto da linguagem C

while .x. { x=x-1 }= while x { x=x-1 }

Palavras sobre o Alfabeto dos numerais hindu-arábicos

176.0.9.3.4.567 = 1760934567

Palavras sobre Alfabeto dos numerais romanos

MM.V.II = MMVII

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 10 / 14 de
 Exemplos de Concatenação de Palavras
Palavras sobre o Alfabeto Latino
FLAMENGO.MAIOR.MUNDO = FLAMENGOMAIORMUNDO

Palavras sobre Alfabeto da linguagem C

while .x. { x=x-1 }= while x { x=x-1 }

Palavras sobre o Alfabeto dos numerais hindu-arábicos

176.0.9.3.4.567 = 1760934567

Palavras sobre Alfabeto dos numerais romanos

MM.V.II = MMVII

Sobre o alfabeto Palavras da língua portuguesa

Lula é um molusco . sem comando = Lula é um molusco sem
comando C
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 10 / 14 de
 Exemplo

Função não-injetiva
f /
qq8 b
a
qq
f qq
qqqqq
qq
a0
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 11 / 14 de
 Exemplo

Relação não-funcional

a MMM
R /b
MMM
MRMM
MMM
M&
b0
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 12 / 14 de
 Exemplo

Relação funcional que não é função

a
R /b

a0
R / b0

a00
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 13 / 14 de
 Exemplo

função não-sobrejetiva

a
R /b

a0
R / b0

b00
C

Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens eDepartamento
Máquinas INF1626 e INF1302 Revisão
de Informática 14 / 14 de