Visual Automata Simulator

інструмент для моделювання, візуалізації і перетворення кінцевий автомат і Тьюринга машини.

• Створення, імітує і перетворює машини DFA і NFA
• Створення та імітує TM
• Випробування партії для ТМ: корисні функції для перевірки купу файлів швидко
• Зручний у використанні інтерфейс GUI (мульти-документи)
• Розумні посилання між об'єктами
• Машини можуть бути зроблені за допомогою миші - і змінити розмір в будь-який момент
• Кілька машин можуть бути створені у вигляді єдиного документа
• Кілька документів можуть бути відкриті в той же час
• Документи можуть бути збережені і повторно завантажені з диска
< LI> відлагоджувальний режим, щоб побачити, як саме машина працює (кожен крок має свій колір)
• MacOS X GUI сумісний

Що новий У цьому випуску:

• FA і ТМ машина може бути експортований в EPS файл
• Інтегрований менеджер оновлень
• переваги: ​​можна вказати символ, використовуваний для визначення епсилон перехід
• Виправлена ​​помилка, коли епсилон перехід не вважалися при запуску безпосередньо зі стану замість того, щоб випливати не-Епсілон переходу

Вимоги

Mac OS X з Java 1.4