Name
Abstract | ||
|---|---|---|
In this paper we define a new descriptional complexity measure for Deterministic Finite Automata, BC-complexity, as an alternative to the state complexity. We prove that for two DFAs with the same number of states BC-complexity can differ exponentially. In some cases minimization of DFA can lead to an exponential increase in BC-complexity, on the other hand BC-complexity of DFAs with a large state space which are obtained by some standard constructions (determinization of NFA, language operations), is reasonably small. But ourmain result is the analogue of the "Shannon effect" for finite automata: almost all DFAs with a fixed number of states have BC-complexity that is close to the maximum. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.4204/EPTCS.151.24 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Discrete mathematics,Boolean circuit,Combinatorics,Exponential function,Deterministic finite automaton,Finite-state machine,Minification,DFA minimization,Regular language,State space,Mathematics | Journal | 151 |
ISSN | Citations | PageRank |
2075-2180 | 1 | 0.40 |
References | Authors | |
3 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maris Valdats | 1 | 20 | 1.64 |