Создание картины DFA, которая распознает данные регулярные выражения

Question

Существует ли инструмент, который примет список регулярных выражений и создаст картину минимального DFA, который распознает эти регулярные выражения, каждый в своем соответствующем конечном состоянии?

Это должно выглядеть примерно так: http://i.imgur.com/Vxw9X.jpg Фотография взята из класса компиляторов Стэнфорда, вероятно, сделана самим учителем. Этот FA обрабатывает подмножество токенов Паскаля, нумерованные / буквенные состояния являются конечными состояниями.

Мне не нужен фактический код для DFA, просто картинка того, как он выглядит.

Если такого инструмента не существует, как бы мне заняться созданием такого рода графиков? Есть ли какая-нибудь специализированная библиотека Python GUI, которая сделает это?

Answer 1

Я не помню, если он делает точно , что вы хотите, но JFLAP Позволит вам ввести регулярное выражение, а затем преобразовать в NFA / DFA.