VN For Mac

VN (Visualization of Nondeterminism) is a free and open-source tool that allows you to study the behavior of nondeterministic finite automata (NDFA).

VN takes a description of an automaton and generates a nondeterministic program; the pro- gram can then be executed randomly or guided interactively. The automaton and the execution path are graphically displayed.

The display of VN is divided into three scrollable panes. Messages from VN are dis- played in the text area at the bottom of the screen. Graphs of automata are displayed in the left-hand pane and graphs of the paths are displayed in the right-hand pane.

The size of the panes is adjustable and the small triangles on the dividers can be used to maximize a pane. Above the panes is another text area called the path area where execution paths of the automaton are displayed. Interaction with VN is through a toolbar. All toolbar buttons have mnemonics (Alt-character).