妄想をたどるために使った概念や事実や定理： ブラーグマンクライン＆ウッド（Bruggemann-Klein - Wood）の1-非曖昧性（出発点） マクノートン／山田／グラシュコフの方法 Hovlandアルゴリズム（ライバルとして） ホイヘンスの原理 ダイクストラ法 ファイン…

波頭集合はステップベースじゃなくて、やっぱりコストベースのほうがいいみたいだ。ステップは、遷移グラフの辺を通るごとに1ステップと勘定する。コストは入力した（あるいは通過した）記号の数。無音遷移はステップ1でコスト0。ある点からの次の波頭集合は…