Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantaloidal nuclei, the syntactic congruence and tree automata |
scientific article |
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
