ε遷移がロクデモナイ概念だった件

オートマトン理論に出てくるε遷移。あれは割とダメだった。形式言語理論の文脈では便利だし十分だが、プログラム意味論としてはダメダメ。

次のような概念が混同されてゴッチャになった結果がε遷移。

1. ブランク記号＝タイムフィラー、セリンガーの言う無音{記号,遷移}、観測不能{記号,遷移}
2. グラフからパスの圏を作るときの空パス
3. ミンコフスキー／ローレンツ空間のヌルベクトルのようにノルムがゼロとなる何か。

それぞれ次のように言い分けるべき。

1. ブランク{記号,遷移}、入力アイドリング（idling）、出力アイドリング
2. 空パス、空列
3. ヌルステップ、ヌル遷移、ヌルパス