2

我正在写一篇关于Robot Framework的论文。我想包括一个关于乔姆斯基层次结构的部分,并描述它属于哪个层次结构。据我所知,大多数编程语言都可以用 CFG(上下文无关语法)来描述,但不是其中的一部分(例如,检查变量是否在 C 或多级括号中定义)。我的问题是是否可以在 CFG 中描述 Robot Framework -> 可以使用非确定性下推自动机进行检查。我认为它可以通过其语法的类似表格的格式来实现。

4

0 回答 0