グラフ文法を語り尽くす
■ このスレッドは過去ログ倉庫に格納されています
0041132人目の素数さん
2006/10/11(水) 19:22:34連結関係などを考えずとも、>>36の場合だと右辺で書き換え規則に合致しなかったエッジは
そのまま左辺のノードへ付け替えるというので構わないのでは?
問題は決定性でしょう。
>>36のグラフ文法でエッジの付け替えの順序が変わると、その順序によって文法Mが
受理したり受理しなかったりという例は考えられるでしょうか。
■ このスレッドは過去ログ倉庫に格納されています