Unranked Tree Algebra

Speaker(s)

Mikolaj Bojanczyk (joint with Igor Walukiewicz)

Affiliation

Uniwersytet Warszawski

Date

Oct. 5, 2005, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

I will present an algebra for recognizing languages of unranked, finite trees. This algebra is a special case of a transformation semigroup. The talk will focus on analyzing algebras that correspond to languages defined in logic (for instance, first-order logic)

---