Algebras of generalized tree languages with fixed variables
Tree languages which are sets of terms always play a prominent role in the first-order languages and theoretical computer science. In this paper, tree languages induced by terms with fixed variables are considered. Under the applications of an operation on tree languages, we construct the algebra of...
Gespeichert in:
| Datum: | 2024 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Lugansk National Taras Shevchenko University
2024
|
| Schlagworte: | |
| Online Zugang: | https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Algebra and Discrete Mathematics |
Institution
Algebra and Discrete Mathematics| _version_ | 1856543195901460480 |
|---|---|
| author | Phuapong, S. Chansuriya, N. Kumduang, T. |
| author_facet | Phuapong, S. Chansuriya, N. Kumduang, T. |
| author_sort | Phuapong, S. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2024-02-14T18:40:04Z |
| description | Tree languages which are sets of terms always play a prominent role in the first-order languages and theoretical computer science. In this paper, tree languages induced by terms with fixed variables are considered. Under the applications of an operation on tree languages, we construct the algebra of such languages having many properties of abstract clones. A strong connection with theory of general functions is given through a representation theorem. Additionally, the semigroup of mappings of which their images are tree languages with fixed variables is given. |
| first_indexed | 2025-12-02T15:39:24Z |
| format | Article |
| id | admjournalluguniveduua-article-2013 |
| institution | Algebra and Discrete Mathematics |
| language | English |
| last_indexed | 2025-12-02T15:39:24Z |
| publishDate | 2024 |
| publisher | Lugansk National Taras Shevchenko University |
| record_format | ojs |
| spelling | admjournalluguniveduua-article-20132024-02-14T18:40:04Z Algebras of generalized tree languages with fixed variables Phuapong, S. Chansuriya, N. Kumduang, T. tree language, superposition, representation Tree languages which are sets of terms always play a prominent role in the first-order languages and theoretical computer science. In this paper, tree languages induced by terms with fixed variables are considered. Under the applications of an operation on tree languages, we construct the algebra of such languages having many properties of abstract clones. A strong connection with theory of general functions is given through a representation theorem. Additionally, the semigroup of mappings of which their images are tree languages with fixed variables is given. Lugansk National Taras Shevchenko University 2024-02-14 Article Article Peer-reviewed Article application/pdf https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013 10.12958/adm2013 Algebra and Discrete Mathematics; Vol 36, No 2 (2023) 2415-721X 1726-3255 en https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013/pdf https://admjournal.luguniv.edu.ua/index.php/adm/article/downloadSuppFile/2013/1002 Copyright (c) 2024 Algebra and Discrete Mathematics |
| spellingShingle | tree language superposition representation Phuapong, S. Chansuriya, N. Kumduang, T. Algebras of generalized tree languages with fixed variables |
| title | Algebras of generalized tree languages with fixed variables |
| title_full | Algebras of generalized tree languages with fixed variables |
| title_fullStr | Algebras of generalized tree languages with fixed variables |
| title_full_unstemmed | Algebras of generalized tree languages with fixed variables |
| title_short | Algebras of generalized tree languages with fixed variables |
| title_sort | algebras of generalized tree languages with fixed variables |
| topic | tree language superposition representation |
| topic_facet | tree language superposition representation |
| url | https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013 |
| work_keys_str_mv | AT phuapongs algebrasofgeneralizedtreelanguageswithfixedvariables AT chansuriyan algebrasofgeneralizedtreelanguageswithfixedvariables AT kumduangt algebrasofgeneralizedtreelanguageswithfixedvariables |