形式语言与自动机¶ 清华大学软件学院，2022年春季学期 Tools and Resources¶ John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman - Introduction to Automata Theory, Languages, and Computation (3rd edition) How to draw a FSM elegantly: https://madebyevan.com/fsm/