使用Mealy机实现完全正则表达式匹配的报告
摘要：使用正则表达式匹配是在数据流中查找模式的一种强大机制，但是一般的正则表达式引擎只能找到不重叠的匹配。此外，常常使用不同形式的非确定性探索，其中读取的符号被处理多次，这在实时匹配中可能代价高昂。我们提出了一种算法，该算法可以根据任何正则表达式构建一个Mealy机器，该机器可以找到所有匹配，并且在读取每个输入符号时只处理一次。计算出的机器还可以检测和区分模式内的不同模式或子模式。此外，我们展示了如何通过一种DFA最小化的变体计算出最小的Mealy机器，通过将Mealy机器形式化为正则语言。
作者：Ricardo Almeida
论文ID：2206.04944
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-13