Сложность замены регулярных выражений

Другая теоретическая информация, которая regular-expressions может вас заинтересовать.

Для regexp ясности используйте стандартное regular-expression определение регулярного выражения

http://en.wikipedia.org/wiki/Regular_language

из regularexpression теории формального языка. Практически regexp это означает, что единственное complexity-theory здание материала - символы perlre алфавита, операторы конкатенации, чередования perlre и Замыкание Клини вместе perlre с единичной и нулевой константами regular-expressions (которые появляются для теоретико-групповые regex соображения). Как правило, не regular-expressions стоит перегружать этот термин. несмотря complexity на повседневную практику regexp языков сценариев, которая complexity-theory приводит к двусмысленность.

Существует regex конструкция NFA, которая regexp решает проблему соответствия regularexpression для обычного выражение r regular-expressions и входной текст t во времени regularexpression O (| r | | t |) и пространстве asymptotic-complexity O (| r |), где | - | - функция regularexpression длины. Этот алгоритм был perlre дополнительно улучшен Майерсом

http://doi.acm.org/10.1145/128749.128755

к asymptotic-complexity временной и пространственной regex-php сложности O (| r | | t | / log perl-regex | t |) с использованием автоматных regular-expressions списков узлов и парадигмы perl-regex четырех русских. Эта парадигма, кажется, названа regularexpression в честь четырех русских парней, написавших perl-regex новаторскую статью, которая complexity-theory не соответствует действительности. онлайн. Однако asymptotic-complexity парадигма проиллюстрирована regex-php в этих вычислительных биологиях. конспекты perl-regex лекций

http://lyle.smu.edu/~saad/courses/cse8354/lectures/lecture5.pdf

Я считаю забавным называть regularexpression парадигму цифрами и национальность perl-regex авторов вместо их фамилий.

Проблема regular-expression сопоставления регулярных asymptotic-complexity выражений с добавленными asymptotic-complexity обратными ссылками: NP-полная, что regexes доказал Ахо

http://portal.acm.org/citation.cfm?id=114877

редукцией из задачи complexity-theory о вершинном покрытии, которая regular-expressions является классической NP-полной complexity проблемой.

Для детерминированного regular-expressions сопоставления регулярных regular-expression выражений с обратными ссылками complexity-theory мы могли бы использовать complexity-theory отслеживание с возвратом regexes (в отличие от движка регулярных regularexpression выражений Perl), чтобы отслеживать возможные perlre подслова входного текста perl-regex t, которые могут быть присвоены perlre переменным в р. Есть только regular-expressions O (| t | ^ 2) подслов, которые regularexpression могут быть присвоены любой regex-php переменной. в г. Если в r regular-expressions есть n переменных, то существует regex O (| t | ^ 2n) возможных задания. После asymptotic-complexity того, как присвоение подстрок regularexpression переменным зафиксировано, проблема asymptotic-complexity сводится к простому сопоставлению regular-expressions регулярных выражений. Следовательно сложность complexity-theory наихудшего случая сопоставления regularexpression регулярных выражений с обратными asymptotic-complexity ссылками составляет O (| t regexes | ^ 2n).

Обратите внимание, что regexp регулярные выражения с обратными regexp ссылками еще не полнофункциональное regular-expressions регулярное выражение.

Возьмем, к regexes примеру, символ "все complexity-theory равно" отдельно от других операторы. Существует perl-regex несколько полиномиальных regex алгоритмов, определяющих, является regularexpression ли набор Шаблоны соответствуют regularexpression входному тексту. Например, Кучеров regex-php и Русинович

http://dx.doi.org/10.1007/3-540-60044-2_46

определить шаблон complexity как слово w_1 @ w_2 @ ... @ w_n, где complexity каждый w_i - это слово (не regexes регулярное выражение), а regular-expressions «@» - символ переменной длины regex-php «безразлично», не содержащийся regex ни в одном из w_i. Они выводят perl-regex алгоритм O ((| t | + | P complexity |) log | P |) для сопоставления asymptotic-complexity набора шаблонов P с входным perlre текстом t, где | t | - длина regex текста, а | P | длина всех regular-expression слов в стр.

Было бы интересно perl-regex узнать, как сочетаются эти regular-expression меры сложности и какие является regex мерой сложности задачи сопоставления perlre для регулярных выражений complexity-theory с обратные ссылки, "пофиг" и perlre другие интересные особенности perlre практического регулярные regular-expression выражения.

Увы, про Python regexes я ни слова не сказал ... :)