判断题有限自动机分成确定的和不确定的两种情况。
判断题正规式a*表示由字母a构成的所有串的集合其中不包括空串。
判断题LM表示L和M的并。
判断题如果X和Y都是串，那么X和Y的连接是把Y加到X的后面形成的串。
判断题流图的结点是基本块。
