a finite input alphabet I, a finite output alphabet O, a transition function f that assigns to each state and input pair a new state, an output function g that assigns to each state and input pair an output, and an initial state s0.
จำกัดนำเข้าส่งออกจำกัดตัวอักษร , ตัวอักษร o , การเปลี่ยนแปลงฟังก์ชัน f ที่มอบหมายให้แต่ละคู่รัฐและใส่สภาพใหม่ ออกฟังก์ชัน g ที่กำหนดให้แต่ละรัฐและใส่คู่ output , และเริ่มต้นรัฐ Name .