[Языки и регулярные выражения] Алгоритм Карпова на C++ Builder

[Tsunami]

Постановка задачи - необходимо преобразовать регулярное выражение вида (a|b)*a(a|b)(a|b) в конечный автомат вида

1) M = {{1, 2, 3, 4}, {a, b}, D, 1, {4}},
где функция переходов D определяется так:
D(1, a) = {1, 2},
D(3, a) = {4},
D(2, a) = {3},
D(3, b) = {4},
D(2, b) = {3}.

2) и представить его в виде графа.


Вот ссылка с примером (см. пункт 3.3): http://citforum.ru/programming/theor...ryakov/3.shtml

Подробнее насчет алгоритма Карпова можно посмотреть в книге "Карпов Ю. Г. Теория автоматов". Ссылка прилагается - http://www.twirpx.com/file/7268/

Насчет решения: Насколько я понял, автомат и функцию переходов можно сделать при помощи работы со строками, а вот граф - не имею представления. И, может быть, уже есть реализации подобного алгоритма на других языках, буду признателен за ссылки.