Visual Automata Simulator

Un outil de simulation, la visualisation et la transformation automates à états finis et machines de Turing.

• Crée, simule et transforme DFA et NFA machines
• Crée et simule TM
• Tests batch pour TM: fonctionnalités utiles pour tester un tas de fichiers rapidement
• interface graphique facile à utiliser (multi-documents)
• liens intelligents entre les objets
• Machines peut-on tirer en utilisant la souris - et redimensionnés à tout moment
• Plusieurs machines peuvent être créés dans un document unique
• Plusieurs documents peuvent être ouverts en même temps
• Les documents peuvent être sauvegardés et rechargés à partir du disque
< li> Le mode de débogage pour voir exactement comment la machine fonctionne (chaque étape a une couleur différente)
• MacOS X GUI conforme

Qu'est est nouveau dans cette version:

• FA et la machine de TM peuvent être exportés vers fichier EPS
• gestionnaire de mise à jour intégrée
• préférences: peuvent spécifier le caractère utilisé pour définir une transition epsilon
• Correction d'un bug où la transition epsilon ne ont pas été pris en compte lors partant directement de l'état au lieu de suivre une transition non-epsilon

Exigences :

Mac OS X avec Java 1.4