Chains and Superchains for ω-Rational Sets, Automata and Semigroups

Author:

Carton Olivier1,Perrin Dominique1

Affiliation:

1. Institut Gaspard Monge, Université de Marne-la-Vallée, 2, rue de la butte verte, 93166 Noisy le Grand Cedex, France

Abstract

We introduce several equivalent notions that generalize ones introduced by Klaus Wagner for finite Muller automata under the name of chains and superchains. We define such objects in relation to ω-rational sets, Muller automata or also ω-semigroups. We prove their equivalence and derive some basic properties of these objects. In a subsequent paper, we show how these concepts allow us to derive a new presentation of the hierarchy due to K. Wagner and W. Wadge.

Publisher

World Scientific Pub Co Pte Lt

Subject

General Mathematics

Cited by 23 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Classifying $$\omega $$-Regular Aperiodic k-Partitions;Descriptional Complexity of Formal Systems;2020

2. A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES;LOG METH COMPUT SCI;2018

3. Topological Complexity of Context-Free ω-Languages: A Survey;Lecture Notes in Computer Science;2014

4. The Wadge Hierarchy of Petri Nets ω-Languages;Logical Foundations of Computer Science;2013

5. A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II;RAIRO - Theoretical Informatics and Applications;2009-03-12

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3