确定性加权实时单计数器自动机的等价性
形式语言与自动机理论
2024-11-19 v2
摘要
本文引入了确定性加权实时单计数器自动机(DWROCA)。DWROCA是一种确定性实时单计数器自动机，其转移被赋予一个域中的权重。两个DWROCA是等价的，如果其中一个接受的每个词都被另一个以相同的权重接受。DWROCA是具有计数器确定性的加权单计数器自动机的一个子类。已知该模型的等价性问题属于P类。本文给出了一个更简单的证明和一个更好的多项式时间算法，用于检查两个DWROCA的等价性。
引用
@article{arxiv.2411.03066,
title = {Equivalence of Deterministic Weighted Real-time One-Counter Automata},
author = {Prince Mathew and Vincent Penelle and Prakash Saivasan and A. V. Sreejith},
journal= {arXiv preprint arXiv:2411.03066},
year = {2024}
}
备注
14 pages, 4 figures