IntrotoAutomataTheory,LanguagesandComputationbyJohnEHopcroft,JeffreyDUllman