FSAM là trình mô phỏng máy trạng thái hữu hạn dành cho thiết bị di động, lấy cảm hứng từ JFLAP. Nó hiện hỗ trợ automata trạng thái hữu hạn, automata đẩy xuống và máy turing.
Trình mô phỏng cung cấp các công cụ và tính năng sau
Tổng quan:
- Thu phóng máy ảnh
- Di chuyển máy ảnh
- Lấy nét lại máy ảnh
Tính năng cấu hình FSA:
- Công cụ di chuyển trạng thái
- Cấu hình công cụ trạng thái
- Tạo công cụ trạng thái
- Tạo công cụ chuyển tiếp
- Công cụ xóa
Các tính năng I/O của tệp:
- Lưu dưới dạng FSAM
- Tải dưới dạng FSAM
- Lưu dưới dạng JFF
- Tải dưới dạng JFF
Tính năng mô phỏng:
- Từng bước và từng bước đóng cửa
- Bước chân
- Theo dõi lịch sử trạng thái
- Trạng thái mô phỏng đóng băng/không đóng băng
- Xóa trạng thái mô phỏng
- Chạy nhanh / Kiểm tra hàng loạt
Tính năng chuyển đổi:
- Giảm thiểu DFA
- Chuyển đổi NFA sang DFA
First release of FSAM
The application currently supports
- Finite State Automata
- Pushdown Automata
- Turing Machines
Do take note that PDA and TMs have not been fully verified so some bugs and errors may occur in simulation