push-down automation

【计】 下推自动机
在线英汉词典
相关词语