@第{zbMATH01857061条,作者={Ibarra,Oscar H.和Su,Jianwen},标题={用其他数据结构扩充离散时间自动机。},FJournal={理论计算机科学},期刊={Theor.Comput.Sci.},ISSN={0304-3975},体积={289},数字={1},页码={191--204},年份={2002},语言={英语},DOI={10.1016/S0304-3975(01)00269-9},关键词={68Q45,68Q60,68Q85},zbMATH={1857061},Zbl={1061.68094}}