Teoria da Computação Prof. Cícero Costa Quarto ccquarto@gmail.com
Capítulo 2 Autômatos finitos determinísticos
17/06/2010
Notações mais simples para DFA´s Especificar um DFA como uma tupla de cinco elementos, com uma descrição detalhada da função de transição δ, é ao mesmo tempo tedioso e difícil de ler. Há duas notações preferenciais para descrever autômatos: Um diagrama de transições, que é um grafo (cf. Fig. 1a) Uma tabela de transições, que é uma listagem tabular da função (cf. Fig. 1b) Símbolos de entrada
Estados
0 q0
(b) (a)
Fig. 1: Notações de representação de DFA´s
2
Diagrama de transições Um diagrama de transições para um DFA A = {Q, ∑, δ, q0, F) é um grafo definido como a seguir: a) Para cada estado em Q existe um nó correspondente b) Para cada estado q em Q e para cada símbolo de entrada a em ∑, seja δ(q, a) = p. Então, o diagrama de transições tem um arco do nó q para o nó p, rotulado por a. Se existirem vários símbolos de entrada que causam transições de q para p, então o diagrama de transições pode ter um arco rotulado pela lista desses símbolos. c) Existe uma seta no estado inicial q0, identificada como Início. essa seta não se origina em nenhum nó. d) Os nós correspondentes aos estados de aceitação (aqueles em F) são marcados por um círculo duplo. Estados que não estão em F têm um único círculo. 3
1