Задача Эйнштейна. Пролог к валидации конечных автоматов / Хабр