Regular-Expressions-To-Automata Visual Simulator
The ReXTAViS is a graphical tool for visualisation,
writen on Java language,of one of basic theorems in
Automata and Formal Languages course.
Given a regular expression, the program shows, step by step,
the labeled graph of corresponding finite automaton.
For your convenience, you can change positions of its nodes,
by dragging them by mouse.
All information about the theorem and using this tool you can get
by using left-side menu.
Students:
Supervisor of mini-project Prof. Yefim Dinitz
Ben-Gurion University , CS Department , 2000.