Об одном формальном методе построения рациональных алгоритмов распознавания