Теория последовательностей или теория строк, называемая также чистым синтаксисом — изучает символьные строки, над конечными алфавитами, в виде символов, знаков, обозначений или меток. Теория строк является основой формальной лингвистики, информатики, логики и метаматематики, особенно теории доказательств.[1] Порождающая грамматика, может рассматриваться, как рекурсивное определение, в теории строк.
Наиболее простой операцией над строками является конкатенация:
Соединение двух строк, для получения более длинной строки, информация о которой складывается из суммы значений этих строк.
ABCDE — конкатенация AB и CDE, в символах ABCDE = AB ^ CDE.
Строки и конкатенация строк могут рассматриваться как алгебраическая система со свойствами, напоминающими свойства сложения целых чисел. В современной математике такая система называется свободным моноидом (free monoid).
В 1956 году, Алонзо Черч писал: «Как и любая другая отрасль математики, теоретический синтаксис может и, в конечном итоге, должен изучаться с помощью аксиоматического метода».[2] Черч, очевидно, не знал, что теория строк уже имела две аксиоматизации, предложенную в 1930-х годах: одну — Ганса Гермеса (Hans Hermes), другую — Альфредом Тарски.[3] По случайному совпадению, первое англоязычное изложение аксиоматических основ теории конкатенации Тарского 1933 года появилось в 1956 году — в тот же год, когда Черч призвал к подобной аксиоматизации.[4] Как отмечал сам Тарский, используя другую терминологию, серьезные трудности возникают, если строки трактовать как токены, а не как типы в смысле различие типа и токена, предложенного ПирсомШаблон:Нет АИ.
Примечания
Шаблон:Примечания
Литература
Шаблон:Math-stub
Партнерские ресурсы |
---|
Криптовалюты |
|
---|
Магазины |
|
---|
Хостинг |
|
---|
Разное |
- Викиум - Онлайн-тренажер для мозга
- Like Центр - Центр поддержки и развития предпринимательства.
- Gamersbay - лучший магазин по бустингу для World of Warcraft.
- Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память.
- Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России.
- Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме.
- Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео.
- Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет
- SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона.
- «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется.
- StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.
- Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено.
- StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.
|
---|
- ↑ John Corcoran and Matt Lavine, «Discovering string theory». Bulletin of Symbolic Logic. 19 (2013) 253-4.
- ↑ Alonzo Church, Introduction to Mathematical Logic, Princeton UP, Princeton, 1956
- ↑ John Corcoran, William Frank and Michael Maloney, «String theory», Journal of Symbolic Logic, vol. 39 (1974) pp. 625—637
- ↑ Pages 173-4 of Alfred Tarski, The concept of truth in formalized languages, reprinted in Logic, Semantics, Metamathematics, Hackett, Indianapolis, 1983, pp. 152—278