theory Myhill
  imports Myhill_2
begin

section {* Direction @{text "regular language \<Rightarrow>finite partition"} *}

text {*
  It is now the time for use to discuss further about the way.
  *}

end