Top Herramientas Teoría de la Computación

Herramientas Teoría de la Computación - ENTSCHEIDUNGSBLOG

La Teoría de la Computación es una materia fundamental en el estudio de cualquier carrera relacionada con Sistemas o Computación; y con el objetivo de fomentar el estudio de dicha materia presentamos un breve compendio de herramientas para facilitar el aprendizaje y entendimiento de los diversos temas de la materia.

JFlap

Esta herramienta programa en Java, por el departamento de Ciencias de la Computación de la universidad de Duke, nos permite trabajar con herramientas como Autómatas Finitos, Máquinas de Moore o de Mealy, Autómatas de Pila, Máquinas de Turing, Expresiones Regulares así como diferentes tipos de Gramáticas.

En su última versión estable (7.1) presenta diferentes dificultades al manejar cadenas o autómatas complejos; el rendimiento es altamente afectado por las características de nuestro ordenador, y, al correr sobre Java, requerirá que lo descarguemos directamente de su página, con la ventaja de poder correrlo prácticamente en cualquier Linux, Windows y macOS. Sin embargo, su uso es medianamente sencillo, puesto que a pesar de contar con buena documentación, y esta no es muy amigable. Lo mismo con el software, el cual no ha recibido actualizaciones importantes en los últimos años, que puede llevar a invertirle un tiempo en el aprendizaje de la herramienta. Dicho esto, el poder del programa lo trae a esta lista.

ENTSCHEIDUNGSBLOG - Interfaz Jflap
Interfaz JFlap 7.0

Página Oficial:  http://www.jflap.org

CFG Developer

Este recurso, desarrollado en la Universidad de Stanford, en 2014, nos permite trabajar con derivaciones de gramáticas, resaltando su la facilidad de uso con una UX trabajada y la ventaja de poder usarlo en cualquier dispositivo con un navegador. El tema es muy específico, pero consideramos que es de interés para una rápida validación de cadenas y árboles de derivación.

CFG Developer - ENTSCHEIDUNGSBLOG




CFG Developer - ENTSCHEIDUNGSBLOG


Alternativa con mejoras en UX: https://checker5965.github.io/toc.html

Diagrams.net (Draw.io)

Esta aplicación web nos permite diseñar diagramas de propósito general. Representar a los autómatas puede ser realmente sencillo, con el detalle de que ya no podríamos probar el autómata cosa que en JFlap si podemos. Sin embargo, al tener la ventaja de funcionar mediante un navegador lo que facilita muchas veces su uso con la certeza de que seguirá implementando mejoras y funciones.

Diagrams.net - ENTSCHEIDUNGSBLOG


Escribió: Rodrigo R. Rubio Haro

Entradas populares