a, b ：グラフの辺 a, b ：アルファベットのレター b : 振る舞い d ： 識別頂点 e ： 分離対象の分離射（予定） f, g, h ： 指標圏の射 i ： 始状態指定 i ： 添字 k ： コンストラクタ射、コンストラクタ-コマンド射 k ： 体 n, m ： 整数 p ： 余分離対象…