MONA A tool that translates formulas to finite-state automata
Download

MONA Ranking & Summary

MONA Tags

formula Automaton Finite Cellular Automata Viewer cellular automata Automata automata synthesis buil Finite State Machines translates finite sets viewer view finite sets display finite sets hedge automata creator create finite machine generate finite state machine finite state machine creator Automata Automatic Analysis Finite Transform train track automata automata builder homeomorphism automata translate formula automaton analyzer finite-state automata Hodgepodge cellular automata Cellular automata simulation Finite Difference

MONA Description

MONA is a simple utility that was created in order to provide you with a quick means of translating formulas into finite-state automata. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA analyses the automaton resulting from the compilation and prints out "valid" or a counter-example.

MONA Related Software