| |||
uniquely decodable edge labeling (нумерация рёбер на диаграмме (перехода) состояний называется однозначно декодируемой, если существует такое число Ко, что любые две нумерационно неразличимые последовательности состояний длины К не меньше Ко совпадают) |