https://dfa.laane.xyz/
Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms
6CCS3PRJ โครงการปีสุดท้ายสำหรับ King's College London
ผู้เขียน : สเตน อาร์เธอร์ เลน
หัวหน้างาน: ดร. อากี คูรุซ
โปรเจ็กต์นี้มีจุดมุ่งหมายเพื่อใช้และแสดงภาพอัลกอริธึม Finite Automata สามตัวที่ใช้สำหรับการย่อขนาดสถานะ (SM) และการทดสอบความเท่าเทียมกัน (ET):
ตัวแปรของอัลกอริธึมเหล่านี้ที่สร้างสตริงพยานเพื่อระบุว่า DFA สองตัวที่เทียบเท่ากันก็ถูกนำมาใช้เช่นกัน
นอกจากนี้ โครงการยังมีจุดมุ่งหมายเพื่อสาธิตประสิทธิภาพในกรณีที่เลวร้ายที่สุดของอัลกอริทึมโดยใช้ชุดข้อมูล DFA ที่กำหนดเอง ชุดข้อมูลเหล่านี้เปิดให้ผู้ใช้สร้าง DFA ของตนเองได้
รายละเอียดเพิ่มเติมเกี่ยวกับอัลกอริธึมและชุดข้อมูลสามารถพบได้ในรายงานที่มาพร้อมกับโครงการ ซึ่งพบได้ที่นี่
คำแนะนำในการใช้แอปสามารถพบได้ในหน้าช่วยเหลือ
หากต้องการรันหรือพัฒนาซอฟต์แวร์นี้ภายในเครื่อง จำเป็นต้องมีการติดตั้ง node.js 14.x ในเครื่อง
ซอฟต์แวร์สามารถทำงานได้ดังต่อไปนี้:
npm install
npm run start
http://localhost:3000
การทดสอบสามารถรันได้โดยใช้ npm run test
ยินดีต้อนรับเสมอ ใครๆ ก็สามารถเปิดปัญหาและดึงคำขอบน GitHub ได้
โครงการนี้ได้รับอนุญาตภายใต้ใบอนุญาต MIT