Nie jesteś zalogowany | Zaloguj się

Regular languages of AC_0

Prelegent(ci)
Charles Paperman
Afiliacja
Uniwersytet Warszawski
Termin
8 kwietnia 2015 14:15
Pokój
p. 5870
Seminarium
Seminarium „Teoria automatów”

I will present a full proof of the theorem of Barington, Compton, Straubing and Therien characterizing regular languages of AC_0 based on a recent algebraic techniques.