State complexity of projected languages
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Descriptional complexity of determinization and complementation for finite automata
CATS '11 Proceedings of the Seventeenth Computing: The Australasian Theory Symposium - Volume 119
Descriptional complexity of determinization and complementation for finite automata
CATS 2011 Proceedings of the Seventeenth Computing on The Australasian Theory Symposium - Volume 119
Hi-index | 0.00 |
A number 驴, in the range from n to 2 n , is magic for n with respect to a given alphabet size s, if there is no minimal nondeterministic finite automaton of n states and s input letters whose equivalent minimal deterministic finite automaton has 驴 states. We show that in the case of a ternary alphabet, there are no magic numbers. For all n and 驴 satisfying that $n \leqslant \alpha \leqslant 2^n$, we describe an n-state nondeterministic automaton with a three-letter input alphabet that needs 驴 deterministic states.