The basic algebraic structures in categories of derivations

DOI10.1016/S0019-9958(75)90208-9zbMath0304.68083MaRDI QIDQ4060429

David B. Benson

Publication date: 1975

Published in: Information and Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20)

Related Items

A categorical formulation for critical-pair/completion procedures ⋮ An algebraic structure for derivations in rewriting systems ⋮ Finite generation of ambiguity in context-free languages ⋮ Unnamed Item ⋮ Morphismes et bimorphismes d'arbres ⋮ Petri nets are monoids ⋮ An algebraic model of synchronous systems ⋮ Concatenation of graphs ⋮ A sheaf-theoretic approach to pattern matching and related problems ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Foundations of a theory of synchronous systems ⋮ Categorical rewriting of term-like structures ⋮ Recognizability of graph and pattern languages ⋮ Unnamed Item ⋮ Categorical and topological aspects of formal languages ⋮ A categorical critical-pair completion algorithm ⋮ Functorial models for Petri nets ⋮ Enumerating syntactical graphs and lattices of derivations