判断题在语法制导定义中，其中的文法被称为基础文法。
判断题分析树子结点由非终结符本次推导所用产生式的右部的各符号从右到左依次来标记。
判断题由上下文无关文法产生的语言叫做上下文无关语言。
判断题有限自动机分成确定的和不确定的两种情况。
判断题正规式a*表示由字母a构成的所有串的集合其中不包括空串。
