it is shown that if a is an integer which can be expressed as 2(k) or 2(k)
+ 1 for some integer 0 less than or equal to k less than or equal to n/2 -
2, then there exist nondeterministic finite automata with n states whose eq
uivalent deterministic finite automata need exactly 2(n)-alpha states. (C)
2000 Elsevier Science B.V. All rights reserved.