【单选题】关于NFA定义,下列说法不正确的是:A. 字母表必须是有穷集合。B. 初始状态集合不能为空。C. 终止状态集合不能为空。D. 状态集合须是有穷集合

步骤 1：理解NFA定义
NFA（非确定性有限自动机）是一种计算模型，它由一个状态集合、一个字母表、一个初始状态集合、一个终止状态集合和一个转移函数组成。其中，状态集合和字母表必须是有穷集合，初始状态集合不能为空，但终止状态集合可以为空。

步骤 2：分析选项
A. 字母表必须是有穷集合。这是正确的，因为NFA的定义要求字母表是有穷集合。
B. 初始状态集合不能为空。这是正确的，因为NFA的定义要求初始状态集合不能为空。
C. 终止状态集合不能为空。这是不正确的，因为NFA的定义允许终止状态集合为空。
D. 状态集合须是有穷集合。这是正确的，因为NFA的定义要求状态集合是有穷集合。

步骤 3：选择正确答案
根据上述分析，选项C是不正确的。