自动机概况使用Linux开发环境的程序员一定使用过sed、grep、lex等Linux系统工具，sed、grep是Linux中重要的数据流搜索与处理工具，Lex是linux下广泛使用的词法分析器生成器，用于复杂语言的解析、编译器前端的开发等。尽管这些Linux系统工具功能各异，但这些工具内部都实现了一个自动机，用于对输入预料进行基于正则表达式的文本搜索。自动机则是正则表达式的等价实现。从计算理论上讲，正则表达式与自动机具有理论上的严格等价性，正则表达式和自动机具有等价的对匹配模式的定义能力。正则表达式是匹配模式的形式化表达，自动机则是对匹配模式的计算机实现的一种表达。安全检测与防护领域的入侵检