单项选择题

A.字母表必须是有穷集合
B.初始状态集合不能为空
C.终止状态集合不能为空
D.状态集合须是有穷集合