Personal tools
You are here: Home / Internal / RISC Forum / 2010 / RISC Forum

RISC Forum

Filed under:
Prof. George Rahonis: Equational Tree Transformations
When May 31, 2010
from 01:30 PM to 02:30 PM
Where Seminar Room
Add event to calendar vCal
iCal

We consider systems of equations whose right hand-sides are finite tree transformations. We show that such systems have least solutions.  In fact they have two types of (least) solutions, the so-called [IO] and OI according to the tree substitution operation we use to solve them. A tree transformation is u-equational (u=3D[IO], OI) if it is obtained as the union of some components of the least u-solution of a system of equations of tree transformations. We characterize u-equational tree transformations in terms of bimorphisms, and we state equational characterizations for some well-known classes of tree transformations. Furthermore, we investigate the relationship between the classes of [IO]-equational and OI-equational tree transformations. Finally, we show that a Mezei-Wright type result holds for u-equational tree ransformations.

« December 2022 »
December
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Upcoming Events
RISC Forum Dec 12, 2022 01:30 PM - 01:45 PM
NO RISC Forum Dec 19, 2022 01:30 PM - 01:55 PM
NO RISC Forum Dec 26, 2022 01:30 PM - 01:45 PM
NO RISC Forum Jan 02, 2023 01:30 PM - 01:45 PM
RISC Forum Jan 09, 2023 01:30 PM - 01:50 PM
Previous events…
Upcoming events…