接受機（acceptor）做嘅工作係產生一個二元嘅輸出（1 定 0）用嚟表示個輸入係咪俾部機接受（所以叫「接受機」）數學啲噉講，一部有限狀態機嘅狀態當中有一部份會係所謂嘅接受狀態（acceptance，），而部機嘅初始狀態可以係一個接受狀態，接受機輸入通常會係一串符號，可以用嚟運算一串符號係咪設計想要嘅。