Buchi Automatonあれこれ 思いつき次第追記していきます Emptiness checking Buchi Automatonが受理する言語が空でない 初期状態から到達可能かつサイクル上にある終状態が存在する. 効率的なアルゴリズム オートマトンを有向グラフとみなし強連結成分に分け…

論理とか文法とかあれこれの表現力のメモ[未整理] regular language < linear language < context free