@第{zbMATH07020141条，作者={Hansen、Helle Hvid和Rutten，Jan}，Title={从算术比特流函数{Mealy}机器的符号合成}，FJournal={计算机科学科学年鉴}，期刊={Sci.Ann.Compute.Sci.}，ISSN={1843-8121}，体积={20}，页码={97--130}，年份={2010}，语言={英语}，关键词={68Q45}，zbMATH={7020141}，Zbl={1424.68086}}