ИСТИНА

В докладе представлены результаты работы программы, решающей заявленную проблему для случая произвольного входного регулярного языка в двухбуквенном алфавите. Программа должна проверить по паре (язык, схема кодирования), является ли однозначным алфавитное кодирование на этом языке и, если нет, выдать минимальную по длине склейку. Посчитано время работы на ряде тестов, продемонстрирована ее эффективность.