Propaganda
Biblioteca de analisador de autômatos até o uppaal
A biblioteca de parser automaticamente cronometrado do Uppaal (libutap) é a biblioteca de parser usada pelo uppaal. ...
biblioteca de analisador Uppaal. UPPAAL Temporário cronometrado Automata cronometrada
Celular
Celular é um simulador de automata de propósito geral 3D. ...
celular autômatos celulares Automata Cellular Automata modelador Simulador 3D
Simulador Visual Automata.
Visual Automata Simulator é um simulador DFA, NFA e TM. ...
dk.brics.automaton.
Um pacote java que contém um DFA / NFA. ...
expressão regular Automata Automata do estado finito Alfabeto Unicode. dk.brics.automaton