Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2024
Main Authors:	Phuapong, S., Chansuriya, N., Kumduang, T.
Format:	Article
Language:	English
Published:	Lugansk National Taras Shevchenko University 2024
Subjects:	tree language superposition representation
Online Access:	https://admjournal.luguniv.edu.ua/index.php/adm/article/view/2013
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Algebra and Discrete Mathematics

Institution

Algebra and Discrete Mathematics

Similar Items

Coreference resolution algorithm for Ukrainian-language texts using decision trees
by: Pogorilyy, S.D., et al.
Published: (2023)

Problem of data analysis and forecasting using decision trees method
by: Lytvynenko, T.I.
Published: (2018)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Dynamics of finite groups acting on the boundary of homogenous rooted tree
by: Szaszkowski, Zbigniew
Published: (2018)

Binary Trees Approach to Speedup Address Range Lookup in Peer-to-Peer Solutions
by: Poryev, G. V.
Published: (2013)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
by: Kaverynskyi, V.V., et al.
Published: (2024)

An automated scenario generation system for analytical activities.
by: Dodonov, O. G., et al.
Published: (2019)

Method of Neuro-Fuzzy Network Synthesis Based on Decision Trees
by: Гофман, Є. О., et al.
Published: (2012)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

The modification of the meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2019)

On the finite state automorphism group of a rooted tree
by: Lavrenyuk, Yaroslav
Published: (2018)

System of classification for personnel selection based upon Ukrainian language ana-lyze
by: Zhezherun, O.P., et al.
Published: (2021)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Automorphic equivalence of the representations of Lie algebras
by: Shestakov, I., et al.
Published: (2018)

On fibers and accessibility of groups acting on trees with inversions
by: Mahmood, Rasheed Mahmood Saleh
Published: (2015)

On the Cartesian product of the Menger algebras of terms and relational formulas
by: Kumduang, Thodsaporn
Published: (2025)

Classification of the local isometry groups of rooted tree boundaries
by: Lavrenyuk, Yaroslav
Published: (2018)

Decision tree method for identification and classification of information signals
by: Волошко, А. В., et al.
Published: (2022)

Methods and techniques for management of ontolodgy-based knowledge representation models in the context of BIG data
by: Novitsky, A.V.
Published: (2022)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

A dialogue system based on ontology automatically built through a natural language text analysis
by: Litvin, A.A., et al.
Published: (2023)

Kaluzhnin's representations of Sylow \(p\)-subgroups of automorphism groups of \(p\)-adic rooted trees
by: Bier, Agnieszka, et al.
Published: (2018)

Derived equivalence classification of generalized multifold extensions of piecewise hereditary algebras of tree type
by: Asashiba, H., et al.
Published: (2015)

Derived equivalence classification of generalized multifold extensions of piecewise hereditary algebras of tree type
by: Asashiba, Hideto, et al.
Published: (2015)

Derived equivalence classification of generalized multifold extensions of piecewise hereditary algebras of tree type
by: H. Asashiba, et al.
Published: (2015)

Steady-state analysis of a hybrid power supply system using an induction generator with a shunt AC/DC converter
by: Mazurenko, L. I., et al.
Published: (2024)

A generalized methodology of sign language recognition on video streams based on neural networks and transformers
by: Кузнєцова, Н. В., et al.
Published: (2023)

Dimensions of finite type for representations of partially ordered sets
by: Drozd, Yuriy A., et al.
Published: (2018)

The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)

Existence of Dynkin scanning trees for non-serial posets with positive Tits quadratic form
by: Bondarenko, Vitaliy M., et al.
Published: (2025)

Modern AI methods for detecting propaganda in text
by: Бойко , О.А.
Published: (2025)

Synthesis of matrix representations of generalized quaternions
by: Kalinovsky, Ya. O., et al.
Published: (2014)

Classification of the pairs of matrices of fixed Jordan types and representations of bundles of semichains
by: Bondarenko, V. M., et al.
Published: (2023)

PRINCIPLE OF SUPERPOSITION AT CONSTRUCTION OF GEOLOGIC-GENETIC MODELS OF GOLD-ORE SYSTEMS OF UKRAINIAN SHIELD
by: Dragomyretsky, О.V., et al.
Published: (2016)

Algebraic Structures on Typed Decorated Rooted Trees
by: Foissy, Loïc
Published: (2021)

Fixed Point Algebras for Easy Quantum Groups
by: Gabriel, O., et al.
Published: (2016)

The first theorem of Andrey Roiter
by: Lichtman, A. I.
Published: (2018)

Application of small language models for semantic analysis of Web interface accessibility
by: Kuzikov, B.O., et al.
Published: (2025)

Unitarizable and non-unitarizable represenations of algebras generated by idempotents
by: Popovych, Stanislav, et al.
Published: (2018)