Applicability of a production in a categorical grammar

DOI10.1016/0304-3975(80)90070-5zbMath0421.68067OpenAlexW3020849950MaRDI QIDQ1133328

Petr Kůrka

Publication date: 1980

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(80)90070-5

zbMATH Keywords

graph grammarpushout complementcategory of quasidiscrete spaces and closed continuous mappingsgrammars in categories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Deriving graphs from graphs by applying a production
• Dynamics of discrete systems and pattern reproduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Applicability of a production in a categorical grammar