Cтраница 1
Сверхслово, обладающее бесконечной возрастающей цепочкой подслов, называется - разбиваемым. [1]
Первичное автоматное сверхслово имеет расположение на сильно связанном графе. [2]
Если правое сверхслово W имеет бесконечно много вхождений с, то, начиная с некоторого места, каждый участок сверхслова W длины ( р ( с ] имеет вхождение с. Симметричное утверждение верно и для левых сверхслов. [3]
Каждому сверхслову поставим в соответствие набор слов длины п, которые в него входят. Все такие наборы, соответствующие словам цепочки, упорядочены по включению. Множество слов данной длины конечно, поэтому можно указать слово wn длины п, являющееся полсловом каждого слова цепочки. [4]
Следствие 2.151. Любое сверхслово содержит либо п-ю степень правильного слова, либо k - разбиваемое подслово. [5]
При этом сверхслово W можно считать равномерно рекуррентным. [6]
Определение 5.5. Сверхслово W называется автоматным, если множество его подслов образует регулярный язык. [7]
Из определений нулевого сверхслова и тихоновской топологии следует, что множество нулевых сверхслов открыто, а множество ненулевых - замкнуто. [8]
А является сверхсловом в А. [9]
Определение 1.4. Сверхсловом называется слово, бесконечное в обоих направлениях. Слово, бесконечное только влево, называется левым сверхсловом, а бесконечное вправо - правым сверхсловом. [10]
Заметим, что сверхслово а представимо в этом объекте тогда и только тогда, когда выходное сверхслово содержит бесконечно много нулей. [11]
Гатевой-Ивановой принадлежит определение первичного сверхслова, и наше изложение теории радикала мономиальных алгебр основано на результатах совместной работы. [12]
Определение 1.6. а) Сверхслово W называется нулевым, если у него есть нулевое подслово конечной длины, и ненулевым, если все его подслова конечной длины ненулевые. [13]
Теорема 2.55. а) Пусть правое сверхслово W имеет два вхождения слова и и каждое подслово, содержащее и, однозначно определяет последующий символ. Симметричное утверждение верно для левых сверхслов. [14]
Предложение 6.16. Пусть множество подслое сверхслова W образует регулярный язык. [15]