Myhill–Nerode theorem
Satz von Myhill-Nerode
theorem
mathematischer Satz