自动机应用实例