Почему регулярные выражения называются "регулярными" выражениями?
Почему регулярные выражения называются регулярными выражениями?
5 ответов
Почему они называются "регулярными выражениями"?
Регулярные выражения восходят к работам американского математика по имени Стивен Клин (одна из самых влиятельных фигур в развитии теоретической информатики), который разработал регулярные выражения в виде нотации для описания того, что он назвал "алгеброй регулярных множеств". ". Его работа в конечном итоге нашла свое начало в некоторых ранних попытках с вычислительными алгоритмами поиска, а оттуда в некоторые из самых ранних инструментов манипулирования текстом на платформе Unix (включая ed и grep). В контексте компьютерных поисков "*" формально называют "звездой Клини".
То, что Клини имел в виду под "обычными событиями", было событием, обработанным набором нервных клеток - событием восприятия или мысли. В статье Клини ничего не говорится о компьютерах, программировании, сопоставлении шаблонов в тексте или поиске текста на компьютере. Бумага даже не была составлена на компьютере или рядом с ним, как указывалось бы в машинописи.
Как вы можете прочесть в превосходной истории регулярных выражений, в прекрасной книге Кристофера М. Келти [Логические инструменты: регулярные выражения, AI и мышление о мышлении] (2011) 1
Регулярные выражения возникают в неврологии и нейробиологии в работе McCulloch в 1930-х годах. Позже, в 1940-х годах, достижения МакКаллока и Питтса оказали гораздо большее влияние на инженерию, информатику и математику, чем на биологию или нейробиологию. Работы, в которых в качестве отправной точки используется логическое исчисление нервных сетей Маккаллока и Питтса, были чрезвычайно богаты математикой и информатикой. Формализация полностью, начиная, по крайней мере, с самих МакКаллоха и Питта, чью статью 1947 года "Как мы знаем универсалии" и статью 1959 года, которую они написали вместе с Леттвином и Матураной, "Что глаз лягушек говорит мозгу лягушки" [Lettvin et al., 1959, Pitts и McCulloch, 1947] оба отказываются от строгой формальной эквивалентности с исчислениями высказываний или машиной Тьюринга в пользу более сложных биологических моделей, которые менее поддаются логическим манипуляциям.
Изначально интерес МакКаллоха заключался в том, чтобы найти то, что он предположил как "психон" - или атомную единицу нейронной активности, которую он впервые искал в своих физиологических исследованиях, проведенных в 1930-х годах в сотрудничестве с Йельским физиологом Дж. Г. Дюссером де Баренном. В начале 40-х годов МакКаллох был представлен Уолтеру Питтсу Джеромом Леттвином и тем самым группе Николая Рашевского по математической биологии в Чикагском университете, где Уолтер Питтс активно работал над моделями нейронной активности с Рашевским и математиком Олстоном Хаусхолдером.
Сотрудничество между ними было в лучшем случае однобоким. Маккаллоху было за сорок, Питтсу было 17 лет; Маккаллох провел свою карьеру в области физиологии и философии. Питтс, по разным, а иногда и ненадежным причинам, был математическим вундеркиндом, сбежавшим из своего дома в Детройте и встретившим Бертрана Рассела в парке в Чикаго [Smalheiser, 2000, Schlatter and Aizawa, 2008]., Вместе, однако, им удалось собрать воедино что-то, что встретилось посередине, документ, демонстрирующий формальную эквивалентность между правдоподобной моделью нейронной активности и логическим исчислением.
Частью вдохновения Маккаллока и Питтса для их бумаги была машина Тьюринга. Как говорит Тара Абрахам, "Тьюринг смог определить сложный процесс вычислений в" механических "терминах с понятием простого алгоритма, настолько исчерпывающего, строгого и однозначного, что исполнителю не понадобятся" математические знания "для выполнения своей задачи.. "[Абрахам, 2003, 18] Эта идентификация вычислений с помощью автоматической процедуры дала МакКаллоху и Питтсу вдохновение для того, чтобы смоделировать набор нервов как нечто, что могло бы также вычисляться" в отсутствие математических знаний ".
Оглядываясь назад, то, что достигли МакКаллох и Питтс, было гораздо более влиятельным в области инженерии, информатики и математики, чем в биологии или нейробиологии.
Клини, Стивен С. (1956), "Представление событий в нервных сетях и конечных автоматах"
знаменитая статья 1959 года Дж. Ю. Леттвина, Х. Р. Матурана, В. С. Маккаллока и В. Х. Питтса " Что глаз лягушки говорит мозгу лягушки"
В 1968 году Кен Томпсон опубликовал небольшую статью "Методы программирования" для CACM, в которой он описал "Алгоритм поиска регулярных выражений"
Потому что раньше они были регулярными. См. http://en.wikipedia.org/wiki/Regular_language и http://en.wikipedia.org/wiki/Regular_expressions. Ларри Уолл выступает за то, чтобы назвать современных регулярными, потому что они больше не похожи на обычные.