Как перевести недетерминированный конечный автомат (NFA) в детерминированный (DFA)?

Получил задание написать перевод недетерминированного конечного автомата в детерминированный.

Полное решение автомата я сделал на листе. Как перенести его на паскаль? Как записывать путь по которому может проходить значения в автомате?

Конечное решение на листе прилагаю.