5.4 下推自动机应用实例