https://www.czech.wiki/wiki/Myhillova-Nerodova_věta