Portal de Periódicos da CAPES

Desarrollo de un entorno de simulación para autómatas deterministas

2009; Volume: 2; Issue: 42 Linguagem: Espanhol

10.22517/23447214.2573

2344-7214

Álvaro A. Orozco, Mauricio Holguín Londoño,

Logic, programming, and type systems

Se muestra el poderio matematico y generalidad de la Maquina de Turing entre las maquinas abstractas equivalentes a la jerarquia de lenguajes formales que desarrollo Noam Chomsky en su obra Teoria de las Gramaticas Transformacionales, por medio del desarrollo de un simulador de automatas; que permite representar el funcionamiento de un reconocedor de lenguajes que determina si una palabra, cadena finita de simbolos de un alfabeto, pertenece o no a un lenguaje dado. Se enmarca como herramienta pedagogica que permite mostrar la generalidad de la maquina de Turing al abarcar el conjunto de los automatas finitos y de pila.