LR(1) Machine Visualization Tool

For some more extra fun, we have made an LR(1) file format visualization tool available. The program takes a .lr1 file from standard input and outputs a file in the .dot file format. See the manual page for the dot tool for more details. This is also the tool we (sometimes) use to draw DFA bubble diagrams.

Usage: (for producing a gif image on the undergraduate environment)

java cs241.lr1viz.Lr1Viz < sample.lr1 > sample.dot
dot -Tgif -o sample.gif sample.dot

Note

This tool is also available for Mac OS X, Linux and Windows. You can download the graph visualization software here:
http://www.graphviz.org/.