|
2
|
A.: An n log n algorithm for hyper-minimizing a (minimized) deterministic automaton
– Markus Holzer, Andreas Maletti
- 2010
|
|
|
Better Hyper-Minimization Not as Fast, but Fewer Errors
– Andreas Maletti
|
|
5
|
Finding lower bounds for nondeterministic state complexity is hard (extended abstract)
– Hermann Gruber, Markus Holzer
- 2006
|
|
3
|
An n log n Algorithm for Hyper-Minimizing States in a (Minimized) Deterministic Automaton
– Markus Holzer, Andreas Maletti
- 2009
|
|
5
|
Communication Complexity Method for Measuring Nondeterminism in Finite Automata
– Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert
- 2000
|
|
7
|
Descriptional Complexity of Machines with Limited Resources
– Jonathan Goldstine, Martin Kappes, Chandra M. R. Kintala, Hing Leung, Andreas Malcher, Detlef Wotschke
- 2002
|
|
1
|
An introduction to the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions
– Bruce Watson
- 1994
|
|
1
|
Grail: Engineering Automata in C++
– Darrell R. Raymond, Derick Wood
- 1993
|
|
3
|
The design and implementation of the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions
– Bruce Watson
- 1994
|
|
15
|
AUTOMATE, a computing package for automata and finite semigroups
– Jean-Marc Champarnaud, G. Hansel
- 1991
|
|
19
|
Grail: A C++ Library for Automata and Expressions
– Darrell Raymond , Derick Wood
- 1995
|
|
2
|
Linked State Machines: Definition and Analysis
– Harold K. Knudsen, Copyright Harold, K. Knudsen
- 1991
|
|
|
Nonterminal Complexity of Some Operations on Context-Free Languages
– Jürgen Dassow, Ralf Stiebe, Otto-von-guericke-universität Magdeburg
|
|
1
|
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other
– Markus Holzer, Barbara König
|
|
4
|
Separating Exponentially Ambiguous Finite Automata from Polynomially Ambiguous Finite Automata
– Hing Leung
- 1998
|
|
20
|
State Complexity of Regular Languages
– Sheng Yu
- 2000
|
|
|
Does Matter Exist? Maybe... But, Does Existence Matter?
– Joshua J. Arulanandham
|
|
|
A Taxonomy of Keyword Pattern Matching Algorithms
– Mrs F. Van Neerven, B. W. Watson, G. Zwaan
- 1992
|
|
|
Validation
– Are Software
|
