ماشین های متناهی
ماشین‌های متناهی (Finite-State Machines)
مدلی از رفتارهایی که شامل حالت‌ها[۱]، انتقال[۲] و کنش‌ها[۳] است. حالت‌هایی که اطلاعات مربوط به گذشته را ذخیره می‌نماید، منعکس‌کننده تمام تغییرات ورودی سیستم از ابتدا تا لحظه حال خواهد بود. انتقال نشان‌دهنده تغییر در حالت بوده و توسط شرایطی که برای فعال ساختن این انتقال لازم است، تعریف می‌شود. مخفف آنFSM[۴] است که به آن خودکارسازی متناهی[۵] نیز می‌گویند.