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

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.

« March 2024 »
Upcoming Events
RISC Forum Mar 04, 2024 01:30 PM - 01:45 PM
RISC Forum Mar 11, 2024 01:30 PM - 01:45 PM
RISC Forum Mar 18, 2024 01:30 PM - 01:45 PM
NO RISC Forum Mar 25, 2024 01:30 PM - 01:45 PM
NO RISC Forum Apr 01, 2024 01:30 PM - 01:45 PM
Previous events…
Upcoming events…