支持学科：数据结构、计算机组成原理、编译原理
测试基于自然语言提取的句子，展示 AST 并在两侧对比不同样式语法的展示效果。
针对经典算术表达式的二义性验证。系统会尝试搜索两套不同的最左推导。
在规范规约中，句柄是指右句型中匹配某个产生式右部，并且将其替换为左部非终结符后，代表了最右推导，最后一步（即最左规约的当前步）的那个子串。
输入文法产生式 (以空格分隔符号，用大写字母表示非终结符)，系统将自动判断其所属的最高型文法。
自动扫描源代码，切分为五大类单词符号（Token）：关键字、标识符、常数、运算符、界符。