الصفحات التي تصل إلى آلة محدودة الحالات (التحويلات):
وصلات خارجية:
تعرض 8 عناصر.
- كاشف التسلسل (وصلات)
- أوتومات الدفع السفلي (وصلات)
- آلة محدودة الحالات (مضمن) (وصلات)
- إدارة المهام (وصلات)
- أتمتة محدودة قطعية (وصلات)
- نموذج حوسبة (وصلات)
- التحقق الشكلي (وصلات)
- دراكون (وصلات)