rpns
Junior Member | Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
yurinb
Цитата:| Например надо найти все строки кроме теж которые содержат слово "word". |
Для "теоретичности" ограничимся пустой строкой, операциями |, * и конкатенацией. Считая алфавит S = {a, ..., z} конечным, допустим производные от них сокращения: +, ?, [ ], [^ ], {N, M}, {N}, {N, }, где - N и M - конечные.
Обозначим:
A := [^w]*
B := w[^o]
C := wo[^r]
D := wor[^d]
E := (((A | B) | C) | D )*
Почему бы выражению (после подстановки значений метаконстант) ниже не быть искомым?
(((Ew | Ewo) | Ewor) | E) |
