- Tytuł:
- On the solidity of general varieties of tree languages
- Autorzy:
- Steinby, Magnus
- Powiązania:
- https://bibliotekanauki.pl/articles/728991.pdf
- Data publikacji:
- 2012
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
varieties of tree languages
solid varieties
hypersubstitutions
tree homomorphisms - Opis:
- For a class of hypersubstitutions , we define the -solidity of general varieties of tree languages (GVTLs) that contain tree languages over all alphabets, general varieties of finite algebras (GVFAs), and general varieties of finite congruences (GVFCs). We show that if is a so-called category of substitutions, a GVTL is -solid exactly in case the corresponding GVFA, or the corresponding GVFC, is -solid. We establish the solidity status of several known GVTLs with respect to certain categories of substitutions derived from some important classes of tree homomorphisms.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2012, 32, 1; 23-53
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki