WikiDer > Комбинаторика слов

Combinatorics on words

Комбинаторика слов это довольно новая область математика, ответвляясь от комбинаторика, в котором основное внимание уделяется изучению слова и формальные языки. Испытуемый смотрит на буквы или символы, а последовательности они образуются. Комбинаторика слов влияет на различные области математических исследований, в том числе алгебра и Информатика. В эту область был внесен широкий спектр вкладов. Некоторые из первых работ были над слова без квадратов к Аксель Туэ в начале 1900-х гг. Он и его коллеги наблюдали закономерности в словах и пытались их объяснить. Со временем комбинаторика слов стала полезной при изучении алгоритмы и кодирование. Это привело к развитию абстрактная алгебра и отвечая на открытые вопросы.

Определение

Комбинаторика - это область дискретная математика. Дискретная математика - это исследование счетных структур. У этих объектов есть определенное начало и конец. Изучение перечислимых объектов противоположно таким дисциплинам, как анализ, куда исчисление и бесконечный структуры изучаются. Комбинаторика изучает, как считать эти объекты, используя различные представления. Комбинаторика слов - недавняя разработка в этой области, которая фокусируется на изучении слов и формальных языков. Формальный язык - это любой набор символов и комбинаций символов, которые люди используют для передачи информации.[1]

Сначала следует пояснить некоторую терминологию, относящуюся к изучению слов. Прежде всего, слово - это последовательность символов или букв в конечный набор.[1] Один из таких наборов известен широкой публике как алфавит. Например, слово «энциклопедия» - это последовательность символов в английский алфавит, конечный набор из двадцати шести букв. Поскольку слово может быть описано как последовательность, могут применяться другие основные математические описания. Алфавит - это набор, так что, как и следовало ожидать, пустой набор это подмножество. Другими словами, существует уникальный слово нулевой длины. Длина слова определяется количеством символов, составляющих последовательность, и обозначается как |ш|.[1] Снова глядя на пример «энциклопедии», |ш| = 12, так как энциклопедия состоит из двенадцати букв. Идея факторинг больших чисел может применяться к словам, где коэффициент слова представляет собой блок последовательных символов.[1] Таким образом, «циклоп» - это фактор «энциклопедии».

Помимо изучения последовательностей самих по себе, еще одна область, которую следует рассмотреть в комбинаторике слов, - это то, как их можно представить визуально. В математике для кодирования данных используются различные структуры. Общая структура, используемая в комбинаторике, - это древовидная структура. Древовидная структура - это график где вершины соединены одной линией, называемой путем или край. Деревья не могут содержать циклы, и может быть или не быть полным. Возможно кодировать слово, поскольку слово состоит из символов, и кодировать данные с помощью дерева.[1] Это дает визуальное представление об объекте.

Основные вклады

Первые книги по комбинаторике слов, которые суммируют происхождение предмета, были написаны группой математиков, известных под общим именем М. Лотэр. Их первая книга была опубликована в 1983 году, когда комбинаторика слов стала более распространенной.[1]

Узоры

Образцы в словах

Основной вклад в развитие комбинаторики слов внес Аксель Туэ (1863–1922); он исследовал повторение. Основным вкладом Туэ было доказательство существования бесконечного слова без квадратов. Слова без квадратов не имеют смежных повторяющихся множителей.[1] Чтобы уточнить, «лето» не является бесквадратным, поскольку m повторяется последовательно, в то время как «энциклопедия» не содержит квадратов. Туэ доказывает свою гипотезу о существовании бесконечных слов без квадратов, используя замены. Подстановка - это способ взять символ и заменить его словом. Он использует эту технику, чтобы описать свой другой вклад, Последовательность Туэ – Морса, или слово Туэ – Морзе.[1]

Туэ написал две статьи о словах без квадратов, вторая из которых была посвящена слову Туэ – Морзе. Марстон Морс включено в название, потому что он обнаружил тот же результат, что и Туэ, но они работали независимо. Туэ также доказал существование слова без перекрытия. Слово без перекрытия - это когда для двух символов x и y шаблон xyxyx не существует внутри слова. В своей второй статье он продолжает доказывать связь между бесконечными словами без перекрытий и словами без квадратов. Он берет слова без перекрытия, которые созданы с использованием двух разных букв, и демонстрирует, как их можно преобразовать в слова без квадратов из трех букв с помощью подстановки.[1]

Как было описано ранее, слова изучаются путем изучения последовательностей символов. Находятся закономерности, и их можно описать математически. Шаблоны могут быть либо шаблонами, которых можно избежать, либо неизбежными. Значительный вклад в работу неизбежные модели, или закономерности, было Фрэнк Рэмси в 1930 году. Его важная теорема утверждает, что для целых чисел k, m≥2 существует наименьшее положительное целое число R (k, m) такое, что, несмотря на то, как полный граф раскрашен в два цвета, всегда будет существовать сплошной цветной подграф каждый цвет.[1]

Среди других участников исследования неизбежных закономерностей: ван дер Варден. Его теорема утверждает, что если положительные целые числа разделены на k классов, то существует класс c такой, что c содержит арифметическую прогрессию некоторой неизвестной длины. An арифметическая прогрессия представляет собой последовательность чисел, в которой разница между соседними числами остается постоянной.[1]

При изучении неизбежных закономерностей полутор также изучаются. Для некоторых шаблонов x, y, z полуторная мощность имеет форму x, xyx, xyxzxyx, .... Это еще один шаблон, например, без квадратов или неизбежные узоры. Coudrain и Schützenberger в основном изучал эти полуторные машины для теория групп Приложения. Кроме того, Зимин доказал, что все полуторные способности неизбежны. Независимо от того, проявляется ли весь паттерн или только какая-то часть полуторной мощности появляется повторно, этого невозможно избежать.[1]

Шаблоны в алфавитах

Украшения на шею построены из слов круговых последовательностей. Чаще всего они используются в Музыка и астрономия. Flye Sainte-Marie в 1894 году доказал, что существует 22п−1п двоичный де Брюйн колье длиной 2п. Ожерелье де Брюйна содержит множители, состоящие из слов длины n и определенного количества букв. Слова появляются в ожерелье только один раз.[1]

В 1874 г. Бодо разработал код, который в конечном итоге заменит азбука Морзе применяя теорию бинарных ожерелий де Брейна. Проблема продолжалась от Сент-Мари до Мартин в 1934 году, который начал изучать алгоритмы построения слов структуры де Брейна. Затем над ним работал Постумус в 1943 г.[1]

Языковая иерархия

Возможно, наиболее применяемым результатом комбинаторики слов является иерархия Хомского,[требуется проверка] разработан Ноам Хомский. Он изучал формальный язык в 1950-х годах.[2] Его взгляд на язык упростил предмет. Он игнорирует реальное значение слова, не принимает во внимание определенные факторы, такие как частота и контекст, и применяет шаблоны коротких терминов ко всем длинным терминам. Основная идея работы Хомского - разделить язык на четыре уровня, или язык иерархия. Четыре уровня: обычный, контекстно-свободный, контекстно-зависимый, и вычислимо перечислимый или без ограничений.[2] Обычный - наименее сложный, а вычислимо перечислимый - самый сложный. Хотя его работа выросла из комбинаторики слов, она сильно повлияла на другие дисциплины, особенно Информатика.[3]

Типы слов

Штурмские слова

Штурмские слова, созданный Франсуа Штурмом, уходят корнями в комбинаторику слов. Существует несколько эквивалентных определений штурмовских слов. Например, бесконечное слово является штурмовским тогда и только тогда, когда оно имеет n + 1 различных множителей длины n для каждого неотрицательного целого числа n.[1]

Линдон слово

А Линдон слово слово в данном алфавите, записанное в его простейшей и наиболее упорядоченной форме из соответствующего класс сопряженности. Слова Линдона важны, потому что для любого данного слова Линдона x существуют слова Линдона y и z, причем y Теорема Чена, Фокса и Линдона, который утверждает, что любое слово имеет уникальную факторизацию слов Линдона, где слова факторизации невозрастающий. Благодаря этому свойству слова Линдона используются для изучения алгебра, конкретно теория групп. Они составляют основу идеи коммутаторы.[1]

Визуальное представление

Cobham внесенная работа, касающаяся Эжен Пруэработает с конечные автоматы. Математический граф состоит из ребер и узлы. У конечных автоматов ребра помечаются буквой алфавита. Чтобы использовать граф, нужно начинать с узла и перемещаться по ребрам, чтобы достичь последнего узла. Путь, пройденный по графику, образует слово. Это конечный граф, потому что существует счетное количество узлов и ребер, и только один путь соединяет два отчетливый узлы.[1]

Коды Гаусса, сделано Карл Фридрих Гаусс в 1838 г. разработаны из графиков. В частности, замкнутая кривая на самолет необходим. Если кривая пересекает себя только конечное число раз, то пересечения обозначаются буквой из используемого алфавита. При движении по кривой слово определяется путем записи каждой буквы по мере прохождения пересечения. Гаусс заметил, что расстояние между тем, когда один и тот же символ появляется в слове, составляет четное число.[1]

Теория групп

Вальтер Франц Антон фон Дейк начал работу по комбинаторике слов в теории групп с его опубликованных работ в 1882 и 1883 годах. Он начал с использования слов как элементов группы. Лагранж также внес свой вклад в 1771 г., работая над группы перестановок.[1]

Одним из аспектов комбинаторики слов, изучаемой в теории групп, являются сокращенные слова. Группа состоит из слов некоторого алфавита, включая генераторы и обратные элементы, исключая факторы, которые появляются в форме aā или āa, для некоторых a в алфавите. Сокращенные слова образуются, когда множители aā, āa используются для сокращения элементов до тех пор, пока не будет достигнуто уникальное слово.[1]

Преобразования Нильсена также были разработаны. Для набора элементов свободная группа, преобразование Нильсена достигается тремя преобразованиями; заменяя элемент на его инверсию, заменяя элемент на товар самого себя и другого элемента и исключив любой элемент, равный 1. Применяя эти преобразования, формируются редуцированные множества Нильсена. Уменьшенный набор означает, что ни один элемент не может быть умножен на другие элементы для полного сокращения. Есть также связи преобразований Нильсена со словами Штурма.[1]

Рассмотренные проблемы

Одна проблема, рассматриваемая при изучении комбинаторики слов в теории групп, заключается в следующем: для двух элементов x, y из a полугруппа, неужели x = y по модулю определяющий связи x и y. Почтовый и Марков изучил эту проблему и определил ее неразрешимый. Неразрешимость означает, что теория не может быть доказана.[1]

В Бернсайд вопрос был доказан с использованием существования бесконечного слово без куба. Этот вопрос спрашивает, является ли группа конечной, если группа имеет определенное число образующих и удовлетворяет критерию xп= 1 для x в группе.[1]

Многие проблемы со словами неразрешимы на основе Проблема с почтовой корреспонденцией. Любые два гомоморфизмы с общим доменом и общим кодоменом образуют экземпляр проблемы корреспонденции Post, которая спрашивает, существует ли слово в такой области, что . Пост доказал, что эта проблема неразрешима; следовательно, любая проблема слов, которая может быть сведена к этой основной проблеме, также неразрешима.[1]

Другие приложения

Комбинаторика слов находит применение в уравнения. Маканин доказал, что можно найти решение конечной системы уравнений, когда уравнения строятся из слов.[1]

Смотрите также

Рекомендации

  1. ^ а б c d е ж грамм час я j k л м п о п q р s т ты v ш Икс у Берстель, Жан; Доминик Перрен (апрель 2007 г.). «Истоки комбинаторики слов». Европейский журнал комбинаторики. 28 (3): 996–1022. Дои:10.1016 / j.ejc.2005.07.019.
  2. ^ а б Егер, Герхард; Джеймс Роджерс (июль 2012 г.). «Теория формального языка: уточнение иерархии Хомского». Философские труды Королевского общества B. 367 (1598): 1956–1970. Дои:10.1098 / rstb.2012.0077. ЧВК 3367686. PMID 22688632.
  3. ^ Моралес-Буэно, Рафаэль; Баэна-Гарсия, Мануэль; Кармона-Сехудо, Jose M .; Кастильо, Глэдис (2010). «Подсчет факторов, избегающих слов». Электронный журнал математики и технологий. 4 (3): 251.

дальнейшее чтение

внешняя ссылка