scientific article; zbMATH DE number 579118
accumulatorassembler and machine languagecompilercomputabilitycomputing machineflow chartsGogo-programsgrammars of the Chomsky hierarchyloop programsmu-recursivenessnormalized register machinesemi-Thue systemsstructured register machine programsyntax analysissyntax and semantics of programming languagestop-down- and bottom-up-programmingTuring machineverification of programs
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Parallel algorithms in computer science (68W10)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4293638)