Linguagens Formais, Autômatos e Computabilidade

Resumo para o ENADE 2005

Linguagens Regulares
Linguagens Linguagens: Formalismos: Conceitos Básicos:
Formais na 0. LER 0. GI/MT/A2P Alfabeto, Palavra,
Classificação de 1. LSC 1. GSC/MT/A2P Palavra Vazia,
Chomski 2. LLC 2. GLC/A1P/AFN/AFε Subpalavra, Prefixo,
3. LR 3. GRs/A0P/AFD/ER Sufixo, Concatenação,
Concatenação
Sucessiva, ...

Tipos de Axiomáticos ou Reconhecedores ou Denotacionais:

Formalismos Geradores: Operacionais: Expressões Regulares
Gramáticas Autômatos Finitos

Autômato Finito Definição: Função de Transição: Leva de um par

Determinístico M=(Σ,Q,δ,q0,F) δ: QxΣ → Q, parcial estado-símbolo em um
(AFD) novo estado.

Autômato Finito Definição: Função de Transição: Leva de um par

Não- M=(Σ,Q,δ,q0,F) δ: QxΣ → 2Q, parcial estado-símbolo em um
Determinístico conjunto de estados
(AFN) possíveis.

Autômato Finito Definição: Função de Transição: Como no AFN e ainda

com Movimento M=(Σ,Q,δ,q0,F) δ: Qx(Σ ∪ {ε}) → 2Q, permite a execução de
Vazio (AFεε) parcial movimentos vazios.

Expressões Operações: Exemplos de ERs: Teorema:

Regulares (ER) 1. união (+) aa Construção de AFε a
2. concatenação ba* partir de ERs.
3. concatenação (a+b)*
sucessiva (*) (a+b)*aa(a+b)*
a*ba*ba*
(a+b)*(aa+bb)
(a+ε)(b+ba)*

Gramáticas Definição: G. Lineares: Produções:

Regulares (GR) G=(V,T,P,S) 1. GLD A
wB ou A
w
2. GLE A
Bw ou A
w
3. GLUD GLD com |w| ≤ 1
4. GLUE
GLE com |w| ≤ 1

Máquina de Mealy Definição: Função de Transição: É um AFD com saídas

M=(Σ,Q,δ,q0,F,∆) δ: QxΣ
Qx∆* associadas às
transições.

Máquina de Moore Definição: Função de Transição: É um AFD com saídas

M=(Σ,Q,δ,q0,F,∆,δS) δ: QxΣ
Q associadas aos
Função de Saída: estados.
δS: Q
∆*
Linguagens Livres de Contexto
Gramáticas Livres Definição: Exemplo: A expressão "livre de
de Contexto (GLC) Uma GLC G é uma contexto" significa que
gramática G = (V, G=({E},{+,*,[,],x},P,E), para tais linguagens,
T, P, S), onde onde: cuja produção é da
qualquer regra de P={ E
E+E , E
E*E , forma A
α, em uma
produção em P é da E
[E] , E
x } derivação a variável A
forma A
α, onde deriva α sem depender
A é uma variável de Gera expressões do tipo: (livre) de qualquer
V e α é palavra de x+[x*x] análise dos símbolos
(V ∪T )*. Única [x*[x+x]] que antecedem ou
restrição: uma e seguem A (contexto).
somente uma Uma linguagem é dita
variável no lado “livre de contexto” se e
esquerdo da somente se for gerada
produção. por uma GLC.

Árvore de a) A raiz é o Exemplo: Notas:

Derivação símbolo inicial da
GLC; Árvore de derivação da Uma GLC é dita uma
expressão x + [x*x] na gramática ambígua se
Os vértices
gramática exemplificada existe uma palavra que
interiores
acima. As folhas, da possui duas ou mais
obrigatoriamente
esquerda para a direita, àrvores de derivação.
são variáveis. Se A
geram a expressão: ( Ex: x+x*[x+x] ).
é um vértice interior
e X1, X2, ..., Xn
E
são os filhos de A,
/ | \ Forma Normal de
então A

E + E Chomsky: Todas as
X1X2...Xn é uma
| / | \ produções são do tipo
produção da
x [ E ] A
BC ou A
a.
gramática e os
/ | \
vértices X1, X2, ...,
E * E
Xn estão ordenados
| | Forma Normal de
da esquerda para a
x x Greibach: Todas as
direita.
produções são da
Um vértice folha é Cadeia de derivação: forma A
aα, onde α é
um símbolo terminal EE+EE+[E] uma palavra de
ou um símbolo E+[E*E]x+[E*E] variáveis.
vazio. Neste caso o x+[x*E]x+[x*x].
vazio é o único filho
de seu pai (A
ε)

Autômato com 1 Definição: Função de Transição: Nota:

Pilha (A1P) M=(Σ,Q,δ,q0,F,V) δ: Qx(Σ∪{ε,?})x(V∪{ε,?})

2QxV* O A1P reconhece
qualquer LLC, com um
(O A1P é um AFN). único estado (ou 3
estados, conforme a
definição). Isto é, a
pilha é suficiente como
memória auxiliar, não
sendo necessário usar
estados para
memorizar as entradas.
Máquina de Turing
Máquina de Turing Definição: Função de Transição: Reconhece:
(MT) M=(Σ,Q,δ,q0,F,V,β) δ:Qx(Σ∪V∪{β})
LSC e LER
Qx(Σ∪V∪{β})x{E,D},
parcial Gramáticas:
GSC e GI

Componentes a) Fita: b) Unidade de Controle: c) Programa ou Função

da MT É limitada a Reflete o estado corrente de Transição:
esquerda e usada da máquina. Possui uma Comanda as leituras e
simultaneamente unidade de leitura e gravações, o sentido
como dispositivo de gravação (cabeça da fita) do movimento da
entrada, saída e que acessa uma célula da cabeça e define o
memória de fita de cada vez, estado da máquina.
trabalho. movendo-se para a
esquerda e para a direita.

Hipótese de “A Máquina de “Se x é uma função Alonzo Church, 1936

Church Turing é um modelo computável, x pode ser
canônico para a computada pela Máquina
computação de Turing”.
universal”

Transição na MT
(a1, a2, m)
δ(p,a1)=(q,a2,m)
p q

ESTADO NOVO
ANTERIOR ESTADO

Símbolo lido Símbolo gravado Sentido do

movimento
Observações Tanto a MT quanto A MT tem poder A MT é em geral
Finais o AnP podem entrar computacional considerada um AFD.
em LOOP. equivalente a um A2P Sabe-se que o não-
(Autômato com DUAS determinismo não
pilhas). aumenta o seu poder
computacional.