@第{zbMATH07800876条，作者={Kouck{'y}，Michal}，Title={自动化和形式语言：我们应该放弃它们吗？}，FJournal={欧洲理论计算机科学协会公报}，日志={Bull.Eur.Assoc.Theor.Comput.Sci.EATCS}，ISSN={0252-9742}，体积={140}，页码={80--87}，年份={2023}，语言={英语}，关键词={68Q45,97P20}，URL={bulletin.eatcs.org/index.php/beatcs/article/view/759/805}，zbMATH={7800876}，Zbl={1529.68143}}