ஒரு deterministic finite மாநில கருவியைத் finitary மரங்களை விட நியாயமான சரங்களை ஏற்றுக்கொள்ளும். , மரம் நோட்களில், automaton, சமசுகிருத கடிதங்களுடன் குறிக்கப்பட்டன, மற்றும் மாற்றம் செயல்பாட்டை encodes மரத்தின் ஒவ்வொரு கிளை-அடுத்த மாநிலங்கள். , ஏற்பு நிலை அதன்படி பட்டது.