书籍 — finite state machines