В конце страницы есть попытка объяснить, как работают жадные, неохотные и притяжательные квантификаторы: http://docs.oracle.com/javase/tutorial/essential/regex/quant.html Однако я попробовал себе пример и, кажется, не понимаю его полностью. Я...

Мне нужно рубиновое регулярное выражение для создания 11 групп, разделенных символами подчеркивания, но чтобы они вообще не совпадали, если символов подчеркивания больше 11. Мне также нужно, чтобы последовательные символы подчеркивания воспринимались...

Возьмем этот пример: import re re.search(r"\bsr\.?\b","sr. manager") ‹Объект _sre.SRE_Match; промежуток = (0, 2), совпадение = 'sr'> Это не тот результат, которого я ожидал. Квалификатор ? является жадным, поэтому он должен...

Я получаю ошибку invalid Ident в строке forall (от is до первой i ), кто-нибудь знает почему? Это необычно. predicate SumMaxToRight(v:array<int>,i:int,s:int) reads v requires 0<=i<v.Length {forall l, is {:induction l} ::...