Orbit-finite-dimensional vector spaces and weighted register automata

DOI10.46298/THEORETICS.24.13MaRDI QIDQ6566474FDO

Authors Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman

Publication date 3 July 2024

Published in TheoretiCS (Search for Journal in Brave)

zbMATH Keywords

weighted automatonregister automatonorbit-finite setorbit-finite-dimensional spaceset with atoms

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 2123131 (Why is no real title available?)
• scientific article; zbMATH DE number 3887672 (Why is no real title available?)
• Automata theory in nominal sets
• Finite state machines for strings over infinite alphabets
• Finite-memory automata
• Learning weighted automata
• Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata
• Nominal Domain Theory for Concurrency
• Nominal sets. Names and symmetry in computer science
• On the Complexity of Equivalence and Minimisation for Q-weighted Automata
• On the definition of a family of automata
• The containment problem for unambiguous register automata and unambiguous timed automata
• The equality problem for rational series with multiplicities in the tropical semiring is undecidable
• Unambiguity in automata theory

This page was built for publication: Orbit-finite-dimensional vector spaces and weighted register automata

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