An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata

Authors

  • Madoda Nxumalo University of Pretoria
  • Derrick G Kourie University of Stellenbosch,
  • Loek Cleophas University of Stellenbosch
  • Bruce W Watson University of Stellenbosch

DOI:

https://doi.org/10.18489/sacj.v29i1.456

Keywords:

Failure deterministic finite automata, random automata

Abstract

Failure deterministic finite automata (FDFAs) represent regular languages more compactly than deterministic finite automata (DFAs). Four algorithms that convert arbitrary DFAs to language-equivalent FDFAs are empirically investigated. Three are concrete variants of a previously published abstract algorithm, the DFA-Homomorphic Algorithm (DHA). The fourth builds a maximal spanning tree from the DFA to derive what it calls a delayed input DFA. A first suite of test data consists of DFAs that recognise randomised sets of finite length keywords. Since the classical Aho-Corasick algorithm builds an optimal FDFA from such a set (and only from such a set), it provides benchmark FDFAs against which the performance of the general algorithms can be compared. A second suite of test data consists of random DFAs generated by a specially designed algorithm that also builds language-equivalent FDFAs, some of which may have non-divergent cycles. These random FDFAs provide (not necessarily tight) lower bounds for assessing the effectiveness of the four general FDFA generating algorithms.

Author Biographies

Madoda Nxumalo, University of Pretoria

FASTAR Research Group Department of Computer Science

Derrick G Kourie, University of Stellenbosch,

FASTAR Research Group Department of Information Science, Centre for Artificial Intelligence Research, CSIR

Loek Cleophas, University of Stellenbosch

FASTAR Research Group Department of Information Science, Software Engineering Technology group, Department of Mathematics and Computer Science, Eindhoven University of Technology

Bruce W Watson, University of Stellenbosch

FASTAR Research Group Department of Information Science, Centre for Artificial Intelligence Research, CSIR

Downloads

Additional Files

Published

2017-07-08

Issue

Section

Research Papers (general)