2025-08-202017Sistema Nacional de Repositorios Digitales-Universidad Nacional de La Plata-oai:sedici.unlp.edu.ar:10915/53283https://hdl.handle.net/20.500.12272/13651Un autómata finito es un modelo matemático abstracto compuesto por una cantidad finita de estados que tiene como objetivo recibir entradas y generar salidas en el caso más general. Si el autómata sólo se limita a reconocer cadenas el mismo estará conformado por un alfabeto de entrada, un conjunto de estados finito, una función de transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadena de símbolos pertenecientes al alfabeto de entrada, y va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un estado de aceptación o de rechazo. Dentro de los autómatas finitos se destacan el autómata finito determinista y el no determinista, la diferencia entre ambos radica en la función de transición, en la cual para el autómata determinista a cada estado le corresponde una única transición, es decir que para un estado determinado y ante un símbolo leído existe siempre una sola transición posible, mientras que en el autómata finito no determinista existen múltiples transiciones posibles desde un estado y un símbolo de entrada. Los autómatas finitos se utilizan en diferentes tipos de aplicaciones tales como las industriales y por supuesto las informáticas; por ejemplo en la implementación de ingeniería de software, lenguajes de programación y otras áreas prácticas de las ciencias de la computación.pdfesinfo:eu-repo/semantics/openAccessAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/SimuladoresAutómatas finitosSintaxis y Semántica de los Lenguajesinfo:eu-repo/semantics/articleOlariaga, Sandra; Páez, Nancy.https://creativecommons.org/licenses/by-nc-nd/4.0/