revision of chapter on finite state machines