О необходимом количестве правил автоматной грамматики, порождающей конечный язык

Рассматривается проблема восстановления протокола передачи данных по обмену его сообщениями. Формально данную проблему можно свести к задаче синтеза грамматики по порождаемому ею языку. Приводится оценка необходимого числа правил в автоматной грамматике, которая порождает язык данной конечной мощности.