eggans_theorem (311B)
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 [NFA_epsilon] accepting L. 7 8 Up: [theorem], [regular_language]