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

我找不到任何有嵌套和不平等的上下文无关语法的例子

例如，我正在尝试为以下内容编写CFG：

{aibjckdl:（i

因此，对于

{aidl:（i

，CFG将是：

S->aSd|dS|d

---

b和c的情况类似。但我不知道如何嵌套这两个语法。任何类似的例子或提示都会很有帮助。

我认为您的问题有答案：

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

该语法背后的概念是：首先创建表达式的一部分，其中a和d满足给定的条件，然后将满足b和c条件的表达式放在a和d之间