线性有序数据域上寄存器自动机的Church综合——Archive ouverte HAL Accéder directment au contenu公司
通信Dans Un Congrès 安妮：2021

线性有序数据域上寄存器自动机的Church综合

Résumé

寄存器自动机是配备有一组有限寄存器的有限自动机，它们可以在其中存储数据，即来自无界或无限字母表的元素。它们提供了一种简单的形式来指定在数据ω字上运行的反应系统的行为。我们研究线性有序数据域（例如（N，≤）或（Q，≤））上作为寄存器自动机给出的规范的综合问题，该问题允许对线性有序数据进行比较。为此，我们将经典的Church合成游戏扩展到无限个字母表：两个玩家Adam和Eve交替播放一些数据，Eve在他们的交互符合规范时获胜，规范是一种ω-单词对有序数据的语言。然而，这样的游戏是不可判定的，即使规范被确定性的寄存器自动机识别。这与等式情况相反，在等式情况下，问题只对不确定的通用规范是无法确定的。因此，我们研究单边教会游戏，夏娃在有限的字母表上操作，而亚当仍在操作数据。我们证明了它们是确定的，并且对于Q和N，决定是否存在获胜策略是在ExpTime中。这是基于对约束序列的研究，该约束序列抽象了寄存器自动机的行为，并允许我们将Church对策简化为ω-正则对策。最后，我们将这些结果应用于输入驱动的寄存器自动机的换能器综合问题，其中每个输出数据都被限制为某个寄存器的内容，并表明如果存在一个实现，则存在一个寄存器换能器。

与葡萄园

Théorie et langage formel[法语]
菲奇尔校长
小品小品
2004.12141.pdf（1.02个月） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

莱奥·埃西巴德 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-03409588

Soumis le:2021年10月29日至18:15:04

德尼埃修改le:lundi 10 juin 2024-16:50:19

长期档案馆：伦迪31 janvier 2022-09:36:14

Télé充电器倒可视化

日期和版本

哈尔-03409588， 版本1 （2021年10月29日）

身份证明人

Citer公司

莱奥·埃西巴德、艾曼纽尔·菲利奥特、阿伊拉特·哈利莫夫。线性有序数据域上寄存器自动机的Church综合。STACS 2021标准2021年3月，德国萨尔布吕肯。⟨10.4230/LIPIcs。STACS.2021.54⟩.⟨哈尔-03409588⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

UNIV-TLN公司 中国科学院 UNIV-AMU公司 LIS-LAB公司 INCIAM公司
15 咨询
34 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 乳臭虫 脸谱网 X（X） 领英 更多