对应IntroductiontoAutomataTheory,LanguagesandComputation