Deterministic nominal automata minimization algorithm

Prelegent(ci)

Michał Szynwelski

Afiliacja

Uniwersytet Warszawski

Termin

10 kwietnia 2013 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

My talk will be about the new representation of structures based on the nominal sets. I will present the minimization algorithm of deterministic nominal automata that use this representation. But the purpose of my work is to find the suitable environment not only for the minimization algorithm but also to design the programming language that is convenient for the other nominal computations. I will describe my implementation that, in my opinion, is a good step towards achieving these objectives.

---