@文章{zbMATH03566765，作者＝｛Machner，Joachim和Stra｛\ss｝ner，Karl｝，标题={Kongruenzverb{\“a}nde自动机{Semiautomaten}}，FJournal={Elektronische信息verarbeitung und Kybernetik}，日志={Elektron.Informationsverarbeitung Kybernetik}，ISSN={0013-5712}，体积={13}，页码={137--146}，年份={1977年}，语言={德语}，关键词={68Q45,06B05}，zbMATH={3566765}，Zbl={0363.94058}}