Myhill–Nerode theorem
type: Item
named after: John Myhill
named after: Anil Nerode
Freebase ID: /m/01xzcj
instance of: theorem
Microsoft Academic ID: 108857560
PlanetMath ID: MyhillNerodeTheorem
part of: list of theorems
Wikidata QID: Q422187
studied in: formal language theory
studied in: automata theory
label: Satz von Myhill-Nerode @de
description: theorem
description: mathematischer Satz @de