Подтвердить что ты не робот

Почему регулярные выражения называются "регулярными" выражениями?

Почему регулярные выражения называются регулярными выражениями?

4b9b3361

Ответ 2

Почему они называются "регулярными выражениями?"

Регулярные выражения возвращаются к работа американского математика по имя Стивена Клин (один из наиболее влиятельные фигуры в развитие теоретического компьютера науки), которые выражения как обозначение для описывая то, что он назвал "алгеброй регулярных множеств. нашел свое начало в некоторых ранних усилиях с алгоритмами вычислительного поиска, и оттуда к некоторым из ранних инструменты для обработки текста в Unix платформу (включая ed и grep). В контекст компьютерных поисков," * "официально известна как" Клин звезда ".

Из здесь.

Ответ 3

То, что Клейн подразумевал под "регулярными событиями", было событием, обработанным набором нервных клеток - событием восприятия или мысли. В документе Kleenes ничего не говорится о компьютерах, программировании, сопоставлении шаблонов в тексте или поиске текста на компьютере, бумага даже не была составлена ​​на компьютере или рядом с ним, как указывает typescript.

Как вы можете прочитать в отличной истории регулярных выражений, в прекрасной книге Кристофера М. Келти  [Логические инструменты: регулярные выражения, AI и мышление о мышлении] (2011) 1

Регулярные выражения возникают в неврологии и нейробиологии в работе Маккаллоха в 1930-х годах. Позже в 1940-х годах, что Маккаллох и Питтс достигли, были гораздо более влиятельными в технике, информатике и математике, чем в биологии или нейробиологии. Работы, которые берут Маккаллох и Питтс логическое исчисление нервных сетей в качестве отправной точки, были необычайно щедрыми в математике и информатике. Формализация целиком, начиная, по крайней мере, с самого Маккаллоха и Питта, чья статья 1947 года "Как мы знаем универсалии" и документ 1959 года, который они писали с Lettvin и Maturana: "Что лягушки  Глаз рассказывает мозгу лягушек "[Lettvin et al., 1959, Pitts and McCulloch, 1947] оба отказались от строгой формальной эквивалентности с пропозициональными исчислениями или машиной Тьюринга в пользу более сложных биологических моделей, которые менее поддаются логической манипуляции.

Вначале Маккаллох интересовался тем, что он предположил как "психон" или атомную единицу нейронной активности, которую он впервые искал в своих физиологических исследованиях, проведенных в 1930-х годах в сотрудничестве с Йельским физиологом Ж.Г. Dusser de Barenne. В начале 1940-х годов Маккаллох был представлен Уолтеру Питту Джеромом Леттвином и, таким образом, группе математической биологии Николая Рашевского в Чикагском университете, где Уолтер Питтс активно работал над моделями нейронной деятельности с Рашевским и математиком Холстом Альстоном.

Сотрудничество между ними было в лучшем случае однобоким. Маккаллоху было лет сорок, Питтс было 17; Маккаллох провел свою карьеру в области физиологии и философии, Питтс был разными, а иногда и ненадежными - математическим вундеркиндом, который убежал из своего дома в Детройте и встретил Бертрана Рассела в парке в Чикаго [Smalheiser, 2000, Schlatter and Aizawa, 2008], Вместе, однако, им удалось собрать что-то, что встречалось посередине, документ, который продемонстрировал формальную эквивалентность между вероятной моделью нейронной деятельности и логическим исчислением.

Часть вдохновения Маккаллоха и Питта для их бумаги была машиной Turings. Как утверждает Тара Абрахам, "Тьюринг смог определить сложный процесс вычисления в механическом смысле, с понятием простого алгоритма, настолько исчерпывающим, строгим и однозначным, что исполнитель не нуждается в математических знаниях для выполнения своей задачи" [Авраам, 2003, 18]. Эта идентификация вычислений с автоматической процедурой обеспечила вдохновение для Маккаллоха и Питта моделировать набор нервов как нечто, что также могло бы подсчитать "в отсутствие математических знаний".

Оглядываясь назад, то, что достигли Маккаллох и Питтс, было гораздо более влиятельным в технике, информатике и математике, чем в биологии или нейробиологии.

Kleene, Stephen C. (1956)," Представление событий в нервных сетях и конечных автоматах

знаменитая статья 1959 года Дж. Я. Леттвина, Х. Р. Матурана, У. С. Маккаллох и У. Х. Питтс, Что Лягушачий глаз рассказывает о лягушачьем мозге

В 1968 году Кен Томпсон опубликовал короткую статью "Методы программирования" для CACM, в которой он описал "Алгоритм поиска регулярных выражений"