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

• Autores: Alvaro Angel Orozco Gutiérrez, Mauricio Holguín Londoño
• Localización: Scientia et Technica, ISSN 0122-1701, Vol. 2, Nº. 42, 2009, págs. 17-22
• Idioma: español
• Títulos paralelos:
  • Development of a simulation environment for deterministic automatas
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Se muestra el poderío matemático y generalidad de la Máquina de Turing entre las máquinas abstractas equivalentes a la jerarquía de lenguajes formales que desarrolló Noam Chomsky en su obra Teoría de las Gramáticas Transformacionales, por medio del desarrollo de un simulador de autómatas; que permite representar el funcionamiento de un reconocedor de lenguajes que determina si una palabra, cadena finita de símbolos de un alfabeto, pertenece o no a un lenguaje dado. Se enmarca como herramienta pedagógica que permite mostrar la generalidad de la máquina de Turing al abarcar el conjunto de los autómatas finitos y de pila.

  • English

    It shows the mathematics power and generality of Turing Machine respect to abstract machines equivalents to the hierarchy of formal languages developed by Noam Chomsky in his book Theory of Transformational Grammars, by developing a automata simulator, which allows represent the behavior of a language recognizer that determines whether a word, string of symbols from a finite alphabet, belongs to a given language. It is framed as a teaching tool that shows the generality of the Turing Machine to cover all of the finite automatas and push down machines.