Понятие веса конечного дерева позволяет сформулировать тривиальную оценку для веса любого продолжения данного конечного дерева ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Кобринский Н.Е. Введение в теорию конечных автоматов


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

(cкачать страницу)

Смотреть книгу на libgen

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