超图Lambek文法的表达能力

论融合文法（Fusion Grammars）的可判定性与表达能力

On Decidability and Expressive Power of Fusion Grammars

本文研究融合文法的算法复杂度与表达能力，证明了几类融合文法的非空性、成员资格问题的可判定性及复杂度上界，提出相关证明技术，并证明保连接融合文法生成的语言满足Parikh定理、具有半线性性。

一阶直觉主义线性逻辑与超图语言

First-Order Intuitionistic Linear Logic and Hypergraph Languages

本文研究一阶直觉主义线性逻辑ILL1及其乘法片段MILL1与超图文法理论的关系，引入超图一阶逻辑范畴语法，证明相关文法的表达能力，并为MILL1开发超图语言模型且证明其全称-蕴涵片段的完全性。

具有上下文无关以下复杂度的非交换线性逻辑片段

Non-commutative linear logic fragments with sub-context-free complexity

本文提出了Lambek演算片段对REG、LCFL和CFL类的新的描述复杂性刻画，首次将Lambek演算片段与证明复杂性REG和LCFL等同，并基于直接转换与结构归纳展示了最弱变体的CFL复杂性，确立了Cut消解定理在比较形式文法与矢列演算中的效用。

论带反向引用的正则表达式的表达能力

On the Expressive Power of Regular Expressions with Backreferences

本文证明带反向引用的正则表达式（rewb）的语言均属于索引语言，严格改进其上界，并进一步刻画其与栈语言及非擦除栈语言的关系。

Strong Equivalence of TAG and CCG

Tree-adjoining grammar (TAG) and combinatory categorial grammar (CCG) are two well-established mildly context-sensitive grammar formalisms that are known to have the same expressive power on strings (i.e., generate the same class of string languages). It is demonstrated that their expressive power on trees also essentially coincides. In fact, CCG without lexicon entries for the empty string and only first-order rules of degree at most 2 are sufficient for its full expressive power.

用上下文无关位置语法规则解析超图

Parsing Hypergraphs using Context-Free Positional Grammars

本文提出了一种基于位置语法规则的超图解析方法，通过转换超边替换为带约束的位置语法规则，利用排列操作确定超边顺序，并揭示了生成与识别歧义的区别。

Linear Parsing Expression Grammars

PEGs were formalized by Ford in 2004, and have several pragmatic operators (such as ordered choice and unlimited lookahead) for better expressing modern programming language syntax. Since these operators are not explicitly defined in the classic formal language theory, it is significant and still challenging to argue PEGs' expressiveness in the context of formal language theory.Since PEGs are relatively new, there are several unsolved problems.One of the problems is revealing a subclass of PEGs that is equivalent to DFAs. This allows application of some techniques from the theory of regular gr…

带禁止的基本语法类

Basic Classes of Grammars with Prohibition

在形式语法和语言的背景下，开发了一个实用的自然语言建模和人机交互开发工具。本文介绍了一种新的形式文法--禁止文法。与传统的形式语法相比，禁止语法为自然语言的生成提供了更强有力的工具，更好地描述了语言学习的过程。在这里，我们研究的语言之间的关系所产生的不同的语法禁止的基础上，传统类型的形式语法，如上下文无关或上下文敏感的语法。此外，我们还比较了由不同的禁止文法生成的语言和由常规形式文法生成的语言。特别是，它表明，他们有本质上更高的计算能力和表达的可能性相比，传统的形式语法。因此，虽然传统的形式文法是递归和次递归算法，但许多禁止的文法是超递归算法。在这项工作中提出的结果是针对发展的人机交互，建模自然语言，授权的程序设计语言，计算机模拟，更好的软件系统，和递归理论。

用于并行解析的循环算符优先文法

Cyclic Operator Precedence Grammars for Parallel Parsing

本文提出增强版的循环算符优先文法，取消相等优先关系的非循环假设，使其表达能力等同于其他OPL形式化方法，并能生成适合并行解析的无界平坦子结构。

关于定义非正则语言的某些模型的扩展度

On the Degree of Extension of Some Models Defining Non-Regular Languages

本文综述了上下文无关文法和群上扩展自动机定义非正则语言的扩展度，并初步探讨了半透明字母有限自动机的类似度量。

约束输入的高性能生成

High-Performance Generation of Constrained Inputs

研究基于语言测试中生成带约束输入的问题，提出将语法定义转换为Rust类型及使用更好进化算法的方法，使原型FANDANGO-RS性能大幅提升，能解决复杂约束，每分钟为C编译器生成401个有效测试输入。

$O_2$是一种多上下文无关文法：一份便于实现与形式化的证明

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

针对现有$n$平衡语言的MCFG生成证明无法衍生经验证解析算法的问题，本文提出了$n\leq2$情形下全新的基础短证明，为实现$O_2$的经验证解析算法迈出实质一步。

System $F^μ_ω$ with Context-free Session Types

We study increasingly expressive type systems, from $F^μ$ -- an extension of the polymorphic lambda calculus with equirecursive types -- to $F^{μ;}_ω$ -- the higher-order polymorphic lambda calculus with equirecursive types and context-free session types. Type equivalence is given by a standard bisimulation defined over a novel labelled transition system for types. Our system subsumes the contractive fragment of $F^μ_ω$ as studied in the literature. Decidability results for type equivalence of the various type languages are obtained from the translation of types into objects of an appropriate …

通用上下文无关解析器的实证比较

An Empirical Comparison of General Context-Free Parsers

通过统一基准测试六种通用解析算法（CYK、Valiant、Earley、GLL、RNGLR、BRNGLR）及LL(1)和LR(1)基线，发现GLR家族在确定性文法上仅比LR(1)慢3倍，是通用解析器中性能最优且实用的默认选择。