Понятие веса конечного дерева позволяет сформулировать тривиальную оценку для веса любого продолжения данного конечного дерева ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Кобринский Н.Е.
Введение в теорию конечных автоматов
Понятие веса конечного дерева позволяет сформулировать тривиальную оценку для веса любого продолжения данного конечного дерева V высоты h п, в частности, для веса ограниченно-детерминированного оператора, совпадающего с V на нижних h ярусах. Для этого достаточно заметить, что К вершин базиса SS дерева V останутся попарно различимыми и при любом его продолжении. Следовательно, если вес V равен К, то вес любого продолжения будет не меньше К.