@第{zbMATH07265470条，作者={Jan{\v{c}}ar，Petr}，标题={下推自动机通过一阶文法的等价}，FJournal={计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.}，ISSN={0022-0000}，体积={115}，页码={86--112}，年份={2021}，语言={英语}，DOI={10.1016/j.jcss.2020.07.004}，关键词={68Q45,68Q42,68Q85}，zbMATH={7265470}，Zbl={1477.68153}}