講座系 オートマトン・言語と計算理論「正規言語と文脈自由言語」 本シリーズでは、以下の本に沿って解説を書いている。 前回は、cfgを考える時に便利な最左導出と導出木を解説した。 まだ便利になる状況がそんなに出てきていないが、今後出てくる…はず。 以下がその記事だ。 さて、今回は以前扱っていた正規言語との... 2021.01.27 講座系
講座系 オートマトン・言語と計算理論「決定性と非決定性の関係」 本シリーズでは、以下の本に沿って解説を書いている。 前回は新しい単元に進んで、非決定性有限オートマトンというものを定義した。 前々回までの決定性有限オートマトンとは異なり、同じ記号による遷移先が複数になったり、空集合になったりしてもいいよう... 2020.12.13 講座系