ノート:非決定性有限オートマトン

英語版と比べてみると形式的定義が不完全だと思うのですが。 ε遷移についてです。