由上下文无关文法产生的语言叫做上下文无关语言。

有限自动机分成确定的和不确定的两种情况。

判断题有限自动机分成确定的和不确定的两种情况。

正规式a*表示由字母a构成的所有串的集合其中不包括空串。

判断题正规式a^*表示由字母a构成的所有串的集合其中不包括空串。

LM表示L和M的并。

判断题LM表示L和M的并。