scientific article; zbMATH DE number 1036407

MaRDI QIDQ4344804zbMATH OpenFDO

Authors K. I. Rosenthal

Publication date 31 August 1997

Full work available at URL http://www.numdam.org/item?id=CTGDC_1997__38_2_161_0, https://eudml.org/doc/91589

zbMATH Keywords

context-free languagesmultipreorders with factorizationspower quantalsrelational monoids

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Categories of spans/cospans, relations, or partial maps (18B10) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Quantifiers on languages and codensity monads
• Quantifiers on languages and codensity monads
• scientific article; zbMATH DE number 2160560
• Recognisable languages over monads
• A categorical approach to syntactic monoids

Cites work

• A categorical look at tree automata and context-free languages
• A note on context-free languages
• Categories and Computer Science
• Constructing locales from quantales
• Girard quantaloids
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 53545 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• Modal logics withn-ary connectives
• Quantales, observational logic and process semantics
• Quantaloidal nuclei, the syntactic congruence and tree automata
• Quantaloids, enriched categories and automata theory
• The free category with products on a multigraph

Cited in

(7)

• Catoids and modal convolution algebras
• r-multisemigroups, modal quantales and the origin of locality
• Monadic representability of certain binary relations
• Quantifiers on languages and codensity monads
• Semi-substructural logics à la Lambek
• Higher catoids, higher quantales and their correspondences
• Semi-substructural logics à la Lambek with symmetry

This page was built for publication:

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