scientific article

zbMath0301.94062MaRDI QIDQ4055582

V. M. Glushkov, Alexander Letichevsky

Publication date: 1973

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (17)

On the creation of a macromodel of social development ⋮ Formalized program specifications and transformation synthesis ⋮ Solvable problems for transformers with reversal-bounded counters ⋮ Hardware simulation in distributed computing systems: Methods and tools ⋮ Program equivalence checking by two-tape automata ⋮ Theoretical and applied aspects of structured parallel programming ⋮ Efficient algorithms for checking the equivalence of programs in interrupt handling models ⋮ Stack and locally finite transformations on structures with reversible transitions ⋮ Completeness problems in classes of computable named functions ⋮ Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models ⋮ Regular sets and finite automata over?-groups ⋮ Recursive converters on a memory ⋮ Tabular programs and discrete transformations. II ⋮ Formalized analysis of complex systems. I ⋮ Theory of language processors and parallel computations ⋮ Theory of language processors and parallel computations ⋮ Analysis and synthesis of structured parallel programs

This page was built for publication: