The meet operation in the lattice of codes
Theoretical Computer Science
Theoretical Computer Science
Automata, Languages, and Machines
Automata, Languages, and Machines
Theory of Codes
Periodicity vectors for labelled trees
Discrete Applied Mathematics
Theoretical Computer Science - The art of theory
Hi-index | 5.23 |
The natural correspondence between prefix codes and trees is explored, generalizing the results obtained in Giammarresi et al. (Theoret. Comput. Sci. 205 (1998) 1459) for the lattice of finite trees under division and the lattice of finite maximal prefix codes. Joins and meets of prefix codes are studied in this light in connection with such concepts as finiteness, maximality and varieties of rational languages. Decidability results are obtained for several problems involving rational prefix codes, including the solution to the primeness problem.