同型

本シリーズでは、以下の本に沿って解説を書いている。 前回は、有限オートマトンの等価と、言語の補集合を認識する有限オートマトンを解説した。 等価は今回も使うので、不安なら復習しておこう。 以下がその記事だ。 さて、今回は…申し訳ないが、再度横...