有限オートマトン
受容状態は、その機械が手続きを成功裡に完了させた状態である。通常、二重丸で表現される。
図5の決定性有限オートマトン (DFA) は2進数の入力が偶数個の 0 を含むときに受容することを示している。S1 は初期状態でもあり、受容状態でもある。この機械は入力数列に"0"が偶数個含まれるときのみ正しく終了したと判定され、0個も偶数なので"0"が全く含まれない数字列も受容される。このDFAが受容する文字列の例としては、ε(空文字列)、1、11、00、010、1010、10110、などなどがある。