摘要:对一些自动机类别(如有限自动机和下推自动机)的通用自动机的存在性进行了研究,特别关注了表示和编码函数的影响。同时还提出了一种使用转移系统的替代方法。
作者:Manfred Kudlek (Universit"at Hamburg)
论文ID:1207.7149
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2012-08-01
PDF 下载: 英文版 中文版pdf翻译中