prolog中上下文相关的生成
提问于 2019-02-01 17:57:52
我对生成乔姆斯基所描述的上下文敏感语言的元素很感兴趣，正如Chomsky Classification of Grammars中“类型1语法”部分所描述的那样。
(基本上，类似于标准的上下文无关语法，但允许在产生式规则的左侧使用多个符号，包括终端)。
我知道Prolog中的定从句语法，但我没有看到它们与乔姆斯基的上下文敏感语言之间的明显映射。有没有一种“通用”的方式来使用DCG框架来描述左边有多个符号的产生式规则，或者我是否需要为每种单独的语言提供一种特别的方法？
回答 1
Stack Overflow用户
发布于 2019-02-05 14:45:25
可以使用半文本直接对右侧的上下文进行编码：
nt1, "context" --> nt2, "context".对于左侧的上下文，没有明显的直接编码。最常见的情况是使用非终结符的参数。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/54484798
复制
![如何使用 Flutter 创建桌面应用程序[Flutter专题7]](https://ask.qcloudimg.com/http-save/yehe-6702670/05fba98f25b9318e727b32854ef4e11e.png)
腾讯云开发者
