正则表达式的导数

克利尼的正则表达式可以用于描述顺序电路，它是通过在序列集合上使用三种运算符（并、连接和迭代）来定义的。如果通过包含其他逻辑运算来丰富语言，问题的文字描述就可以更容易地转化为正则表达式语言。然而，在将正则表达式描述转换为状态图的问题中，现有的方法要么无法处理带有附加运算符的表达式，要么因这些运算符的存在而复杂化。本文引入了正则表达式的导数概念，并讨论了导数的性质。这以非常自然的方式导致了从包含任意数量逻辑运算符的正则表达式构造状态图。