เครื่องมือสำหรับการจำลองภาพและเปลี่ยนรัฐออโต จำกัด และทัวริงเครื่อง สร้างจำลองและแปลง DFA และเครื่อง NFA สร้างและจำลอง TM การทดสอบแบทช์สำหรับ TM: คุณสมบัติที่มีประโยชน์ในการทดสอบพวงของไฟล์ได้อย่างรวดเร็ว ง่ายต่อการใช้อินเตอร์เฟซ GUI (เอกสารหลาย) ...
- หน้าแรก
- Jean Bovet
- ซอฟต์แวร์การศึกษาและวิทยาศาสตร์
- ซอฟแวร์คณิตศาสตร์