Orbit-finite-dimensional vector spaces and weighted register automata

DOI10.46298/THEORETICS.24.13MaRDI QIDQ6566474FDOQ6566474

Joshua Moerman, Mikołaj Bojańczyk, Bartek Klin, Author name not available (Why is that?)

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

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

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)