霍茨，G。 自动化理论和形式Sprachen。 （德语） Zbl 0411.68046号 棒球手套。数学。格式。DDR公司 1977年，第4期，23-63页（1977年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三文件 MSC公司： 65年第68季度 形式语言和自动机 68-02 与计算机科学有关的研究展览会（专著、调查文章） 18B20型 机器、自动机的类别 65年第68季度 算法和问题复杂性分析 60年第68季度 规范和验证（程序逻辑、模型检查等） 20毫米35 自动机理论、语言学等中的半群。 68N20型 编译与解释理论 03D40号 可计算性和递归理论中的单词问题等 关键词：自动机范畴理论;调查;自治自动机;关系的计算;计算的时间和空间复杂性度量;程序的语法正确性;形式级数;解析的复杂性;工作问题 PDF格式BibTeX公司 XML格式引用 \textit{G.Hotz}，米特。数学。格式。DDR 1977年，第4期，第23--63号（1977年；Zbl 0411.68046）