Mona Una herramienta que traduce fórmulas a autómatas del estado finito
Descargar ahora

Mona Clasificación y resumen

Mona Etiquetas

fórmula Autómata Finito Visor de automóviles celulares autómata celular autómatas Síntesis de autómatas construir máquinas de estados finitos traduce Conjuntos finitos Visor ver conjuntos finitos mostrar conjuntos finitos Hedge Automata Creator Crear máquina finita Generar máquina de estado finito finita creador máquina de estados Análisis automático de autómatas. Transformación finita Tren Tren Track Automata Builder Automata Homeomorphism Automata Traducir fórmula analizador de autómatas autómatas de estado finito Hodgepodge Cellular Automata Simulación de autómatas celulares. Diferencia finita

Mona Descripción

Mona es una utilidad simple que se creó para brindarle un medio rápido para traducir fórmulas en autómatas de estado finito. Las fórmulas pueden expresar patrones de búsqueda, propiedades temporales de los sistemas reactivos, restricciones de árboles de análisis, etc. MONA analiza el automatón resultante de la compilación e imprime "válido" o un contador.

Mona Software relacionado