Publication:4172900
From MaRDI portal
zbMath0391.68010MaRDI QIDQ4172900
Publication date: 1977
Turing Machines; Partial Algebras; Programs; Free Algebras; Generating Algebras; Free Turing Algebras; Idempotent Semigroups; Turing Algebras; Universal Algebras
20M35: Semigroups in automata theory, linguistics, etc.
08B20: Free algebras
68N01: General topics in the theory of software
18B20: Categories of machines, automata
Related Items
Categories of partial maps, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, A functorial semantics for multi-algebras and partial algebras, with applications to syntax., The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus