有向图的变异——对应的正则表达式及其生成的复杂度
摘要：有向图在传统上被解释为状态转换图，常用于表示有限状态自动机。在形式语言的背景下，有限状态自动机 (FSA) 和正则表达式 (RE) 在接受和生成类型3（正则）语言方面是等价的。本文分析了图操作对相应的正则表达式的影响，基于我们之前的工作。在这个起始阶段，我们假设所考虑的有向图不包含循环。通过删除或插入节点或弧，进行图操作。这些基本操作的组合和/或多次应用可以实现对有向图（及其相应的正则表达式）的各种变换，这些变换可以看作是原始有向图（及其相应的正则表达式）的变异体。有向图在建模复杂系统方面非常受欢迎；然而，如果所考虑的系统复杂和/或庞大，它们很容易变得难以处理。在这种情况下，我们建议转为相应的正则表达式，以便从它们的紧凑格式进行建模，并利用其代数操作进行分析。研究结果对变异测试具有潜在的重要意义。
作者：Fevzi Belli and Mutlu Beyazit
论文ID：0907.5055
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-30