syntax - 乔姆斯基层次结构和机器人框架

Question

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