ஒரு finite மாநில பொறி கொண்டு மாநிலங்கள் ஏற்றல் நியமிக்கப்பட்ட ஒன்று அல்லது மேற்பட்ட மாநிலங்கள். ஒரு accepting மாநில தொடக்க மாநிலத்திலிருந்து ஒரு பாதை இருந்தால் ஒரு உள்ளீடு சரம் நிறைவேற்றப்பட்டால்.