决定性树控制语法
摘要：一个新的语法规则的方法 一种对语法进行规范的新方法被提出。它将语法产生的推导树分为两个部分-生成和决定（结论）。前者包含生成符号的过程，直到生成推导树的最右边的终端符号为止，而后者表示生成句子所需的最后几步。提出了一种基于仅规范结论的控制机制，并随后应用于树控制语法，创建了具有结论的树控制语法。主要结果表明，生成和结论部分的深度比率不影响生成能力。此外，还证明了这些语法能够生成任何递归可枚举语言，而非终结符不超过七个，并且规范语言是无并集的。
作者：Dominika Klobuv{c}n''ikov''a (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Zbynv{e}k Kv{r}ivka (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Alexander Meduna (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology)
论文ID：2208.14728
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01