Escolar Documentos
Profissional Documentos
Cultura Documentos
conjunto: coleção de símbolos em que o mesmo não ocorre mais de uma vez e a ordem não importa
símbolo: representação gráfica única e indivisível composta, por vezes, por mais de um caractere
⊆
subconjuntos: A B sse todo elemento de A for também elemento de B. Formalmente A ⊆ B ↔ ∀x
(x ∈ A→x ∈ B)
∅⊆AeA⊆A
⊆ = “é subconjunto”
Conjunto potência (powerset): denotado por 2A , onde A é um conjunto formado por todos os
possíveis subconjuntos de A
📌 exemplos
- X = {2, 3}; ∅
2X = { , {2}, {3}, {2,3}}
∅
-2^{} = { }
Produto cartesiano: é um conjunto formado por todos os pares ordenados, A × B = {(a, b) | a ∈A∧
b∈ B}, em que há relação de ordem entre os elementos, se a ≠ b, então (a, b) ≠ (b, a)
av1- LFAC 1
📌 exemplos
A = {a, b, c}, B = {0, 1}, C = {#}
- A x B = {(a, 0), (a, 1), (b, 0), (b, 1), (c, 0), (c, 1)}
- C x B = {(#, 0), (#, 1)}
- 2AxC = 2^{{(a, #), (b, #), (c, #)}}
∅
= { , {(a, #)}, {(b, #)}, {(c, #)}, {(a, #), (b, #)}, {(a, #), (c, #)}, {(b, #), (c, #)}, {(a, #), (b,
#), (c, #)}}
A é o domínio e B o contradomínio
função: relação que associa o domínio ao contradomínio em que cada elemento do domínio associa-
se a no máximo um elemento do contradomínio
Toda função é uma relação, mas nem toda relação é uma função
Comprimento: quantidade de símbolos que formam uma “palavra”, desde que esteja em um alfabeto
⚠ observação:
av1- LFAC 2
é associativa e não comutativa
Fechamento transitivo: ∑+
Gramática: é um formalismo matemático utilizado para gerar sentenças que pertencem a uma
linguagem formal, consequentemente, definindo a própria linguagem.
📌 G = (V, ∑, P, S)
V = vocabulário (term. e não term.); ∑ = alfabeto (terminais)
todos os símbolos terminais precisam estar no vocabulário (o vocabulário deve conter todos os
símbolos da gramática)
ser possível obter uma sentença com dito vocabulário, alfabeto, conjunto de produções e raiz
Linguagens regulares
Uma linguagem é dita regular se pode ser reconhecida por um autômato finito determinístico (DFA)
ou por um autômato finito não-determinístico (NFA).
gramática linear à esquerda: símbolo não terminal na produção fica à esquerda (quando presente);
gramática linear à direita: símbolo não terminal na produção fica à direita (quando presente) →
ambos geram a mesma classe de linguagens
1. criar uma gramática linear à direita (S → aS; X → abS) e determinar sua linguagem → L(G1)
3. elaborar uma gramática que gere essa linguagem reversa (achar o padrão, inventar as
produções e escrever a gramática) → ou seja, L(G’) =LR (G1)
av1- LFAC 3
✍ conjuntos regulares:
2. L = {a^n | n ≥ 0}: a linguagem que contém todas as cadeias de "a" possíveis, incluindo
a cadeia vazia.
3. L = {a^n b^n | n ≥ 0}: a linguagem que contém todas as cadeias de "a" seguidas de "b",
onde o número de "a" é igual ao número de "b".
4. L = {0, 1}*: a linguagem que contém todas as cadeias de "0" e "1" possíveis, incluindo
a cadeia vazia.
expressões regulares: Elimina o uso dos símbolos “{” e “}”, e substitui “ ∪” por “|” ou “+”
✍ expressões regulares:
av1- LFAC 4
✍ comparações:
A expressão regular (ab | c∗) = (ab | (c∗)) = ((ab) | (c∗)) representa o conjunto {ε, ab,
c, cc, ccc, ...}
a(b | c)∗ representa o conjunto {a, ab, ac, abc, abb, acc, ...}
(ab | c)∗ representa o conjunto {ε, ab, c, abc, cab, abab, cc, ...}
(A ∪ B)+ ou (a | b | c)+
Autômatos
av1- LFAC 5
Configuração inicial de um autômato: Configuração final de um autômato:
Estado: inicial para cada reconhecedor Estado: algum dos estados finais
Q: conjunto de estados
Σ: alfabeto
F: estados finais
autômatos mínimos:
| w | ≤ n; estados = n + 2
| w | ≥ n; estados = n + 1
av1- LFAC 6