Automatas

UTOMATAS
Autómata finito

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda
[pic]
[pic]
Esquema lógico de un autómata finito.
Un autómata finito o máquina de estado finitoes un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.

|Contenido|
|[ocultar] |
|1 Definición formal|
|2 Formas de representar un autómata finito |
|3 Descripcióninformal de su funcionamiento |
|4 Autómatas finitos deterministas |
|5 Autómatasfinitos no deterministas |
|6 Autómatas finitos no deterministas con transiciones vacías |
|7 AFD,AFND y AFND-ε |
|8 Véase también |
|9Enlaces externos |

[pic]Definición formal [editar]

Formalmente, un autómata finito (AF) puede ser descrito como una5-tupla (S,Σ,T,s,A) donde:
• S un conjunto de estados;
• Σ es un alfabeto;
• T es la función de transición: [pic];
• [pic]es el estado inicial;
• [pic]es un conjunto deestados de aceptación o finales.
Ejemplo 1
• S = {S1, S2},
• Σ = {0,1},
• T = {(S1,0,{S2});(S1,1,{S1});(S2,0,{S1});(S2,1,{S2})}
• s = S1
• A = {S1}.

Formas de representar un...