Autmatos Os autmatos finitos podem ser determinsticos ou no determinsticos, apresentando ou no transies em vazio.

Estes dispositivos julgam a legalidade de cadeias sobre algum alfabeto nito. A coleo de linguagens que podem ser aceitas por autmatos nitos exatamente a de linguagens regulares. Exemplo. O autmato nito dado a seguir aceita a linguagem: ) * )*

Autmatos Finitos Determinsticos Denio: Um autmato nito determinstico (AFD) M especicado por uma quntupla ) onde: um conjunto nito de estados o alfabeto terminal a funo de transmisso de estado o estado inicial o conjunto de estados de aceitao.

Automatos Finitos no deterministicos Denio: Um autmato nito no determinstico (AFN) M especicado por uma quntupla ) onde: um conjunto nito de estados o alfabeto terminal atribui a cada par estado-entrada ) um conjunto ) de prximos estados possveis (2Q o conjunto potncia de Q ou conjunto de todos os subconjuntos de Q) o conjunto de estados iniciais o conjunto de estados de aceitao.