Formale Systeme, Automaten, Prozesse: Kontextfreie Grammatiken aus Kellerautomaten konstruieren, Deterministische Kellerautomaten, Abgeschlossenheit von DCFL unter Komplement (Di, 07.07.2009)
  • Einbetten