เครื่องสถานะจำกัด

โปรแกรมนี้จะดำเนินการขั้นตอนวิธีการในการลดเครื่องสถานะ จำกัด

เครื่องสถานะจำกัด หรือ ไฟไนต์สเตตแมชชีน (อังกฤษ: finite state machine) คือวงจรเชิงลำดับซึ่งออกแบบเป็นสถานะการทำงาน (state) ของวงจรออกเป็นหลายๆ สถานะ แต่ละสถานะมีลอจิกการทำงานที่ต่างกัน เพื่อกำเนิดค่าเอาต์พุตและค่าสถานะถัดไป มีสัญญาณสถานะที่กำหนดว่าสถานะปัจจุบันเป็นสถานะไหน สัญญาณของสถานะจะถูกเก็บไว้ในเรจิสเตอร์ ดังนั้นสถานะจะสามารถเปลี่ยนแปลงได้ที่ขอบขาของ clock เท่านั้น