关于通用有限或下推自动机存在性

摘要:对一些自动机类别(如有限自动机和下推自动机)的通用自动机的存在性进行了研究,特别关注了表示和编码函数的影响。同时还提出了一种使用转移系统的替代方法。

作者:Manfred Kudlek (Universit"at Hamburg)

论文ID:1207.7149

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2012-08-01

PDF 下载: 英文版 中文版pdf翻译中