Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587019 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Revision as of 13:41, 16 February 2024
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
