电梯程序源代码，多线程，有效状态自动机。包含课件讲解。