The basic algebraic structures in categories of derivations

DOI10.1016/S0019-9958(75)90208-9MaRDI QIDQ4060429zbMATH OpenFDO

Authors David B. Benson

Publication date 1975

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

Full work available at URL https://doi.org/10.1016/S0019-9958(75)90208-9

Mathematics Subject Classification ID

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

Cited in

(18)

• An algebraic structure for derivations in rewriting systems
• Finite generation of ambiguity in context-free languages
• Morphismes et bimorphismes d'arbres
• An algebraic model of synchronous systems
• An algebraic semantics for structured transition systems and its application to logic programs
• Foundations of a theory of synchronous systems
• A categorical critical-pair completion algorithm
• Functorial models for Petri nets
• Recognizability of graph and pattern languages
• Categorical and topological aspects of formal languages
• Enumerating syntactical graphs and lattices of derivations
• scientific article; zbMATH DE number 40567 (Why is no real title available?)
• scientific article; zbMATH DE number 3597906 (Why is no real title available?)
• Concatenation of graphs
• Categorical rewriting of term-like structures
• A categorical formulation for critical-pair/completion procedures
• A sheaf-theoretic approach to pattern matching and related problems
• Petri nets are monoids

This page was built for publication: The basic algebraic structures in categories of derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4060429)