Nie jesteś zalogowany | Zaloguj się

Leftist grammars

Prelegent(ci)
Tomasz Jurdziński (Wrocław)
Termin
5 listopada 2008 14:15
Pokój
p. 5870
Seminarium
Seminarium „Teoria automatów”

Leftist grammars were introduced as a tool to show decidability of the accessibility problem in certain general protection systems. In the presentation, I will concentrate on complexity of the membership problem for these grammars and their restricted variants.