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