Rule Matching and Automata Conversion Algorithms

Algorithms that work on networks of rules, patterns or states to decide what matches or what a machine accepts. The Rete algorithm is a pattern matching algorithm for rule-based systems that applies many rules to many facts efficiently and determines which rules should fire, and Kleene's algorithm transforms a nondeterministic finite automaton into a regular expression. An algorithm belongs here when its cited article describes matching rules or patterns over facts, or converting between automata and expressions. It excludes algorithms that search for substrings in text, which sit with the string searching algorithms.