arXiv 1208.50022012-08-24cs.FL

关于无状态确定下推自动机中有限下推字母的注记

A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata

Tomáš Masopust

摘要：

近年来，基于下推符号的数目，建立了无状态确定下推自动机可接受语言的无限层次结构。然而，用于层次结构的第n级的证明语言是在具有2（n-1）个元素的输入字母表上的。在本文中，我们改进了这一结果表明，一个二进制字母表是足以建立这个层次结构。由于我们的建设，我们解决了开放的问题，制定Meduna等人。然后，我们将这些结果扩展到m状态实时确定性下推自动机，所有m至少1。这样的m-状态确定性下推自动机层次的存在是开放的。

英文摘要：

Recently, an infinite hierarchy of languages accepted by stateless deterministic pushdown automata has been established based on the number of pushdown symbols. However, the witness language for the n-th level of the hierarchy is over an input alphabet with 2(n-1) elements. In this paper, we improve this result by showing that a binary alphabet is sufficient to establish this hierarchy. As a consequence of our construction, we solve the open problem formulated by Meduna et al. Then we extend these results to m-state realtime deterministic pushdown automata, for all m at least 1. The existence of such a hierarchy for m-state deterministic pushdown automata is left open.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

无状态概率下推系统的PCTL性质模型检测

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems

本文解决了无限状态系统概率验证的长期开放问题，证明了针对无状态概率下推系统（pBPA）的概率计算树逻辑（PCTL）模型检测一般是不可判定的。

2025-06-30cs.FLcs.LOmath.LO

含数据的高阶下推系统

Higher-Order Pushdown Systems with Data

我们提出了一个新的高阶下推自动机的扩展，它允许使用一个无限的字母表。新的自动机识别语言的数据字（而不是正常的话），旁边的每个字母从一个有限的字母表有一个数据值从一个无限的字母表。这些数据值可以加载到自动机的堆栈中，稍后与输入上的一些更远的数据值进行比较。我们引入这些自动机的主要目的是它们可以帮助分析正常自动机（没有数据）。作为一个例子，我们给出了一个证明，确定性自动机的崩溃可以识别更多的语言比确定性自动机没有崩溃。这个证明比无数据的情况更简单。我们还提出了一个假设，如何新的自动机模型可以与原模型的高阶下推自动机。

2012-10-09cs.FL

输入驱动下推自动机确定化的精确描述复杂度

Exact descriptional complexity of determinization of input-driven pushdown automata

本文精确刻画固定字母表上 NIDPDA 确定化的描述复杂度，给出状态数与栈符号数的最坏情形精确界，并以见证自动机证明。

2024-04-16cs.FL

确定下推自动机与一元语言

Deterministic pushdown automata and unary languages

从计算复杂性的角度研究了有限状态自动机对单字母表上的确定性下推自动机的模拟问题。我们表明，每个一元确定性下推自动机的大小s可以模拟一个确定性的有限自动机的状态数是指数的s。我们证明了这个模拟是紧的。此外，它的成本不能降低，即使它是由一个双向不确定自动机。我们还证明，有确定性下推自动机不能比有限自动机指数更简洁的一元语言。为了说明这一结果，我们研究了确定性下推自动机到上下文无关文法的转换。我们证明，在一元的情况下，所得到的语法中的变量的数量是严格小于在nonunary字母表的情况下所需的变量的数量。

2009-05-08cs.FL

可见下推自动机的最小化是NP完全的

Minimization of visibly pushdown automata is NP-complete

本文证明可见下推自动机最小化是NP完全的，通过引入浸入概念并证明其最小化NP完全性，再归约到原问题。

2020-02-12cs.FL

弱多重下推自动机的可达性问题

Reachability Problem for Weak Multi-Pushdown Automata

本文研究了多下推自动机的一个受限子类的可达性分析。我们假设自动机的控制状态是偏序的，并且自动机的所有转换都是相对于顺序向下的。我们证明了可达性问题的可判定性和向后可达集的可计算性。作为主要的贡献，我们确定相关的子类的可达性问题成为NP完全。这与无通信向量加法系统（无状态多下推自动机的特殊情况）的相同问题的复杂性相匹配。

2013-09-20cs.FLcs.LO

更多相关论文收起更多论文

下推自动机的Parikh图像

Parikh Image of Pushdown Automata

我们比较下推自动机（PDA的短）对其他表示。首先，我们表明，有一个家庭的PDA在一元字母表的$n$状态和$p \geq 2n + 4$堆栈符号，接受一个单一的长字，每一个等价的上下文无关文法需要$Ω(n^2(p-2n-4))$变量。这个家庭表明，经典的算法转换PDA到一个等效的上下文无关文法是最佳的，即使当字母表是一元。此外，我们观察到，语言等价和Parikh等价，它忽略了符号之间的顺序，这个家庭相吻合。我们的结论是，当假设这种较弱的等价性，转换算法也是最佳的。其次，Parikh定理激发了PDA与有限状态自动机的比较。特别是，同一个家庭的一元PDA给出了一个下界的状态数的每一个帕里克等价的有限状态自动机。最后，我们研究的情况下，一元确定性PDA。我们展示了一个新的建设转换成一个等价的上下文无关文法，达到最佳已知的界限一元确定性PDA。

2017-06-26cs.FL

输入驱动的双头下推自动机

Input-Driven Double-Head Pushdown Automata

我们介绍并研究了输入驱动的确定性和非确定性双头下推自动机。双头下推自动机是普通下推自动机的一个轻微的推广，它使用两个在公共输入带上以相反方向移动的输入头。在每一步中，移动一个头，如果头相遇，自动机决定接受。要求自动机以输入驱动的方式工作，要求每个输入符号唯一地定义下推存储上的操作（push，pop，state change）。通常，这是由输入字母表的分区建模的，称为签名。由于我们的自动机模型与两个头一起工作，要么两个头都尊重相同的签名，要么每个头都有自己的签名。这导致了两个变种的输入驱动双头下推自动机。从语言描述能力、闭包性质和决策问题等方面研究了输入驱动双头下推自动机上的诱导语言族。

2017-08-22cs.FL

下推自动机集中式PC系统的幂

The Power of Centralized PC Systems of Pushdown Automata

在（Csuhaj-Varj{ú} et. 2000），并且在它们的集中式变体中示出能够模拟非确定性单向多头下推自动机。一个声称的返回模式的逆模拟（Balan 2009）被证明是不完整的（Otto 2012），并提出了一种语言来将这些二度（下推自动机的数量）的PCPA与非确定性单向双头下推自动机分离。我们表明，建议的语言可以接受后者的计算模型。我们提出了一个不同的例子，在一个单一的字母表确实排除了模型之间的模拟的可能性。然后，通过证明它们是通用的，解决了关于在返回模式下工作的集中式PCPA的功率的公开问题。由于构造是可能的，使用系统的程度2，这也改善了以前的边界3生成所有递归可重复的语言。最后，PCPA被限制在这样一种方式，通过多头自动机的模拟是可能的。

2012-08-13cs.FL

加权$ω$ -下推自动机的三对构造

The Triple-Pair Construction for Weighted $ω$-Pushdown Automata

设S是完备星-Ω半环，Sigma是字母表.对于状态集为1的加权Ω-下推自动机P. n，n ≥ 1，证明了在完备半环-半模对（（S<<Sigma*>>）^nxn，（S<<Sigma^omega>>）^n）上存在一个混合代数系统，使得||P||是这个系统的解的一个分量。当基本半环是布尔半环或自然数半环（无穷大增广）时，我们证明了存在一个混合上下文无关文法，||P||.由P构造的混合上下文无关文法是著名的三元组构造的推广，现在称为Ω-下推自动机的三元对构造。

2017-08-22cs.FL

可见确定性上下文无关文法的被动模型学习

Passive Model Learning of Visibly Deterministic Context-free Grammars

本文提出PAPNI算法，将RPNI推广到可见确定性下推自动机，在已知字母表分解的前提下实现确定性上下文无关文法的被动学习，并通过实验验证其预测准确率优于RPNI。

2025-08-22cs.FL

一元下推自动机与直线程序

Unary Pushdown Automata and Straight-Line Programs

我们考虑一元字母表上的确定性下推自动机（简称udpda）的决策问题。Udpda是一种简单的计算模型，它完全接受一元正则语言，但比有限状态自动机更简洁。我们完成了udpda的复杂性景观表明，空性（从而普遍性）是P-硬，等价和压缩的成员资格问题是P-完全的，包含是coNP-完全的。我们的上限是基于一个翻译定理之间的udpda和直线程序的二进制字母表（SLP）。我们发现，任何udpda的特征序列可以表示为一对SLP-一个前缀，一个套索-具有线性的大小的udpda的大小，可以在多项式时间计算。因此，udpda上的决策问题被简化为SLP上的决策问题。相反，任何SLP都可以在对数空间中转换为udpda，这构成了我们的下界证明的基础。我们展示了SLP的有序匹配问题的CoNP-硬度，从中我们推导出包含的CoNP-硬度。此外，我们完成了一元不确定下推自动机的复杂性景观显示的普遍性问题是$Π_2 \mathrm P$硬，使用一类新的整数表达式。我们的技术有超越udpda的应用。我们表明，我们的研究结果意味着$Π_2 \mathrm P$ -完整的Presburger算法和压缩匹配问题与一个字符的通配符的coNP下界的自然片段。

2014-03-03cs.CCcs.FL

可见下推自动机判定的一个紧界

A Tighter Bound for the Determinization of Visibly Pushdown Automata

可视下推自动机（VPA）是下推自动机的一个子类，它的堆栈行为完全由输入符号按照输入字母表的固定划分来决定。自其引入以来，VPA已被证明在各种情况下是有用的，例如，作为验证的规范形式主义和处理XML流的自动机模型。然而，由于复杂性高，基于VPA框架的形式化验证的实现是一个挑战。在本文中，我们考虑的问题，实现基于VPA的模型检验算法。为此，我们首先提出了一个改进的上限确定VPA。接下来，我们提出简单的动态算法来检查该自动机类的普适性和包含问题。然后，我们在一个原型工具中实现了所提出的算法。最后，我们对随机生成的VPA进行了实验。实验结果表明，所提出的算法是相当快的比标准的。

2009-11-17cs.FLcs.LO

高阶计数器的可达性

Reachability in Higher-Order-Counters

高阶计数器自动机（\HOCS）可以被看作是高阶下推自动机（\HOPS）对一元堆栈字母表的限制，也可以被看作是计数器自动机向更高级别的扩展。我们区分两种主要类型的\HOCS：那些可以测试最上面的计数器值是否为零和那些不能。我们表明，控制状态可达性水平$k$ \HOCS与$0$测试是完整的\mbox{$(k-2)$}倍指数空间，省略$0$测试导致\mbox{$(k-2)$}倍指数时间的完整性。限制\HOCS（没有$0$测试）水平$2$，我们证明了全球（向前或向后）的可达性分析是$\PTIME$ -完成。这增强了下推系统的已知结果，该下推系统被包含在水平$2$ \HOCS中而没有$0$检验。我们把我们的结果转移到形式语言的设置。假设$\PTIME \subsetneq \PSPACE \subsetneq \mathbf{EXPTIME}$，我们应用Engelfriet的证明思想，得出\HOPS和\HOCS的语言层次形成严格交错的层次的结论.有趣的是，Engelfriet的结构也允许立即得出结论，可折叠下推语言的层次结构是严格的逐层，由于可折叠下推图上的可达性的现有复杂性结果。这回答了Parys和Kobayashi独立提出的一个开放性问题。

2013-06-05cs.FL

向下闭包比较的复杂性

The complexity of downward closure comparisons

语言的向下闭包是其成员的所有（不一定是连续的）子词的集合。众所周知，任何语言的下闭包都是正则的。此外，最近的结果表明，向下闭包是可计算的相当强大的系统模型。通过向下闭包抽象语言的一个优点是等价和包含变得可判定。在这项工作中，我们研究这两个问题的复杂性。更确切地说，我们考虑以下决策问题：给定语言$K$和$L$类$\mathcal{C}$和$\mathcal{D}$，分别，是否向下封闭的$K$包括（等于），$L$？这些问题的有限自动机，单计数器自动机，上下文无关文法，和反向有界计数器自动机。对于每个组合，我们证明了一个完整的结果，无论是固定或任意字母。此外，对于Petri网语言，我们表明，这两个问题是阿克曼困难和高阶下推自动机的顺序~ $k$，我们证明了硬度的补充不确定性$k$倍指数时间。

2016-05-10cs.FL

识别加权树邻接语言的高效算法

Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages

ETH Zürich（苏黎世联邦理工学院）；University of Notre Dame（圣母大学）

本文为树邻接语言的两层形式化方法定义了半环加权版本，设计了计算 stringsum 和 allsum 的新算法，在 LIG 和 EPDA 上显著提升了时空效率，并首次给出了 PAA 算法。

2023-10-23cs.CLcs.FL

状态确定型有限自动机与带半透明字母的有限自动机

State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters

本文研究带透明字母的状态确定型有限自动机，并提出允许透明与可转移字母重叠的新模型，增强表达能力，实现对先前模型的适当推广。

2023-09-06cs.FL