Да, так и есть. Я, наверное, зря расширил логический пример до самого большого охвата, это "жадный" квантификатор проходит до самого конца. Вы правы, ленивый остановится на ближайшей скобке.
Но логика у него внутри примерно та же, что и у жадного - в поисках символа конца строки он проходит до самого конца, включая в выборку все фрагменты в скобках.