Categories and Computer Science

DOI10.1017/CBO9780511608872zbMath0789.18001OpenAlexW4212824019MaRDI QIDQ4003856

Robert F. C. Walters

Publication date: 23 January 1993

Full work available at URL: https://doi.org/10.1017/cbo9780511608872

zbMATH Keywords

automatacontext-free languagesimperative programsfunctor categoriesfunctional specificationfree objectsregular grammarsKnuth-Bendix proceduredistributive categoriesTodd-Coxeter procedure

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items (27)

Feedback, trace and fixed-point semantics ⋮ Van Kampen Colimits as Bicolimits in Span ⋮ Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Quantaloids, enriched categories and automata theory ⋮ Limits in free coproduct completions ⋮ The duality between flow charts and circuits ⋮ Some properties of coalgebras and their rôle in computer science ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ An imperative language based on distributive categories II ⋮ Connected limits, familial representability and Artin glueing ⋮ Computing left Kan extensions. ⋮ A database of categories. ⋮ A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators ⋮ Fibrations and universal view updatability ⋮ Defining effectiveness using finite sets. A study on computability ⋮ Some categoric connections between fuzzy hypergraphs, subhypergroups, graphs, subgroups and subsets ⋮ The origin of universality: making and invalidating a free category ⋮ The minimal mathematical structure for a synchronic approach to fuzzy set theory ⋮ DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds ⋮ Fractals as objects with nontrivial structures at all scales ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities ⋮ From environments to representations -- a mathematical theory of artificial perceptions ⋮ Relationships between category theory and functional programming with an application ⋮ The free category with products on a multigraph ⋮ Matrices, machines and behaviors ⋮ Unnamed Item ⋮ Code migration and program maintainability -- A categorical perspective

This page was built for publication: Categories and Computer Science