Visual Automata Simulator

Một công cụ để mô phỏng, hình dung và chuyển automata hữu hạn nhà nước và máy Turing.

• Tạo, mô phỏng và biến đổi DFA và NFA máy
• Tạo và mô phỏng TM
• kiểm tra hàng loạt cho TM: tính năng hữu ích để kiểm tra một loạt các tập tin một cách nhanh chóng
• Easy-to-sử dụng giao diện GUI (đa văn)
• liên kết thông minh giữa các đối tượng
• Máy có thể được rút ra bằng cách sử dụng con chuột - và thay đổi kích thước bất cứ lúc nào
• Nhiều máy có thể được tạo ra trong một tài liệu duy nhất
• Nhiều tài liệu có thể được mở cùng một lúc
• Tài liệu có thể được lưu lại và nạp lại từ đĩa
< li> chế độ Debug để xem chính xác các máy đang làm việc (mỗi bước có một màu sắc khác nhau)
• MacOS X GUI phù

là mới trong phiên bản này:

• FA và máy TM có thể được xuất khẩu sang các tập tin EPS
• tích hợp quản lý cập nhật
• sở thích: có thể chỉ định các nhân vật sử dụng để xác định một quá trình chuyển đổi epsilon
• cố định một lỗi nơi epsilon chuyển tiếp không được xem xét khi bắt đầu trực tiếp từ một nhà nước thay vì sau một quá trình chuyển đổi không epsilon

Yêu cầu :

Mac OS X với Java 1.4