ガードのようなディスパッチラベルのような辺ラベルと、ノードからなるグラフを考えればいい。 スキーマ属性に対応する述語ノード。台型でガードされている。真偽が、成功（通過）失敗（失格）に対応。 子オートマトンノード。objectオートマトンかarrayオー…

イプシロン辺の除去は、手間の割に効果ないのではないか。ワープ記号をちゃんとした一人前の記号としてアルファベットにいれておいて、ワープのルールを入れておけば、特に何もしなくても十分に速いような気がする。もちろん、まったく無駄なワープは削除し…

あれっ、遷移辺に貼られたディスパッチラベルが一種のガードで、どれかを選んでGOというわけで、これはコミット選択（comitted choice）になっているな。もともとが決定性なんだから、コミットもへったくれもないと言えばまーそうだ。決心をしたり運を天に任…

オートマトンを連接するとき、2種類の連接がある。 JSONの配列やオブジェクトを表すオートマトンでは、終状態から出るエンドマーカー（終端記号）の辺をそのまま残す。 正規表現を部分式から構成するときは、終状態から出るエンドマーカー（終端記号）の辺は…