Decidabilite de la finitude des demi-groupes de matrices
From MaRDI portal
Publication:4144210
DOI10.1007/3-540-08138-0_22zbMath0367.68051OpenAlexW1569383488MaRDI QIDQ4144210
No author found.
Publication date: 1977
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-08138-0_22
Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items (2)
Un algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices ⋮ Decidability and \(k\)-regular sequences
This page was built for publication: Decidabilite de la finitude des demi-groupes de matrices
