有关无状态确定性下推自动机中有限压栈字母的注记
摘要：无状态确定下推自动机可接受的语言的层次结构被建立在下推符号数量上。然而，该层次结构的第n级的证明语言是在拥有2(n-1)个元素的输入字母表上。本文通过展示二进制字母表足以建立该层次结构来改善这一结果。作为我们构造的结果，我们解决了由Meduna等人提出的开放问题。然后，我们将这些结果扩展到m状态实时确定下推自动机，其中m至少为1。对于m状态确定下推自动机是否存在这样的层次结构仍然是开放问题。
作者：Tom''av{s} Masopust
论文ID：1208.5002
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-08-27