5.3 自动机对抗自动机