需要JRE或者JDK
下载ANTLRWorks: http://www.antlr.org/works/index.html
查看DFA需要使用Graphviz，下载安装: http://www.graphviz.org/
运行antlrworks-1.1.7.jar，在菜单File -> Preferences中设置DOT path为Graphviz安装路径"bin"dot.exe。这里还可以设置ANTLR的临时工作目录、global options，Java的CLASSPATH、javac路径等。
编辑
打开文章后面给出的Expr.g语法文件。
1. Syntax Diagram。选择一个语法规则，在Syntax Diagram窗口可以看到语法图，例如stat:
这样可以了解ANTLR是如何解析语法描述的，例如ANTLR笔记2中提到的expr: PLUS expr | INT;，语法图如下，这样就不会理解为expr: PLUS (expr | INT);这种效果。
勾选Syntax Diagram右下角的NFA可以查看NFA，例如stat:
2. DFA。菜单Grammar -> Show Tokens DFA可以查看语法的DFA，例如官方网站的截图:
3. 一些不错的编辑操作。
a.) 查看语法规则的使用状况。选择某个语法规则，Alt+F7。
b.) 快速定位语法规则。Ctrl+Shift+B。
解释
在Interpreter窗口输入2+3*4，并加上一个回车，选择prog语法规则，点击运行按钮，分析结果语法树如下:
调试
Ctrl+D调出调试窗口，文本输入2+3*4，并加上一个回车，Start Rule选择prog，确定。然后就可以单步调试ANTLR语法解析过程，可以看到每个步骤当前执行的一些信息，例如输入字符、分析结果语法树、堆栈情况等。
ANTLR只能调试Java的，C#的调试参考http://www.antlr.org/wiki/display/ANTLR3/Antlr+3+CSharp+Target，我试了一下没有成功。
附示例语法文件Expr.g
grammar Expr;
@header {
package test;
import java.util.HashMap;
}
@lexer::header {package test;}
@members {
/** Map variable name to Integer object holding value */
HashMap memory = new HashMap();
}
prog: stat+ ;
stat: expr NEWLINE {System.out.println($expr.value);}
| ID '=' expr NEWLINE
{memory.put($ID.text, new Integer($expr.value));}
| NEWLINE
;
expr returns [int value]
: e=multExpr {$value = $e.value;}
( '+' e=multExpr {$value += $e.value;}
| '-' e=multExpr {$value -= $e.value;}
)*
;
multExpr returns [int value]
: e=atom {$value = $e.value;} ('*' e=atom {$value *= $e.value;})*
;
atom returns [int value]
: INT {$value = Integer.parseInt($INT.text);}
| ID
{
Integer v = (Integer)memory.get($ID.text);
if ( v!=null ) $value = v.intValue();
else System.err.println("#ff0000 variable "+$ID.text);
}
| '(' e=expr ')' {$value = $e.value;}
;
ID : ('a'..'z'|'A'..'Z')+ ;
INT : '0'..'9'+ ;
NEWLINE:'"r'? '"n' ;
WS : (' '|'"t')+ {skip();} ;
@header {
package test;
import java.util.HashMap;
}
@lexer::header {package test;}
@members {
/** Map variable name to Integer object holding value */
HashMap memory = new HashMap();
}
prog: stat+ ;
stat: expr NEWLINE {System.out.println($expr.value);}
| ID '=' expr NEWLINE
{memory.put($ID.text, new Integer($expr.value));}
| NEWLINE
;
expr returns [int value]
: e=multExpr {$value = $e.value;}
( '+' e=multExpr {$value += $e.value;}
| '-' e=multExpr {$value -= $e.value;}
)*
;
multExpr returns [int value]
: e=atom {$value = $e.value;} ('*' e=atom {$value *= $e.value;})*
;
atom returns [int value]
: INT {$value = Integer.parseInt($INT.text);}
| ID
{
Integer v = (Integer)memory.get($ID.text);
if ( v!=null ) $value = v.intValue();
else System.err.println("#ff0000 variable "+$ID.text);
}
| '(' e=expr ')' {$value = $e.value;}
;
ID : ('a'..'z'|'A'..'Z')+ ;
INT : '0'..'9'+ ;
NEWLINE:'"r'? '"n' ;
WS : (' '|'"t')+ {skip();} ;