Регулярное выражение | Содержит "ббб"

Скороговорка вид простой

/b{3}/g

если вам нужно, чтобы он соответствовал 3 и только 3 'b', вы можете использовать

/b{3}[^b]?/g

Основываясь на теге «автоматы», я предполагаю, что вы ищете формальное регулярное выражение для этого формального языка. В этом случае регулярное выражение будет (a+b)ббб(а+б). Анатомия этого регулярного выражения следующая:

• (a+b) дает либо «a», либо «b»
• (a+b)* дает любую строку из «a» и «b» независимо от того,
• bbb дает только строку bbb
• все регулярное выражение описывает любую строку, которая начинается с чего угодно, затем имеет bbb, а затем заканчивается чем угодно

Чтобы доказать правильность этого регулярного выражения, обратите внимание, что:

• Это регулярное выражение генерирует только строки, содержащие подстроку bbb. Это из-за средней части.
• Это регулярное выражение генерирует все строки, содержащие подстроку bbb. Предположим, что есть некоторая строка, содержащая подстроку bbb, которую не сгенерировало это регулярное выражение. Строка либо начинается с bbb, либо нет. Если да, то строка генерируется нашим регулярным выражением путем повторения первого (a+b) ноль раз и второго (a+b) n - 3 раза, где n — длина строки. В противном случае, если он не начинается с bbb, считайте суффикс длины n - 1 рекурсивным случаем. Продолжайте таким образом до тех пор, пока вложенный регистр не будет начинаться с bbb ​​(в конце концов он должен). Поскольку этот суффикс описывается нашим регулярным выражением, исходный случай должен быть таким же, поскольку мы можем просто повторить первый (a+b) дополнительное количество раз, равное глубине рекурсии.

Добрый вечер! вы можете использовать это выражение, оно может сработать

(a+b)* (bbb)(a+b)*

использование этого приводит к генерации тройной (bbb) минимальной строки

и, закрывая (a+b), вы можете сгенерировать любой тип строк, содержащих тройку b в них