Metadata
Author: WikiMatrix
Data
Dutch[nl]
De stelling van Myhill-Nerode geeft een noodzakelijke en voldoende voorwaarde die aangeeft wanneer een formele taal regulier is.
Polish[pl]
Twierdzenie Myhilla-Nerode’a podaje dostateczny i konieczny warunek na to, by język był regularny.