迈克尔·多马拉茨基 更多关于轨迹的文字。 (英语) Zbl 1169.68465号 牛。欧洲协会。计算。科学。EATCS公司 86, 107-145 (2005). 引用于5文件 MSC公司: 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki},公牛。欧洲协会。计算。科学。EATCS 86、107--145(2005年;Zbl 1169.68465)