A lower bound technique for the size of nondeterministic finite automata. - Glaister, Ian
Keywords: Formal languages; Nondeterministic finite automata; Lower bound