Publication:3824386

From MaRDI portal

Jump to:navigation, search

zbMath0671.03005MaRDI QIDQ3824386

L. P. Lisovik

Publication date: 1988

zbMATH Keywords

finite automaton; semi-linear set; finitely presented semigroup

Mathematics Subject Classification ID

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences

Related Items

An undecidable problem for countable markov chains

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3824386&oldid=17414092"