一个轻量级、面向对象的Python有限状态机实现