@第{zbMATH07096570条，作者={库特里布、马丁和马尔彻、安德烈亚斯和温德兰特、马提亚斯}，标题={用有限状态机可逆转换}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={787}，页码={111--126}，年份={2019}，语言={英语}，DOI={10.1016/j.tcs.2019.06.021}，关键词={68Q45}，zbMATH={7096570}，Zbl={1429.68122}}