Failure deterministic finite automata
Derrick G. Kourie, Bruce W. Watson, Loek Cleophas, Fritz Venter, J. Holub, J. Zdarek · TU/e Research Portal · 2012
Abstract. Inspired by failure functions found in classical pattern matching algorithms, a failure deterministic finite automaton (FDFA) is defined as a formalism to recognise a regular language. An algorithm, based on formal concept analysis, is proposed for de-riving from a given deterministic finite automaton (DFA) a language-equivalent FDFA. The FDFA’s transition diagram has fewer arcs than that of the DFA. A small mod-ification to the classical DFA’s algorithm for recognising language elements yields a corresponding algorithm for an FDFA.