プログラム

本シリーズでは、以下の本に沿って解説を書いている。前回まで、有限オートマトンに関するあれこれを書いてきた。有限オートマトン自体の定義は以下の記事。そして、直積オートマトンと、状態の等価性は以下の記事だ。今回は、本筋からちょっと外れて、この有...