Teoria da computação autômatos
-
Upload
marcos-devaner -
Category
Education
-
view
152 -
download
5
description
Transcript of Teoria da computação autômatos
Teoria da
computaçãoAula 06
Autômatos
Prof. Marcos Devaner.
Os autômatos finitos, também
conhecido como máquina de
estados são bons modelos para
computadores com uma
quantidade de memória
extremamente limitada. Podemos
ver estes tipos de computador em
nosso dia a dia em vários dispositivos
eletrômecânicos como por exemplo
o controlador de uma porta
automática.
1. autômato
Aula 06 – autômatos
Um autômato finito tem várias partes:
1. Possui um conjunto de estados.
2. Regras para ir de um estado para o outro, dependendodo simbolo de entrada.
3. Possui um alfabeto de entrada que indica o simbolos deentrada permitidos.
4. Tem um estado inicial.
5. Um ou mais estados de aceitação.
Em linguagem matemática, uma ista de 5 elementos échamado de 5-upla, com isto, podemos diser que umautômato finito é um 5-upla composto por estas cinco partes.
2. Função de transição
Aula 06 – autômatos
Esta denominação é usada para definir regras demovimentação de um estado para o outro. Esta função é
representada pelo simbolo δ.
Exemplo:
Este exemplo mostra un função de tranasição em que se o
autômato está no estado q1 e lê o simbolo 1 ele se move para o
estado q2. Isto também pode ser mostrado da seguinte forma:
δ(q1,1)= q2.
3. Definição formal
Aula 06 – autômatos
Um autômato finito é um 5-upla (Q, ∑, δ, q0, F), onde
1. Q: é um conjunto finito de estados
2. ∑: é um conjunto finito chamado de alfabeto
3. δ : é Q x ∑ (função de transição).
4. Q0 : é o estado inicial e pertence a Q.
5. F esta contido em Q é o conjunto de estados de
aceitação.
4. Descrição formal
Aula 06 – autômatos
Dado o autômato chamado de M1.
Descrição formal
1. Q= {q1,q2},
2. ∑ ={0,1}
3. δ =
1. Q0 = q1
2. F = q2
0 1
q1 q1 q2
q2 q1 q2
Testando este exemplo, você irá perceber que M1 aceita todas as
cadeias que terminam em 1. Podemos descrever da seguinte forma:
L (M1) ={w| w termina com um 1}, onde w são as cadeias aceitas
por M1 .
Obrigado!Saiba mais em: www.integrar-online.blogspot.com
Fim