Autmatafinito

DeWikipedia,laenciclopedialibre
Unautmatafinito(AF)omquinadeestadofinito
esunmodelocomputacionalquerealizacmputos en
formaautomticasobreunaentradaparaproduciruna
salida.
Este modelo est conformado por un alfabeto, un
conjuntodeestadosfinito, una funcindetransicin,
unestadoinicialyunconjuntodeestadosfinales.Su
funcionamientosebasaenunafuncin de transicin,
querecibeapartirdeunestadoinicialunacadenade
caracteres pertenecientes al alfabeto (la entrada), y
que va leyendo dicha cadena a medida que el
autmata se desplaza de un estado a otro, para
finalmentedetenerseenunestadofinalodeaceptacin,querepresentalasalida.
La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que corresponden a los
lenguajesformalesmssimplessegnlaJerarquadeChomsky.

ndice
1Historia
2Definicinformal
2.1Representacincomodiagramasdeestados
2.2Representacincomotabladetransiciones
2.3Funcionamiento
2.4Generalizacindelafuncindetransicin
3Autmatafinitodeterminista
4Autmatafinitonodeterminista
5Equivalenciasentreautmatasfinitos
5.1ConversindeunAFNDaunAFND
5.2ConversindeunAFNDaunAFD
5.3MinimizacindeunAFD
6Generalizacionesdeautmatasfinitos
7Vasetambin
8Referencias
8.1Bibliografa
9Enlacesexternos

Historia
El origen de los autmatas finitos probablemente se remonta a su uso implcito en mquinas
electromecnicas, desde principios del siglo XX.1 Ya en 1907, el matemtico ruso Andri Mrkov
formalizunprocesollamadocadenadeMarkov,dondelaocurrenciadecadaeventodependeconuna

ciertaprobabilidaddeleventoanterior.2Estacapacidadde"recordar"esutilizadaposteriormenteporlos
autmatasfinitos,queposeenunamemoriaprimitivasimilar,enquelaactivacindeunestadotambin
dependedelestadoanterior,ascomodelsmboloopalabrapresenteenlafuncindetransicin.
Posteriormente,en1943,surgeunaprimeraaproximacinformaldelos
autmatasfinitosconelmodeloneuronaldeMcCullochPitts.Durante
la dcada de 1950 prolifera su estudio, frecuentemente llamndoseles
mquinas de secuencia se establecen muchas de sus propiedades
bsicas, incluyendo su interpretacin como lenguajes regulares y su
equivalenciaconlasexpresionesregulares.1Alfinaldeestadcada,en
1959,surgeelconceptodeautmatafinitonodeterministaenmanosde
losinformticostericosMichaelO.RabinyDanaScott.3

Elmodeloneuronalde
McCullochPittstambin
utilizadiagramasconestadosy
transiciones,ademsdelos
conceptosdeentradaysalida.

En la dcada de 1960 se establece su conexin con las series de

potencias y los sistemas de sobreescritura.4 Finalmente, con el
desarrollo del sistema operativo Unix en la dcada de 1970, los
autmatasfinitosencuentransunichoenelusomasivodeexpresiones
regularesparafinesprcticos,especficamenteeneldiseodeanalizadoreslxicos(comando lex)yla
bsqueda y reemplazo de texto (comandos ed y grep).5 A partir de ese tiempo, los autmatas finitos
tambinsecomienzanautilizarensistemasdinmicos.1

Definicinformal
Formalmente,unautmatafinitoesuna5tupla(Q,,q0,,F)donde:6
esunconjuntofinitodeestados
esunalfabetofinito
eselestadoinicial
esunafuncindetransicin
esunconjuntodeestadosfinalesodeaceptacin.

Representacincomodiagramasdeestados
Losautmatasfinitossepuedenrepresentarmediantegrafos
particulares,tambinllamadosdiagramasdeestadosfinitos,
delasiguientemanera:
Los estados Q se representan como vrtices,
etiquetadosconsunombreenelinterior.
Unatransicin desde un estado a otro, dependiente
deunsmbolodelalfabeto,serepresentamedianteuna
arista dirigida que une a estos vrtices, y que est
etiquetadacondichosmbolo.
Elestadoinicialq0secaracterizaportenerunaarista
quellegaal,provenientedeningnotrovrtice.
El o los estados finales F se representan mediante
vrtices que estn encerrados a su vez por otra
circunferencia.

Representacincomotabladetransiciones

Esteautmatafinitoestdefinidosobreel
alfabeto={0,1},poseedosestadoss1y
s2,ysustransicionesson(s1,0)=s2,
(s1,1)=s1,(s2,0)=s1y(s2,1)=s2.Su
estadoinicialess1,queestambinsu
nicoestadofinal.

Otra manera de describir el funcionamiento de un autmata finito es mediante el uso de tablas de

transicionesomatricesdeestados.Dosposiblestablasparaelejemplodelaimagenanteriorpodran
serlassiguientes:
salida smbolo llegada
qQ (q,)Q
s1

s2

s1

s1

s2

s1

s2

s2

0 1
*s1 s2 s1
s2 s1 s2

Laprimerarepresentaexplcitamentelosparmetrosyelvalorquetomacadaocurrenciadelafuncin
detransicin.7Lasegundaesmscompacta,ymarcaconunaflechaelestadoinicial,yconunasterisco
losestadosfinales.

Funcionamiento
En el comienzo del proceso de reconocimiento de una
cadena de entrada, el autmata finito se encuentra en el
estado inicial y a medida que procesa cada smbolo de la
cadenavacambiandodeestadodeacuerdoalodeterminado
por la funcin de transicin. Cuando se ha procesado el
ltimodelossmbolosdelacadenadeentrada,elautmata
sedetieneenelestadofinaldelproceso.Sielestadofinalen
el que se detuvo es un estado de aceptacin, entonces la
cadenaperteneceallenguajereconocidoporelautmataen
casocontrario,lacadenanoperteneceadicholenguaje.

Elesquemageneraleseldeunacinta
lectoraqueavanzaslohaciadelanteydea
unacelda,segnlafuncindetransicin.

Notequeelestadoinicial deunautmatafinitosiempre
esnico,entantoquelosestadosfinalespuedensermsde
uno,esdecir,elconjunto puedecontenermsdeunelemento.Tambinpuededarseelcasodequeun
estadofinalcorrespondaalmismoestadoinicial.

Generalizacindelafuncindetransicin
Siesunalfabeto,entoncessedenota*alconjuntodetodaslascadenasdecaracteresopalabrasque
sepuedenconformarcondichoalfabeto.
Unafuncindetransicinsepuedegeneralizaraunafuncin*,queoperasobreestadosysecuencias
de smbolos, en lugar de smbolos individuales del alfabeto. As, esta nueva funcin de transicin se
define
, permitiendo caracterizar los autmatas de manera ms abreviada y sin
6
perderexpresividad.
Lafuncin*puedeexpresarsetambindemanerarecursiva,definiendoparatodacadenax*,todo
smboloa,yunestadoqQ:6
,queeslabaseinductiva,siendolacadenavaca,y

,queeslainduccinpropiamentetal.
Sellamaconfiguracindeunautmatafinitoaun"instante"enelcmputodelamquinaesdecir,al
estadoactualenqueseencuentradichocmputo,juntoconlapalabraquehasidoprocesadahastaese
momento. Formalmente, se define como un par ordenado (q, x) Q *. De este modo, se puede
definir adems la configuracin inicial del autmata, como el par (q0,x), donde x es la entrada y la
configuracinfinal,comoelpar(q,),conqF.
Deestemodo,ellenguajeregularaceptadoporunautmatafinitoApuededenotarsecomoL(A)={w
*(q0,w)F},esdecir,comoelconjuntodetodaslasconfiguracionesinicialesqueconllevanaestados
finales.

Autmatafinitodeterminista
Un autmata finito determinista (abreviado AFD) es un
autmata finito que adems es un sistema determinista es
decir, para cada estado q Q en que se encuentre el
autmata, y con cualquier smbolo a del alfabeto ledo,
existesiemprealomsunatransicinposible(q,a).
EnunAFDnopuedendarseningunodeestosdoscasos:
Que existan dos transiciones del tipo (q,a)=q1 y
(q,a)=q2,siendoq1q2
Queexistantransicionesdeltipo(q,),salvoqueqsea
unestadofinal,sintransicioneshaciaotrosestados.
Unejemplointeresantedeautmatasfinitosdeterministasson
lostries.

Autmatafinitonodeterminista

AFDquereconoceellenguajeregular
conformadoexclusivamenteporlas
cadenasconunnmeropardecerosy
pardeunos.

Un autmata finito no determinista (abreviado AFND) es

aquelque,adiferenciadelosautmatasfinitosdeterministas,
poseealmenosunestadoqQ,talqueparaunsmboloa
delalfabeto,existemsdeunatransicin(q,a)posible.
Haciendo la analoga con los AFDs, en un AFND puede
darsecualquieradeestosdoscasos:
Queexistantransicionesdeltipo(q,a)=q1y(q,a)=q2,
siendoq1q2
Que existan transiciones del tipo (q, ), siendo q un
estado nofinal, o bien un estado final pero con
transicioneshaciaotrosestados.

AFNDcontransiciones(q0,b)=q0y
(q0,b)=q1,queaceptaellenguajeregular
sobreelalfabeto{a,b}conformadopor
todaslaspalabrasqueterminanenbes
decir,queequivalealaexpresinregular
(a|b)*b+.

Cuando se cumple el segundo caso, sedicequeel autmata

esunautmatafinitonodeterministacontransicionesvacasotransiciones(abreviadoAFND).
Estastransicionespermitenalautmatacambiardeestadosinprocesarningnsmbolodeentrada.

Formalmente,sedistinguedela5tuplaquedefineaunautmatafinitodeterministaensufuncinde
transicin.MientrasenunAFDestafuncinsedefinedelasiguientemanera:

enunAFNDsedefinecomo:

ParaelcasodelosAFND,sesueleexpresarlafuncindetransicin
delaforma:

dondeP(Q)eselconjuntopotenciadeQ.
Esto significa que los autmatas finitos deterministas son un caso
particulardelosnodeterministas,puestoqueQpertenecealconjunto
P(Q).

AFNDacuyoestado2se
puedeaccederpasandoporel
estado3,sinprocesarsmbolos
deentrada.

LainterpretacinquesesuelehacerenelcmputodeunAFNDesque
elautomtapuedeestarenvariosestadosalavez,generndoseunaramificacindelasconfiguraciones
existentesenunmomentodado.Otrainterpretacinpuedeserimaginarquelamquina"adivina"aqu
estadodebeir,eligiendounatransicinentrevariasposibles.
Notefinalmentequeenunautmatafinitonodeterministapodemosaceptarlaexistenciademsdeun
nodoinicial,relajandoanmsladefinicinoriginal.

Equivalenciasentreautmatasfinitos
Sedicequedosautmatasfinitossonequivalentes,siambosreconocenelmismolenguajeregular.
Todaexpresinregular(quedefineasuvezunlenguajeregular)puedeserexpresadacomounautmata
finito determinista,8 y viceversa.9 Dada una expresin regular, es posible construir un AFND que
reconozcadicholenguaje,porejemplomedianteelalgoritmodeThompson.Luego,todoAFNDpuede
transformarse en un AFND equivalente, as como todo AFND puede transformarse en un AFD
equivalente,medianteelmtodollamadoconstruccindeconjuntopotencia.As,portransitividad,para
cualquierautmatafinitonodeterministasiempreexisteunautmatafinitodeterministaequivalente,y
viceversa.3
Normalmenteeneldiseodeautmatasfinitos,loprimeroquesehaceesconstruirunAFND,quees
elmssencillodeconstruir,porposeermenosrestriccionesensufuncindetransiciones.Luegodicho
autmatasereduceaunAFND,yfinalmenteaunAFD,elcualporsuscaractersticasdeterministasya
puedeserimplementadosinproblemasutilizandounlenguajedeprogramacin.

ConversindeunAFNDaunAFND
LaconversindeunAFNDenunAFNDsebasaenelconceptodeclausura,quecorrespondeauna
clausuratransitivacontextualizadaenlateoradeautmatas.

Dadounestadoq,sellamaclausura(q)alconjuntodetodoslosestadosalosquesepuedeaccedera
partirdeq,procesndosealomsunnicosmbolodelaentrada.Puededefinirserecursivamentedela
siguientemanera:10
(Baseinductiva)Paratodoestadoq,qclausura(q).
(Induccin)Dadosdosestadospyr,sipclausura(q)yr(p,),entoncesrclausura(q).
Elalgoritmoparaeliminarlastransicionesvacaseselsiguiente:
1. Secalculalaclausuradelestadoinicial,formndoseunconjuntoAquecorresponderalestado
inicialdelnuevoautmata.
2. Para cada smbolo del alfabeto, se verifican los estados alcanzables a partir de algn estado
contenido en A, y se calcula la clausura de dichos estados alcanzables. Si dichas clausuras
producennuevosconjuntosdistintosdeA,estossernnuevosestadosalosqueseaccederapartir
deAydelsmbolocorrespondiente.
3. Se repite lo anterior para cada nuevo conjunto, hasta que no existan transiciones posibles para
ningnsmbolodelalfabeto.
Ejemplo
Enelejemplodelafigura,setendrinicialmente:
clausura(1)={1,2,3,4,6}=A

Eliminacindelastransicionesvacas
deunAFND.

ParaA:
Para el smbolo a: 4 va a 5, y clausura
(5)={5,7}=B.
Paraelsmbolob:noexistentransiciones
posibles.
ParaB:
Paraelsmboloa:noexistentransiciones
posibles.
Para el smbolo b: 5 va a 6, y clausura
(6)={6}=C.

AFNDinicial.

EnestecasoseobtieneunAFD,queesun
casoparticulardeAFND.

ParaC:
Paraelsmboloa:noexistentransicionesposibles.
Paraelsmbolob:noexistentransicionesposibles.
Conestoconcluyeelalgoritmoyseobtieneelautmatadelafigura.
EnalgunoscasospuedeocurrirquealquitarlastransicionespsilonobtengamosdirectamenteunAFD,
pueslanicarazndenodeterminismoerajustamentelapresenciadedichastransiciones.

ConversindeunAFNDaunAFD
TodoAFND(QN,,q0,N,FN) puede convertirse en un AFD (QD, , q0, D, FD) equivalente, que
mantiene el alfabeto y el estado inicial q0 originales. La conversin implica pasar por un AFD
intermedioconestadosytransicionesredundantes,quealnoseraccesiblesapartirdelestadoinicial,son

eliminadosparaobtenerelAFDdefinitivo.

ConversindeunAFNDaunAFD.

Para definir el AFD intermedio, se deben seguir los

siguientespasos:
1. PrimeroseredefineelconjuntodeestadosQN={q0,
q1,...,qm}original,comounoconformadoportodos
los subconjuntos de QN. Los nuevos estados finales
sern todos aquellos estados que contengan a alguno
delosestadosfinalesoriginales.
2. Posteriormente, se redefine el conjunto de
transicionesoriginal,portransicionesdeltipoD(S,a),
dondea,ySeslaunindetodoslosestadosqde
QNparaloscualesexistalatransicinN(q,a).
3. Por ltimo, se eliminan los estados inaccesibles o
inalcanzables (junto con sus transiciones de salida),
es decir, aquellos a los que no se puede acceder a
partirdelestadoinicial.Luegodeestadepuracin,se
obtieneelAFDfinal.

AFNDinicial.

Procesodeconversin.

Ejemplo
Enlasfigurasdeejemplo,comoelAFNDinicialposeetres
estados (q0, q1, q2), entonces el AFD intermedio poseer
siete({q0},{q1},{q2},{q0,q1},{q0,q2},{q1,q2},{q0,q1,
q2}), y como el estado final original era q2, entonces los
AFDfinal.
estadosfinalesdelAFDintermedioson{q2},{q0,q2},{q1,
q2}y{q0,q1,q2}. Con respecto a las nuevas transiciones,
noteporejemploquesemantuvolatransicinN(q0,1)=q0,siendoahorallamadaD({q0},1)={q0}sin
embargo,dadoqueoriginalmentesedabaqueN(q0,0)=q0yN(q0,0)=q1,ahoraestasdostransiciones
fueronreemplazadasporD({q0},0)={q0,q1}.Paraterminar,notequelosestados{q1},{q2}y{q1,q2}
no estn conectados con el resto del autmata que posee el estado inicial por tanto, son eliminados.
Asimismoeseliminadotambin{q0,q1,q2},puesapesardeestarconectadoconelrestodelautmata,
no es accesible a partir de {q0}. As finalmente, eliminando estos cuatro estados, as como sus
respectivastransiciones,seobtieneelAFDbuscado.

MinimizacindeunAFD
Dosestadosdeunautmatafinitodeterministasonestadosequivalentessialunirseenunsloestado,
puedenreconocerelmismolenguajeregularquesiestuviesenseparados.Estaunindeestadosimplica
launintantodesustransicionesdeentradacomodesalida.Sidosestadosnosonequivalentes,sedice
quesonestadosdistinguibles.Unestadofinalconunestadonofinalnuncasernequivalentes.
Un AFD est minimizado, si todos sus estados son distinguibles y alcanzables. Un algoritmo de
minimizacindeAFDeselsiguiente:
1. Eliminarlosestadosinaccesiblesdelautmata.
2. Construirunatablacontodoslospares(p,q)deestadosrestantes.
3. Marcar en la tabla aquellas entradas donde un estado es final y el otro es nofinal, es decir,
aquellosparesdeestadosquesonclaramentedistinguibles.
4. Paracadapar(p,q)ycadasmboloadelalfabeto,talquer=(p,a)ys=(q,a):

1. Si(r,s)yahasidomarcado,entoncespyqtambinsondistinguibles,porlotantomarcarla
entrada(p,q).
2. Delocontrario,colocar(p,q)enunalistaasociadaalaentrada(r,s).
5. Agruparlosparesdeestadosnomarcados.
Luegodeltercerpaso,silatablacreadaquedacompletamentemarcada,entonceselAFDinicialyaera
mnimo.
La complejidad computacional del problema de minimizar un AFD es polinomial. De hecho, existen
algoritmos ms eficientes an que el mostrado en este artculo (aunque menos intuitivos).11 Sin
embargo, el problema de minimizar un autmata finito no determinista es NPcompleto y PSPACE
completo.1213
Ejemplo
En la primera figura del ejemplo, se muestra un autmata
con el estado inaccesible d, el cual puede eliminarse
inmediatamente. Luego se construye la tabla de pares de
estados,yacontinuacinsemarcan,deacuerdoalatercera
lneadelalgoritmo,lasfilasycolumnascorrespondientesa
losestadosfinalescyg,salvolaceldaquerepresentaelpar
(c,g), puesto que al ser ambos estados finales, pueden ser
estados equivalentes. Posteriormente, se marcan las celdas
restantesdeacuerdoalacuartalneadelalgoritmo,notando
que el par (b, f) queda asociado con el par (c, g), y as
finalmente se obtiene el autmata final, agrupando los
estadosbyf, as como cyg, tal y como se muestra en la
segundafiguradelejemplo.
Tablasparalabsquedadeestadosequivalentes
b
b
b
c
c
c
e
e
e

f
f
f
g
g
g
abcef
abcef
abcef

MinimizacindeunAFD.

AFDconestadosredundantes.

AFDminimizado.

Generalizacionesdeautmatasfinitos
Existendiversasgeneralizacionesposiblesdehacersobrelosautmatasfinitos,paraaumentarsuusoy
expresividad. As, por ejemplo, se definen los transductores de estados finitos como autmatas finitos
queestndotadosademsdeunalfabetodesalida,distintoaldeentrada,yquepuedenposeermsdeun
estadoinicial.14LasmquinasdeMooreymquinasdeMealysonconocidosejemplosdetransductores,
queseutilizansobretodoparamodelarsistemassecuenciales.1516
Es incluso posible aumentar el poder de cmputo de un autmata finito, permitiendo un alfabeto
adicionalsobreste,queactesobreunamemoriadetipopilaparaserconsideradaencadatransicin.
Esta es la idea utilizada por los llamados autmatas con pila, los cuales son capaces de reconocer
lenguajes libres de contexto, que estn un nivel por sobre los lenguajes regulares en la Jerarqua de
Chomsky.17

Vasetambin
Lenguajeregular
Teoradeautmatas
Sistemacombinacional
Autmataconpila
MquinadeTuring
Mquinaabstracta

Referencias
1. Wolfram, Stephen (2002). Starting From Randomness
(http://www.wolframscience.com/reference/notes/958a).A New Kind
ofScience(eningls).WolframMedia.p.958. Consultado el 31 de
marzode2010.
2. Basharin, Gely P. Langville, Amy N. Naumov, Valeriy A. (2004).
The
Life
and
Work
of
A.
A.
Markov
(http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.4887).
Linear Algebra and its Applications (en ingls) 386: 326.
Consultadoel31demarzode2010.
3. Rabin, Michael O. Scott, Dana (1959). Finite automata and their
decision problems (http://portal.acm.org/citation.cfm?id=1661909).
IBM Journal of Research and Development(eningls) (IBM Corp.
Riverton, NJ, USA) 3 (2): 114125. ISSN 00188646
(https://www.worldcat.org/issn/00188646). Consultado el 5 de abril de
2010.
4. Wolfram, Stephen (2002). A New Kind of Science
(http://www.wolframscience.com/reference/notes/958a) (en ingls).
WolframMedia.p.893.Consultadoel31demarzode2010.
5. Thompson, Ken (1968). Programming Techniques: Regular
expression search algorithm (http://portal.acm.org/citation.cfm?
id=363387&dl=GUIDE,). Communications of the ACM (en ingls)
11(6):419422.Consultadoel1deabrilde2010.
6. Chakraborty, Samarjit (17 de marzo de 2003). Formal Languages
and Automata Theory. Regular Expressions and Finite Automata
(http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.9977).
Computer Engineering and Networks Laboratory. Swiss Federal
Institute of Technology (ETH) Zrich(eningls):17. Consultado el
30demarzode2010.
7. Brena, Ramn (2003). Autmatas y Lenguajes. Un enfoque de
diseo
(http://homepages.mty.itesm.mx/rbrena/AyL.html).
TecnolgicodeMonterrey,Mxico:205. Consultado el 31 de marzo
de2010.
8. Berry, G. Sethi, R. (1987). From regular expressions to
deterministic
automata
(http://hal.archives
ouvertes.fr/docs/00/07/59/04/PDF/RR0649.pdf). TCS: Theoretical
ComputerScience(eningls)48:117126. Consultado el 1 de abril
de2010.
9. Neumann, Christoph (2005). Converting Deterministic Finite
Automata
to
Regular
Expressions
(http://citeseerx.ist.psu.edu/viewdoc/download?
doi=10.1.1.85.2597&rep=rep1&type=pdf)(en ingls). Consultado el
1deabrilde2010.
10. van Noord, Gertjan (2000). Treatment of epsilon moves in subset

EjemplodeMquinadeMealy,
untipodetransductordeestados
finitos,quegeneralizalos
autmatasfinitos.

11.

12.

13.

14.

15.

16.
17.

construction (http://portal.acm.org/citation.cfm?id=971841.971845).
ComputationalLinguistics(eningls)(MITPress.Cambridge,MA,
USA) 26 (1): 6176. ISSN 08912017 (https://www.worldcat.org/issn/0891
2017).Consultadoel5deabrilde2010.
Hopcroft, John E. (1971). An n log n algorithm for minimizing
states in a finite automaton (http://portal.acm.org/citation.cfm?
id=891883). Theory of Machines and Computations (en ingls)
(AcademicPress,NuevaYork):189196.Consultadoel9deabrilde
2010.
Jiang, Tai Ravikumar, B. (1993). Minimal NFA problems are
hard
(http://portal.acm.org/citation.cfm?
id=165076&dl=GUIDE&coll=GUIDE&CFID=85447364&CFTOKE
N=52905360).SIAM Journal on Computing(eningls) (Society for
Industrial and Applied Mathematics Philadelphia, PA, Estados
Unidos)
22
(6):
11171141.
ISSN
00975397
(https://www.worldcat.org/issn/00975397). Consultado el 9 de abril de
2010.
Malcher, Andreas (2004). Minimizing finite automata is
computationally
hard
(http://www.springerlink.com/content/xj7hde7ewmucw94a/).
Theoretical Computer Science (en ingls) (Elsevier Science
Publishers Ltda. Essex, Reino Unido) 327 (3): 375390. ISSN 0304
3975(https://www.worldcat.org/issn/03043975).Consultadoel5deabrilde
2010.
Koskenniemi, Kimmo (1984), A general computational model for
wordform
recognition
and
production
(http://acl.ldc.upenn.edu/P/P84/P841038.pdf), Morristown, NJ,
EstadosUnidos:AssociationforComputationalLinguistics,pp.178
181,http://acl.ldc.upenn.edu/P/P84/P841038.pdf,consultadoel10de
abrilde2010
Moore, Edward F. (1956). Gedankenexperiments on Sequential
Machines
(http://books.google.cl/books?
hl=es&lr=&id=oL57iECEeEwC&oi=fnd&pg=PA129&dq=Gedanken

experiments+on+Sequential+Machines&ots=xtIZlfNSh3&sig=_IZbe
Mzi9_E7N5vQpocPAfK1KiU#v=onepage&q=Gedanken
experiments%20on%20Sequential%20Machines&f=false). Automata
Studies,AnnalsofMathematicalStudies(eningls)(Princeton,N.J.:
PrincetonUniversityPress)(34):129153.Consultadoel10deabril
de2010.
Mealy, George H. (1955). A Method for Synthesizing Sequential
Circuits.BellSystemsTechnicalJournal(eningls)34:10451079.
Hopcroft,JohnE.Ullman,JeffreyD.(1969),Formallanguagesand
their relation to automata (http://portal.acm.org/citation.cfm?
id=1096945), Boston, MA, Estados Unidos: AddisonWesley
Longman
Publishing
Co.,
Inc.,
pp.
262,
http://portal.acm.org/citation.cfm?id=1096945, consultado el 10 de
abrilde2010

Bibliografa
Hopcroft,John Motwani, Rajeev Ullman, Jeffrey D. (2001). Introduction to Automata Theory,
Languages,andComputation(eningls).Massachusetts,EstadosUnidos:AddisonWesley.

Enlacesexternos

WikimediaCommonsalbergacontenidomultimediasobreAutmatafinito.
JFLAP,softwareparaexperimentarconlenguajesformalesyautmatas(http://www.jflap.org/)
Obtenidodehttp://es.wikipedia.org/w/index.php?title=Autmata_finito&oldid=82248078
Categora: Lenguajesformales
Estapginafuemodificadaporltimavezel6may2015alas04:27.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0
podranseraplicablesclusulasadicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimo
delucro.