Formale Systeme, Automaten, Prozesse: Thompson Konstruktion, Satz von Myhill-Nerode, Konstruktion von DFAs aus Myhill-Nerode Äquivalenzklassen (Do, 07.05.2009)
  • Einbetten