Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

Natsuki Urabe; Ichiro Hasuo

doi:10.1007/978-3-030-00389-0_12

通信Dans Un Congrès 年鉴：2018

基于函数交替不动点的范畴Büchi和奇偶条件

(1),(2)

1
2

Natsuki Urabe公司

功能：奥特尔
人员ID:1043057

东京大学

Hasuo一郎

功能：奥特尔
人员ID:772794
ORCID代码：0000-0002-8300-4650

国家信息学研究所

Résumé

递归数据结构及其相关推理原理的分类研究主要集中在两个极端：初始代数和归纳，以及最终余代数和共归纳。在本文中，我们研究了它们之间的关系。我们使用类似于自由单子的结构形式化了函子交替不动点的概念。我们发现它们用于在Büchi和奇偶接受条件下接受运行树的分类建模。这种建模从自动机的状态中抽象出来；因此，它可以被认为是具有Büchi或奇偶条件的系统的“行为”，以一种遵循系统行为联合建模传统的方式。

与葡萄园

信息[cs]

菲奇尔校长

473364_1_En_12_章.pdf（468.52 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

哈尔·伊菲普 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-02044648

Soumis le:jeudi 21 février 2019-15:41:21

Dernière修改日期：lundi 17 mai 2021-12:00:05

长期存档：jeudi 23 mai 2019-00:03:54

日期和版本

哈尔-02044648，版本1 (21-02-2019)

执照

父爱

身份证明人

HAL Id： hal-02044648，版本1
DOI（操作界面）： 10.1007/978-3-030-00389-0_12

Citer公司

Natsuki Urabe、Ichiro Hasuo。通过函数交替不动点的分类Büchi和奇偶条件。第十四届计算机科学协同算法国际研讨会（CMCS）2018年4月，希腊塞萨洛尼基。第214-234页，⟨10.1007/978-3-030-00389-0_12⟩.⟨哈尔-02044648⟩

出口商

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

IFIP-LNCS公司国际投资促进会 IFIP-TC公司 IFIP-TC1 IFIP-WG1-3 IFIP-CMCS公司 IFIP-LNCS-11202

73 磋商

149 交易费用