Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 23:37, 4 March 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
