The formalization of some context conditions of programming languages

DOI10.1016/0041-5553(74)90082-2zbMath0309.68014OpenAlexW1992738784MaRDI QIDQ4068051

Kh. I. Toĭrikh, I. L. Bratchikov

Publication date: 1975

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0041-5553(74)90082-2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (3)

A model of the loop formation process on knitting machines using finite automata theory ⋮ Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations ⋮ Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure

This page was built for publication: The formalization of some context conditions of programming languages