Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantaloidal nuclei, the syntactic congruence and tree automata |
scientific article; zbMATH DE number 33995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantaloidal nuclei, the syntactic congruence and tree automata |
scientific article; zbMATH DE number 33995 |
Statements
Quantaloidal nuclei, the syntactic congruence and tree automata (English)
0 references
28 June 1992
0 references
The author continues his programme of ``quantaloidizing'' mathematics. Here he shows how work of Betti, Kasangian and Rosebrugh on the categorical formulation of the theory of tree automata can be expressed in terms of quantaloids. It is not clear (to the reviewer, at least) that any significant new insights emerge from this reformulation.
0 references
tree automata
0 references
quantaloids
0 references
