eggans_theorem (351B)
1 # Eggan's theorem 2 3 https://en.wikipedia.org/wiki/Star_height#Eggan's_theorem 4 https://en.wikipedia.org/wiki/Cycle_rank#Star_height_of_regular_languages 5 6 [theorem]: The [star_height] of a [regular_language] L equals the minimum [cycle_rank] among all [automata_nondeterministic] with [epsilon_transition] accepting L. 7 8 Up: [theorem], [regular_language]