Algebras of generalized tree languages with fixed variables

• Дата: 2024
• Автори: Phuapong, S., Chansuriya, N., Kumduang, T.
• Формат: Стаття
• Мова: English
• Опубліковано: Lugansk National Taras Shevchenko University 2024
• Теми: tree language; superposition; representation
• Онлайн доступ: https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013
• Назва журналу: Algebra and Discrete Mathematics

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...