Affiliation:
1. LuFG Mathematische Grundlagen der Informatik, RWTH Aachen, D-52056 Aachen, Germany
Abstract
In 1997, following the works of Klaus W. Wagner on ω-regular sets, Olivier Carton and Dominique Perrin introduced the notions of chains and superchains for ω-semigroups. There is a clear correspondence between the algebraic representation of each of these operations and the automata-theoretical one. Unfortunately, chains and superchains do not suffice to describe the whole Wagner hierarchy. We introduce a third notion that completes the task undertaken by these two authors.
Publisher
World Scientific Pub Co Pte Lt
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献