Forest algebra for infinite forests

Speaker(s)

Mikołaj Bojańczyk (joint work with Tomasz Idziaszek and Wojciech Czerwiński)

Affiliation

Uniwersytet Warszawski

Date

March 11, 2009, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

I will talk about an extension of forest algebra for ω-forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc) extend to the infinite case. To prove its usefulness, I will use the framework to get an effective characterization of the ω-forest languages that are definable in the temporal logic that uses the operator EF (exists finally).

---