@第{zbMATH07304648条，作者={Clemente，Lorenzo and Lasota，S{\l}awomir}，标题={定时下推自动机的可达性关系}，FJournal={计算机与系统科学杂志}，Journal＝{计算机系统科学}，ISSN={0022-0000}，体积＝{117}，页码={202--241}，年份={2021}，语言={英语}，DOI={10.1016/j.jcss.2020.11.003}，关键词={68Q45,03B70,03D05,03F30,68Q60}，zbMATH={7304648}，Zbl={1484.68079}}