scientific article

zbMath0599.03040MaRDI QIDQ3734381

Nikolai Makarievich Nagorny, A. A. jun. Markoff

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal languagesalphabetsconstructive analysisrecursive real numbersnormal algorithmsMarkov algorithmrecursive unsolvability of the word problem for semigroups

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) History of computer science (68-03) Algorithms in computer science (68W99) Thue and Post systems, etc. (03D03)

Related Items (2)

Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure ⋮ Monads for the formalization of a pattern matching procedure

This page was built for publication: