Nina: automata description language

リファレンス

1. Ninaプログラムの構造
2. ライセンス条文記述部
3. 記述コメント
4. 定義部
5. オートマトン記述部
6. サブオートマトン記述部
7. アクション定義部
8. Ninaにより生成されるソースのクラス構造