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

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

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

LM表示L和M的并。

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

如果X和Y都是串，那么X和Y的连接是把Y加到X的后面形成的串。

判断题如果X和Y都是串，那么X和Y的连接是把Y加到X的后面形成的串。