DFAとNFA.

有限オートマトンの理論の基礎を勉強しているが，非決定性オートマトン NFA を決定性オートマトン DFA に書き換える手続きを，簡単な具体例を通じてつかめたような気がしている。

次は，決定性オートマトンを一般化非決定性オートマトン GNFA に書き換えたのち，さらに所定のアルゴリズムにしたがってラベルの書き換え等を行い，元の決定性オートマトンが受理する言語の正規表現を得るという手続きを習得したいものである。