Cтраница 2
Используя четвертое условие автоматности, в таблицу соответствия обычно не включают входные слова, являющиеся начальными отрезками слов, уже включенных в таблицу. Таблицу соответствия, в которой никакое входное слово не является начальным отрезком какого-либо другого входного слова, мы будем называть сокращенной таблицей соответствия. При задании автоматного отображения сокращенной таблицей соответствия его Продолжение на начальные отрезки входных слов, вошедших в таблицу, осуществляется на основании четвертого условия автоматности. [16]
Смысл ее заключается в следующем. Если р - некоторый начальный отрезок слова р из области определения отображения /, то полагаем f ( р) равным начальному отрезку слова f ( p), имеющему равную с отрезком р [ длину. В результате применения операции пополнения к отображению / получаем новое отображение f, область определения которого удовлетворяет условию полноты. Если отображение / - однозначное отображение, то очевидно, что оно удовлетворяет условиям автоматности и, таким образом, является искомым автоматным отображением. [17]