Deterministic Finite-State Machines
摘要
This chapter introduces deterministic finite-state machines. In addition, it presents a design recipe for state machines. This chapter also discusses how to prove the correctness of a deterministic finite-state machine for a given language.