Stamina: stabilisation monoids in automata theory

DOI10.1007/978-3-319-60134-2_9MaRDI QIDQ2399252zbMATH OpenOpenAlexFDO

Authors Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg

Publication date 22 August 2017

Full work available at URL https://doi.org/10.1007/978-3-319-60134-2_9

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04) Formal languages and automata (68Q45)

Recommendations

• ACME: automata with counters, monoids and equivalence
• Regular cost functions. I: Logic and algebra over words
• The Theory of Stabilisation Monoids and Regular Cost Functions
• Distance desert automata and the star height problem
• Open problems about regular languages, 35 years later

Cites work

• ACME: automata with counters, monoids and equivalence
• Algorithms for determining relative star height and star height
• Deciding the value 1 problem for probabilistic leaktight automata
• Deciding the value 1 problem for probabilistic leaktight automata
• Deciding the weak definability of Büchi definable tree languages
• Distance desert automata and the star height problem
• scientific article; zbMATH DE number 2086220 (Why is no real title available?)
• On semigroups of matrices over the tropical semiring
• Probabilistic automata
• Regular cost functions. I: Logic and algebra over words
• Star height of certain families of regular events
• The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem
• The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
• The Theory of Stabilisation Monoids and Regular Cost Functions
• Transition graphs and the star-height of regular events

Cited in

(4)

• Automata and rational expressions
• ACME: automata with counters, monoids and equivalence
• The Theory of Stabilisation Monoids and Regular Cost Functions
• Stamina

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Stamina: stabilisation monoids in automata theory

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