Kuznetsov, O. P. Theory of algorithmic finite-automaton languages. I. A formalism for description of semantics. (English. Russian original) Zbl 0464.68079 Autom. Remote Control 42, 371-379 (1981); translation from Avtom. Telemekh. 1981, No. 3, 122-132 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q45 Formal languages and automata 68Q55 Semantics in the theory of computing 68W99 Algorithms in computer science Keywords:standard realization; logical control languages PDF BibTeX XML Cite \textit{O. P. Kuznetsov}, Autom. Remote Control 42, 371--379 (1981; Zbl 0464.68079); translation from Avtom. Telemekh. 1981, No. 3, 122--132 (1981)