Forest algebra for infinite forests

Prelegent(ci)

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

Afiliacja

Uniwersytet Warszawski

Termin

11 marca 2009 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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

---