scientific article; zbMATH DE number 6459999
From MaRDI portal
Publication:5263763
zbMath1324.03011MaRDI QIDQ5263763
Mikhail N. Vyalyi, Alexander A. Rubtsov
Publication date: 17 July 2015
Full work available at URL: http://mathnet.ru/eng/da679
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
Automata transformations of prefix decidable and decidable by Buchi superwords ⋮ The structure of degrees of finite-automaton transformations of prefix decidable superwords