Сопоставление с образцом работает так: по заданным правилам формируется дерево решений. Парсер сканирует строку с самого начала, каждому узлу дерева решений соответствует либо окончание разбора и выдача результата, либо продвижение ниже по дереву, либо возврат ошибки.
Это один из вариантов реализации паттерн-матчинга. ПМ делают и на регекспах тоже. Сам ПМ - это про "что делается", а не "каким образом делается"