R-Automata

DOI10.1007/978-3-540-85361-9_9MaRDI QIDQ3541011zbMATH OpenOpenAlexFDO

Authors Pavel Krčál, Wang Yi, Parosh A. Abdulla

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Universality of R-automata with Value Copying
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Automata with Reversal-Bounded Counters: A Survey
• Developments in Language Theory
• Quantitative languages

Cites work

• Distance desert automata and the star height problem
• Factorisation Forests for Infinite Words
• Factorization forests of finite height
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Improved limitedness theorems on finite automata with distance functions
• Limitedness theorem on finite automata with distance functions
• Limitedness theorem on finite automata with distance functions: An algebraic proof
• On semigroups of matrices over the tropical semiring
• R-Automata
• Sampled Universality of Timed Automata
• The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata

Cited in

(13)

• Resource Driven Automata Nets
• Properties and utilization of capacitated automata (invited talk)
• scientific article; zbMATH DE number 3868625 (Why is no real title available?)
• Red–Green P Automata
• R-Automata
• Factorization Forests
• History-register automata
• Limited non-determinism hierarchy of counter automata
• Universality of R-automata with Value Copying
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Succinct determinisation of counting automata via sphere construction
• The expansion problem for infinite trees
• Factorization forests for infinite words and applications to countable scattered linear orderings

This page was built for publication: R-Automata

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