細かいけど大事なこと

1. 始境界上の点のin次数は0でなくてはならない。
2. 終境界上の点のout次数は0でなくてはならない。
3. ようするに、境界は境界のようでなくてはならない。
4. 辺ラベルは、文字や文字列ではなくて言語なのだ。したがって、いろいろと演算ができる。
5. 境界を1点にすれば便利だが、それだけを考えているのはまったくダメ。
6. イプシロン遷移、無音記号は排除しないほうがいい。