Académique Documents
Professionnel Documents
Culture Documents
Pgina.: 1
desenvolveu-se
significativamente
1
com
diversos
enfoques,
com
destaque
para
Exemplos:
. A palavra
Pgina.: 2
Potncias de um Alfabeto
Denotamos
.
Exemplos, para o alfabeto
= {0,1}:
0 = { }
1 = {0,1}
2 = {00,01,10,11,}
3 = {000,001,010,011,100,101,110,111}
O conjunto de todas as palavras sobre o alfabeto
* ,
* = 0 1 2 .......
ou seja,
+ , ou seja,
+ = 1 2 .......
* = + {}
Prefixo, Sufixo, Subpalavra
Um prefixo de uma palavra qualquer seqncia inicial desta palavra. Um sufixo
qualquer seqncia final desta palavra. Uma subpalavra de qualquer seqncia de smbolos
contnua desta palavra.
Exemplo:
Pgina.: 3
Concatenao
Justapondo duas palavras v e w obtemos vw. A palavra vazia o elemento identidade da
operao, isto , w =
w =
Sendo a palavra w = ab
1
Linguagem Formal
Uma Linguagem Formal um conjunto de palavras sobre um alfabeto.
Exemplo1: Suponha o alfabeto = {a, b}. Ento:
a)
b)
Exemplo de Linguagens
-
Portugus
Pgina.: 4
Exemplo2:
Para o alfabeto = {0, 1}, define-se as seguintes linguagens:
MQUINAS DE ESTADO-FINITO
As mquinas de estado-finito so mquinas abstratas que capturam as partes essenciais
de algumas mquinas concretas. Estas ltimas vo desde mquinas de vender jornais e de verder
refrigerantes, passando por relgios digitais e elevadores, e at programas de computador, como
alguns procedimentos de editores de textos e compiladores.
Existem, basicamente, dois tipos de mquinas de estado-finito: os tradutores e
reconhecedores (ou aceitadores) de linguagens. Os tradutores so mquians com entrada e
sada, e os reconhecedores so mquinas com apenas duas sadas possveis (Aceitao,
Rejeio).
As mquinas de estado-finito que comearemos a estudar so os reconhecedores
(aceitadores) de linguagens regulares. So mquinas que dada uma linguagem, sobre um
alfabeto, e uma palavra desta linguagem, aceitam ou rejeitam esta palavra para tal linguagem, ou
seja, determinam se esta palavra pertence ou no a linguagem.
Os
Para dar uma idia do que vem a ser autmato finito antes de sua definio formal, e
tambm para introduzir os principais conceitos e a terminologia associada, sero usados alguns
exemplos bem simples.
Pgina.: 5
Estado Inicial
Estado Final
Dada uma palavra w de {s, l, c,r} , como saber se w soluo ? Evidentemente, deve-se
verificar se o caminho correspondente a w par partindo do estado inicial chega ao estado final; se
chegar, w soluo, caso contrrio, no .
Pgina.: 6
q0 Q o estado inicial
porque a cada smbolo lido de uma palavra de entrada, apenas um estado novo escolhido.
O Autmato Finito pode ser representado por um Diagrama de Transies (que um grafo
dirigido) ou pela Tabela de Transies.
Diagrama de Transies:
Tabela de Transies:
Pgina.: 7
O processamento de uma dada palavra feito lendo smbolo a smbolo da esquerda para a
direita. A cada smbolo lido a funo de transio fornece um novo estado dependendo do
smbolo lido.
Por exemplo, a palavra w = 1100111 reconhecida pelo autmato acima. Pois chega-se ao estado
final do autmato;
(q0,1) = q0
Note que para cada smbolo lido gerado um novo estado. Quando se l
(q0,1) = q0
(q0,0) = q2
(q2,0) = q2
linguagem especificada
(q2,1) = q1
(q1,1) = q1
(q1,1) = q1
Exemplo2: Tambm sobre o alfabeto = {0, 1}, consideremos a linguagem,
*
Pgina.: 8
Definio
-
*(q, ) = q
= q0
*(q0, 1)
( *(q0, ), 1)
(q0, 1)
= q0
*(q0, 11)
( *(q0, 1), 1)
(q0, 1)
= q0
*(q0, 110)
( *(q0, 11), 0)
(q0,0)
= q2
*(q0, 1100)
( *(q0, 110), 0)
(q2, 0)
= q2
*(q0, 11001)
( *(q0, 1100), 1)
(q2, 1)
= q1
*(q0, 110011)
( *(q0, 11001), 1)
(q1, 1)
= q1
*(q0, 1100111)
( *(q0, 110011), 1)
(q1, 1)
= q1
L(M) = {w * | *(q0, w) F}
LINGUAGUAGENS REGULARES
Uma linguagem diz-se regular se e somente se, existir um AFD M que a aceite.
L = L(M)
A famlia das linguagens regulares composta por todas as linguagens que so aceitas
por um qualquer AFD.
Uma forma de demonstrar que uma linguagem regular encontrar um AFD que a aceite.