R-Automata

DOI10.1007/978-3-540-85361-9_9zbMath1160.68396OpenAlexW2913561688MaRDI QIDQ3541011

Pavel Krcal, Wang Yi, Parosh Aziz 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)

Related Items (5)

Factorization forests for infinite words and applications to countable scattered linear orderings ⋮ R-Automata ⋮ Limited Non-determinism Hierarchy of Counter Automata ⋮ Universality of R-automata with Value Copying ⋮ Factorization Forests

Cites Work

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

This page was built for publication: R-Automata