判断题 确定的有限自动机从任何状态出发，对于任何输入符号，最多只有一个转换。

判断题 NFA可以用带标记的有向图表示，即状态转换图，结点表示状态，有标记的边代表转换函数。

单项选择题 静态存储分配允许程序出现（）。