[model-checking] Допуск к экзамену и автоматы