講座系オートマトン・言語と計算理論「正規表現とεnfaの関係その1」 本シリーズでは、以下の本に沿って解説を書いている。 前回は、nfaと\(\varepsilon\)nfaで認識できる言語に差がないことを示した。 これで、dfa、nfa、\(\varepsilon\)nfaの3つそれぞ...2021.01.09講座系
講座系オートマトン・言語と計算理論「nfaとεnfaの関係」 本シリーズでは、以下の本に沿って解説を書いている。 前回は、またしても新しい有限オートマトンである\(\varepsilon\)入力付き非決定性有限オートマトンを解説した。 状態遷移でこれまでに使っていなかった様相やス...2021.01.04講座系
講座系オートマトン・言語と計算理論「ε入力付き非決定性有限オートマトン」 本シリーズでは、以下の本に沿って解説を書いている。 前回は、決定性有限オートマトンと非決定性有限オートマトンそれぞれで、認識できる言語に差がないことを証明した。 また、その中で非決定性有限オートマトンを決定性に書き換え...2020.12.26講座系
講座系講座系講座系講座系