Samenvatting
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 deriving 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 modification to the classical DFA’s algorithm for recognising language elements yields a corresponding algorithm for an FDFA.
Originele taal-2 | Engels |
---|---|
Titel | Proceedings of the Prague Stringology Conference 2012 (PSC 2012, Prague, Czech Republic, August 27-28, 2012) |
Redacteuren | J. Holub, J. Zdarek |
Plaats van productie | Prague |
Uitgeverij | Czech Technical University in Prague |
Pagina's | 28-41 |
ISBN van geprinte versie | 978-80-01-05095-8 |
Status | Gepubliceerd - 2012 |