Formale Systeme, Automaten, Prozesse: Beweis der Regularität von Pre*(L), falls L regulär (Di, 16.06.2009)
  • Einbetten