Deterministic nominal automata minimization algorithm

Speaker(s)

Michał Szynwelski

Affiliation

Uniwersytet Warszawski

Date

April 10, 2013, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

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.

---