DEFINICION DE AUTOMATAS FINITOS

Garca Len Sergio Valente Guizar Daz Felipe Huerta Mendoza Joaqun Jess Salvador Rios sidro

AUTOMATA

!n aut"ata es# !na "$quina %"ecanis"o& de naturaleza 'or"al que acepta una in'or"acin de entrada %input&( la procesa( ) genera un resultado o salida %output&* De'inir un aut"ata equivaldr$ a de'inir el proceso de trans'or"acin del input en un output( lo que equivale a de'inir una 'uncin cu)os argu"entos son el input ) cu)o valor es el output*

TIPOS DE AUTOMATAS

Ha) "uc+os tipos de aut"atas* ,ada tipo de aut"ata se asocia a una potencia co"putacional deter"inada( es decir( a una capacidad dada de resolucin de pro-le"as* De +ec+o( pode"os clasi'icar los pro-le"as algort"ica"ente solu-les asoci$ndolos al tipo de aut"ata que los resuelve* .stos tipos se ordenan en una /erarqua de "enor a "a)or potencia co"putacional*

JERARQUIA DE AUTOMATAS

0ut"atas 'initos %Redes Lgicas& 0ut"atas inter"edios# 0ut"atas de "e"oria de pila 0ut"atas de "e"oria lineal"ente li"itada M$quinas de 1uring

Ha) varias razones por las que el estudio de los aut"atas ) de la co"ple/idad es una parte i"portante del ncleo de las ciencias de la co"putacin* Los 0F constitu)en un "odelo til para "uc+os tipos i"portantes de +ard2are ) so't2are( co"o#

So't2are para el dise3o ) la veri'icacin del co"porta"iento de circuitos digitales* .l 4analizador l56ico7 de un co"pilador tpico* So't2are para e6plorar grandes corpus de te6to* So't2are para co"pro-ar la correccin de cualquier tipo de siste"as que tengan un n"ero 'inito de estados di'erentes*

AUTMATAS FINITOS

!n aut"ata 'inito es un "ecanis"o cu)a "e"oria es sie"pre 'inita* Supone"os que la "e"oria del aut"ata est$ co"puesta por un con/unto de unidades de retardacin#

AUTMATAS FINITOS

,ada unidad de retardacin al"acena una unidad de in'or"acin durante una unidad de tie"po* .l n"ero de estos dispositivos es 'inito

AUTMATAS FINITOS

,ada uno de los " estados internos distintos# q 8 ( ***( q i ( ***( q n .l con/unto de los estados internos# 9 q 8 es el estado inicial ) q n es un estado 'inal .l n"ero de estados internos es 'inito

0 lo largo del proceso los contenidos de "e"oria del aut"ata van ca"-iando* Descri-ire"os c"o se produce el ca"-io de estado a lo largo del tie"po de'iniendo una 'uncin de transicin de estados( que nos dice cu$l ser$ el estado del aut"ata en el instante de tie"po siguiente* La 'uncin de transicin de estados puede ser deter"inista %0FD& o no deter"inista %0F:D&* .n algunos casos deseare"os descri-ir la respuesta del aut"ata co"o una 'uncin de sus estados internos( ) eventual"ente( ta"-i5n de los est"ulos que reci-e# 'uncin de salida*

0de"$s( tene"os que especi'icar# Su repertorio de s"-olos( ;;;;( es decir( el con/unto de s"-olos que podr$n 'or"ar parte de sus entradas %)( eventual"ente( de sus salidas&* .l con/unto 9 de sus estados internos posi-les* Su estado inicial q 8* .l con/unto F de sus estados 'inales( que es un su-con/unto del con/unto de estados internos* ,ada entrada %) salida& posi-le del aut"ata es una secuencia o cadena 'inita de s"-olos de ;* ;< # el con/unto de cadenas 'initas de s"-olos de ;;;; ;< es un con/unto potencial"ente in'inito

Autmata Finito

!n 0ut"ata Finito se de'ine por una quntupla# % 9( S( q8( d( 0 & ( en donde# 9 es el con/unto de estados* S es el al'a-eto del lengua/e* q8 es el estado inicial* d es la 'uncin de transicin* 0 es el con/unto de estados de aceptacin*