Tree Bricks and Finite Tree Automata
En palabras de los autores
Let be a finite-dimensional zero-relation algebra. We encode Crawley--Boevey tree modules over by finite rooted trees labelled by arrows of and their formal inverses, and construct a deterministic finite bottom-up tree automaton recognizing exactly these encodings. We define an accepted tree to be an automata-induced tree brick when it has no non-trivial factor--image self-overlap, and use Crawley--Boevey's graph-map basis to prove that this is equivalent to brickness of the associated tree module. We also introduce local colourings of and show that the arrow alphabet can be compressed without changing the tree data, graph maps, or brick property. The optimal number of colours for such a compression is the maximum of the in-degree and out-degree of . We conclude by asking whether the tree language consisting only of bricks is regular.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 10 pages