Abstract
An algorithm is proposed that constructs a failure deterministic finite automaton in lockstep with the construction of a languageequivalent deterministic finite automaton. The states of both automata are assumed to be predefined and the failure deterministic finite automaton's symbol and failure transitions are randomised. It is guaranteed that the latter remains free of divergent failure cycles. The benefits are explained of using this algorithm to produce input data for testing algorithms that produce a language-equivalent FDFA from an arbitrary DFA.
Original language | English |
---|---|
Title of host publication | Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30 - December 5, 2015, Stellenbosch, South Africa |
Publisher | CEUR-WS.org |
Pages | 47-57 |
Number of pages | 11 |
Volume | 1552 |
Publication status | Published - 2015 |
Event | 1st Russian-South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30-December 5, 2015, Stellenbosch, South Africa - Stellenbosch, South Africa Duration: 30 Nov 2015 → 5 Dec 2015 |
Workshop
Workshop | 1st Russian-South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30-December 5, 2015, Stellenbosch, South Africa |
---|---|
Abbreviated title | RuZA 2015 |
Country | South Africa |
City | Stellenbosch |
Period | 30/11/15 → 5/12/15 |
Keywords
- Random Failure Deterministic Finite Automaton