Algebraic recognizability of regular tree languages

Zoltan Esik (1) , Pascal Weil (2)

1 Department of Computer Science
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

We propose a new algebraic framework to discuss and classify recognizable tree languages, and to characterize interesting classes of such languages. Our algebraic tool, called preclones, encompasses the classical notion of syntactic Sigma-algebra or minimal tree automaton, but adds new expressivity to it. The main result in this paper is a variety theorem à la Eilenberg, but we also discuss important examples of logically defined classes of recognizable tree languages, whose characterization and decidability was established in recent papers (by Benedikt and Ségoufin, and by Bojanczyk and Walukiewicz) and can be naturally formulated in terms of pseudovarieties of preclones. Finally, this paper constitutes the foundation for another paper by the same authors, where first-order definable tree languages receive an algebraic characterization.

Mots clés: algebraic recognizability; tree languages

Domaines: Mathématique discrète [cs.DM]

Zoltan Esik, Pascal Weil. Algebraic recognizability of regular tree languages. Theoretical Computer Science, 2005, 340, pp.291-321. ⟨hal-00096701⟩