@第{zbMATH05013335条，作者={Boja{'n}czyk，Miko{l}aj和Colcombet，Thomas}，标题={无法确定树行走自动机}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={350}，数字={2-3}，页码={164--173}，年份={2006}，语言={英语}，DOI={10.1016/j.tcs.2005.10.31}，关键词={68Q45}，zbMATH＝{5013335}，Zbl={1086.68070}}