Finite State Automata (FSAM)

FSAM คือเครื่องจำลองสถานะที่มีขอบเขตจำกัดสำหรับมือถือ ซึ่งได้รับแรงบันดาลใจอย่างมากจาก JFLAP ปัจจุบันรองรับออโตมาตะสถานะจำกัด, ออโตมาตะแบบกดลง และเครื่องจักรทัวริง

เครื่องจำลองมีเครื่องมือและคุณสมบัติดังต่อไปนี้
ทั่วไป:
- ซูมกล้อง
- ย้ายกล้อง
- กล้องรีโฟกัส
คุณสมบัติการกำหนดค่า FSA:
- ย้ายเครื่องมือสถานะ
- กำหนดค่าเครื่องมือสถานะ
- สร้างเครื่องมือสถานะ
- สร้างเครื่องมือการเปลี่ยนภาพ
- ลบเครื่องมือ
คุณสมบัติไฟล์ I/O:
- บันทึกเป็น FSAM
- โหลดเป็น FSAM
- บันทึกเป็นเจเอฟเอฟ
- โหลดเป็น JFF
จำลองคุณสมบัติ:
- ทีละรัฐและขั้นตอนพร้อมการปิด
- ขั้นตอน
- ติดตามประวัติศาสตร์ของรัฐ
- สถานะการจำลองการตรึง / ยกเลิกการตรึง
- ลบสถานะการจำลอง
- การเรียกใช้ด่วน / การทดสอบจำนวนมาก
คุณสมบัติการแปลง:
- ลด DFA ให้เหลือน้อยที่สุด
- แปลง NFA เป็น DFA