正则表达式与发夹表达式的双侧导数

本文旨在设计正则语言发夹补全的有限识别器的多项式构造方法。这是通过将补全视为新的表达式算子，并将求导技术应用于被称为发夹表达式的相关扩展表达式来实现的。更准确地说，我们将正则表达式的偏导数扩展为发夹表达式的双侧偏导数，并展示了如何从其双侧导出项自动机推导出针对发夹表达式的识别器，从而为正则语言的发夹补全是线性上下文无关的这一事实提供了一种替代证明。