CMSimulator

Simulador para máquinas mostradoras y gramáticas formales.

La aplicación CMSimulator le ayuda a comprender mejor cuatro de las máquinas mostradoras más conocidas: Automatización de estados finitos, Automatización de empuje, Automatización de contorno lineal, Máquina de Turing. Puede crear nuevas o cargar soluciones existentes desde archivos. La aplicación también contiene ejemplos (para cada tipo de máquinas).

Además, la aplicación también le ayuda a comprender mejor cuatro tipos de gramáticas formales de la jerarquía de Chomsky: gramática regular, gramática sin contexto, gramática sensible al contexto, gramática no restringida. Puede crear nuevas o cargar soluciones existentes desde archivos. La aplicación también contiene ejemplos.

Puede crear una lista de símbolos, estados, reglas de transición y también elegir los estados inicial y final. Luego puede llenar la cinta y simular la solución paso a paso, o ir directamente al final de la simulación. También puede marcar cualquier elemento de cinta como punto de interrupción para pausar la simulación cuando la máquina alcanza este punto de interrupción.

También se admiten máquinas y soluciones no deterministas.

Puede definir su propia gramática, probar palabras si pertenecen a la gramática definida y visualizar el proceso de derivación con 4 tipos diferentes de visualizaciones: tabla de derivación, árbol de derivación, derivación lineal, derivación fija. La aplicación también contiene una función interactiva en la que puedes probar varias palabras al mismo tiempo.

La aplicación aún está en desarrollo. Por favor, déjame saber si encuentras algún error.