Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Sławomir Lasota
Numer umowy: N N206 567840
Data rozpoczęcia: 26 maja 2011
Data zakończenia: 15 maja 2014
Finansowany przez: Narodowe Centrum Nauki
Wykonawcy: prof. dr hab. Damian Niwiński, dr hab. Mikołaj Bojańczyk, dr Filip Murlak, dr Eryk Kopczyński, mgr Paweł Parys
Słowa kluczowe: metody formalne, teoria automatów,języki regularne, procesy bezkontenstowe, automaty na słowach z danymi, automaty ze stosem wyższego rzędu, złożoność zapytań bazodanowych

Nowe modele automatów