Área do Usuário
Linguagem Formais Autômatos Finitos
Gratuita
434KB
1337 downloads
Neste capítulo estudaremos uma máquina (um procedimento aceitador, ou reconhecedor), chamada autômato finito (af). A palavra finito é incluída no nome para ressaltar que um af só pode conter uma quantidade finita e limitada de informação, a qualquer momento. Essa informação é representada por um estado da máquina, e só existe um número finito de estados.
Índice
Introdução
Autômato finito determinístico
Autômato finito não determinístico
Equivalência dos afd's e dos afnd's
Minimização de autômatos finitos
Equivalência entre autômatos finitos e gramáticas regulares
Expressões regulares
O Lema do Bombeamento para linguagens regulares
Propriedades de fechamento das linguagens regulares
