@第{zbMATH06261403条，作者={Delahaye，Beno{^{i}}t和Larsen，Kim G.和Legay，Axel}，标题={抽象概率自动机结巴}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={83}，数字={1}，页码={1--19}，年份={2014}，语言={英语}，DOI={10.1016/j.jlap.2013.05.006}，关键词={68Q45,03B45,03D05,68Q60}，zbMATH={6261403}，Zbl={1283.68193}}