具有嵌套和不等式的上下文无关语法

Question

我一直无法找到任何具有嵌套和不等式的无上下文语法的例子。

例如，我正在尝试编写CFG：

{aibjckdl : (i < l) ^ (j < k)}

因此，对于{aidl : (i < l)}，CFG只会是：

S -> aSd | dS | d

b和c类似。但我无法弄清楚如何嵌套两个语法。任何类似的例子或指针都会有所帮助。

Answer 1

在我看来，你已经回答了你的问题：

S -> Ad | aSd | Sd
A -> Ac | c | bAc

这个语法背后的概念是：首先创建一个表达式的一部分，其中a和d满足给定的条件，然后放在一个表达式中，表达式满足b＆＃39条件; s和c＆＃39; s。