Complementation of Branching Automata for Scattered and Countable N-Free Posets

DOI10.1142/S0129054118420042MaRDI QIDQ4683231zbMATH OpenOpenAlexWikidataFDO

Authors Nicolas Bedon

Publication date 20 September 2018

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054118420042

zbMATH Keywords

automatacommutative monoidsseries-parallel posetssp-rational languagestransfinite \(N\)-free posets

Mathematics Subject Classification ID

Partial orders, general (06A06) Formal languages and automata (68Q45)

Cites work

• A logical calculus of the ideas immanent in nervous activity
• AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
• Automata on linear orderings
• Bounded Algol-Like Languages
• Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
• COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decision Problems of Finite Automata Design and Related Arithmetics
• Factorization forests for infinite words and applications to countable scattered linear orderings
• Finite automata and the logic of one-place predicates
• Generalized finite automata theory with an application to a decision problem of second-order logic
• scientific article; zbMATH DE number 1670860 (Why is no real title available?)
• scientific article; zbMATH DE number 3132851 (Why is no real title available?)
• scientific article; zbMATH DE number 5643878 (Why is no real title available?)
• scientific article; zbMATH DE number 4037246 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 176766 (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 1929934 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (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.
• Tree acceptors and some of their applications
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(3)

• Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
• Equational Theories of Scattered and Countable Series-Parallel Posets
• On two-variable first-order logic with a partial order

Describes a project that uses

Uses Software

• ALGOL 60

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

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