判断题正规式a*表示由字母a构成的所有串的集合其中不包括空串。
判断题LM表示L和M的并。
判断题如果X和Y都是串,那么X和Y的连接是把Y加到X的后面形成的串。
判断题流图的结点是基本块。
判断题静态单赋值形式是一种便于某些代码优化的中间表示。