オートマトンと遷移グラフを整理する

遷移グラフは、局所一意な辺ラベル付き有向グラフ。辺ラベルは、重さ、色、属性、名前、電流、道のり、コストなど、なんでもよい。

有向グラフの射は、決定性のグラフ射と非決定性のグラフ射の両方を導入して、オートマトンでも同じく決定性の射、非決定性の射を考える。

バラバラな用語の対応を取る。

• 字（letter）、語、列（シーケンス）、ストリング、文、記号、基本記号、ラベル、アクション記号、アクション、信号、メッセージ、命令、コマンド、インストラクション
• letter, symbol, signal, message, command, instruction, action, 形容詞 basic, atomic, primitive
• 遷移、遷移写像、遷移対応、遷移関係、遷移ルール、ルールセット
• start(ing), end(ing); initail, {terminal, final}; enter, {leave, exit}; entry, exit; 進入、退出; root, {leaf, tip}