Eggan's theorem (English, name)
expansion: Eggan's theorem
Senses:
glosses: A theorem stating that the star height of a regular language L equals the minimum cycle rank among all nondeterministic finite automata with ε-transitions accepting L.
Forms: