Eggan's theorem

== English == === Proper noun === Eggan's theorem 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.