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