Ну константа памяти это регулярные языки. Домашнее задание: доказать, что правильные скобочные последовательности не образуют последнего
«регулярный => константа» — согласен, так как можно построить КА. Но в обратную сторону не обязательно верно, так как могут быть частные случаи, решаемые тоже с константой. Вот, скобочки, например. Обычные, без *. Просто считаем сколько открылось, сколько закрылось. Тут счётчик — это вырожденный стек для одинаковых элементов.