@收款{zbMATH07631339，作者={Jan{{c}}ar，Petr和Mr{a}z，Franti{s}ek和Pl{a}tek，Martin和Vogel，J{“o}rg}，标题={重新启动自动机}，BookTitle={计算理论基础，第十届国际会议，FCT’95，德国德累斯顿，1995年8月22-25日。诉讼}，国际标准图书编号={3-540-60249-6}，页码={283--292}，年份={1995}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-60249-6_60}，关键词={68Q45}，zbMATH={7631339}，Zbl={1508.68194}}