Visual Automata Simulator

Uno strumento per la simulazione, la visualizzazione e la trasformazione automi a stati finiti e macchine di Turing.

• Crea, simula e trasforma DFA e NFA macchine
• Crea e simula TM
• test batch per TM: funzioni utili per testare un gruppo di file in modo rapido
• Interfaccia grafica facile da usare (multi-documenti)
• collegamenti intelligenti tra gli oggetti
• Machines si possono trarre con il mouse - e ridimensionato in qualsiasi momento
• Più macchine possono essere creati in un unico documento
• documenti multipli possono essere aperti contemporaneamente
• I documenti possono essere salvati e ricaricati da disco
< li> modalità di debug per vedere esattamente come la macchina è in funzione (ogni passo ha un colore diverso)
• MacOS X GUI compatibile

Cosa è nuovo in questa versione:

• FA e la macchina TM possono essere esportati in file EPS
• gestore aggiornamenti integrato
• preferenze: possono specificare il carattere utilizzato per definire una transizione epsilon
• corretto un bug in cui la transizione epsilon non sono stati considerati quando si parte direttamente da uno stato invece di seguire una transizione non-epsilon

Requisiti :

Mac OS X con Java 1.4