sábado, 24 de marzo de 2012

****AUTÓMATAS****

Un autómata de estado finito no deterministico consiste en:
*Un conjunto finito con símbolos de entrada.
*Un conjunto de estados finitos.
*Un conjunto consiste en una función.
*Un subconjunto de A de S de estados de aceptación.
*Un estado inicial.

Sus símbolos son los siguientes:


Diagramas de transición:
*Estados de aceptación.
*Sin símbolos de salida.

Ejemplo:


Autómata de estado finito
Un autómata finito puede ser descrito como una a cinco palabras o símbolos.


Autómata finito determinista
Cada estado de un autómata de este tipo tiene una transición por cada símbolo del alfabeto.

Autómata finito no determinista
Los estados de un autómata de este tipo pueden, o no tener una o más transiciones por cada símbolo del alfabeto.

Autómata finito no determinista
El conjunto de estados que pueden ser alcanzados mediante este método desde un estado q, se denomina la clausura E de q. 

Ejemplo:

Automatas finitos 


1 comentario: