Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets

DOI10.1007/978-3-662-53132-7_2MaRDI QIDQ2817372zbMATH OpenOpenAlexFDO

Authors Nicolas Bedon

Publication date 30 August 2016

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-53132-7_2

zbMATH Keywords

automatacommutative monoidsseries-parallel posetsSP-rational languagestransfinite N-free posets

Mathematics Subject Classification ID

Partial orders, general (06A06) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45)

Recommendations

• Complementation of Branching Automata for Scattered and Countable N-Free Posets
• scientific article; zbMATH DE number 1136090
• Series-Parallel Languages on Scattered and Countable Posets
• Series-parallel languages on scattered and countable posets
• Combinatorics of branchings in higher dimensional automata
• scientific article; zbMATH DE number 2087225
• Equational Theories of Scattered and Countable Series-Parallel Posets
• Towards automata for branching time and partial order

Cites work

• AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
• Automata on linear orderings
• COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Elements of automata theory. Translated from the French by Reuben Thomas
• Factorization forests for infinite words and applications to countable scattered linear orderings
• scientific article; zbMATH DE number 1670860 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 1302032 (Why is no real title available?)
• scientific article; zbMATH DE number 1136090 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 3329919 (Why is no real title available?)
• Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
• Logic and Branching Automata
• Optimal Linear Extensions by Interchanging Chains
• Rational sets in commutative monoids
• Rationality in algebras with a series operation
• Series-parallel languages and the bounded-width property
• Series-parallel languages on scattered and countable posets
• The Recognition of Series Parallel Digraphs
• Towards a language theory for infinite N-free pomsets.

Cited in

(2)

• Two equational theories of partial words
• Complementation of Branching Automata for Scattered and Countable N-Free Posets

This page was built for publication: Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817372)