Abstract
A text can be defined as a word w together with a (second) linear order on its domain {1,..., |w|}. This second order may be used to define a hierarchical, tree-like, structure representing the text. The family of context-free sets of texts is investigated, i.e., sets of texts defined by context-free text grammars. In particular, those sets of texts are studied in the framework of universal algebra. This allows to compare the classical notions of equational and recognizable families in an algebra with context-free sets in the “algebra of texts”. Within this algebra the notion of equational sets coincides with the context-free sets. A grammatical characterization of the family of recognizable sets is given as a subfamily of the context-free sets of texts.
Get full access to this article
View all access options for this article.