Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Доказательство

Читайте также:
  1. ГЛАВА III Доказательство того, что Бог существует
  2. ГЛАВА VII О Святом Духе, доказательство, заимствованное из разума
  3. Дары как доказательство верности
  4. Доказательство
  5. Доказательство
  6. Доказательство

Пусть = ()¥, где = a i 1,..., a ik и = a j 1,..., a jp, и автомат Á перерабатывает в из начального состояния q 0.

Обозначим начальный момент времени как t 0.

Рассмотрим последовательность q 1, q 2,..., q i,... - (1)

состояний автомата Á в моменты времени:

t 0+ k, t 0+ k + p,..., t 0 + k + (i - 1) p,...

То есть это моменты времени, в которые на вход Á поступают первые символы первого, второго,..., i -го,... вхождений периода во входное сверхслово .

Поскольку множество состояний Á является конечным, то в последовательности состояний (1) имеются одинаковые состояния. Пусть это qs и qr, где s < r.

Тогда Á, начав работу в состоянии qs, заканчивает переработку слова () r - s переходом в исходное состояние. Следовательно, следующее слово () r - s в слове ()¥ этот автомат перерабатывает так же, как и предыдущее такое слово.

Представим в виде () s - 1(() r- s)¥.

Тогда при переработке из начального состояния q0 последовательно идущие вхождения слова () r - s в части (() r- s)¥.перерабатывается автоматом в одинаковые фрагменты выходного сверхслова. Последнее утверждение верно, поскольку такая переработка всякий раз начинается из одного и того же состояния.

Следовательно, автомат Á перерабатывает в периодическое сверхслово

= ( () s - 1)( (() r - s))¥.


Дата добавления: 2015-11-30; просмотров: 29 | Нарушение авторских прав



mybiblioteka.su - 2015-2024 год. (0.007 сек.)