计算工程-实用自动机理论与逻辑GaneshGopalakrishnan.ComputationEngineering-AppliedAutomataTheoryandLogic.Springer.2006