Bekijk voorbeeldzinnen en woordvormen van Nerode.

Nerode

Nerode | Nero | Neros | Néron

Voorbeeldzinnen (2)

De stelling van Myhill-Nerode luidt, dat de taal L regulier is dan en slechts dan als de Myhill-Nerode-equivalentie van L eindig veel equivalentieklassen bezit.

De Myhill-Nerode equivalentieklassen komen overeen met de toestanden in de minimale deterministische eindige automaat die de taal accepteert.