Counter automaton とは

コンピュータ科学では、より具体的には、公式言語理論、カウンタオートマトン、またはカウンターマシンは、2つのシンボル、 A {\displaystyle A} の初期シンボル、スタックシンボルの有限集合を持つプッシュダウンオートマトンです。
同様に、カウンタオートマトンは、(非制限サイズの)非負の整数を1つ保持できる追加のメモリセルを持つ非決定性の有限オートマトンであり、インクリメント、デクリメント、ゼロのテストが可能です。