私は文脈自由文法を研究していますが、星のある矢印と星のない矢印がパートfとgで何を意味するのか興味があります。
- fはfalseです。
- gは真です。
私は文脈自由文法を研究していますが、星のある矢印と星のない矢印がパートfとgで何を意味するのか興味があります。
「x⇒y」は、文法の生成の1つのアプリケーションでyをxから導出できることを意味します。⇒にアスタリスクを付けることは、yがxから、いくつかの一連のプロダクションの0個以上(ただし、有限数!)のアプリケーションを介して導出されることを意味します。
説明については、 http://en.wikipedia.org/wiki/Context-free_grammar#Repetitive_rule_applicationを参照してください。
つまり、uが星の矢印vの場合、uからvに向かう一連のルールの適用があります。