A theory of tree language varieties. (English) Zbl 0798.68087

Steinby, Magnus

Nivat, Maurice (ed.) et al., Tree automata and languages. Amsterdam etc.: North-Holland. Stud. Comput. Sci. Artif. Intell. 10, 57-81 (1992).

The author studies a theory of syntactic algebras and varieties of finite algebras generalizing the case of monoids. This study is closely related to the theories developed by J. Almeida [Algebra Univers. 27, No. 3, 333-350 (1990; Zbl 0715.08006)] and D. Thérien [Semigroup Forum 23, 371-373 (1991; Zbl 0501.20044)]. However, the two treatments are different. The author of the present paper proves several theorems and illustrates the results on many examples of tree language varieties.
For the entire collection see [Zbl 0781.00007].

MSC:

68Q45	Formal languages and automata
08A70	Applications of universal algebra in computer science

Keywords:

tree language varieties; syntactic algebras; varieties of finite algebras; monoids

Citations:

Zbl 0715.08006; Zbl 0501.20044