试题出自试卷《（202505软设冲刺）- 8程序设计语言与语言处理程序基础》

问题1选项
A.不能包含连续的字符“0”
B.不能包含连续的字符“1”
C.必须以“101”开头
D.必须以“101”结尾

D

本题考查NFA有限自动机相关问题。

针对这类问题，可以采取找出对应反例的形式表示。
S₀是初态，S₃是终态，识别出从S₀为初态到S₃为终态的路径。
可以看到无论如何到达S3终态都需要经过S1-S2，即末尾必须存在”101“结尾的。D选项正确。
对于A和B选项不能包含连续字符的”0“和“1”，我们可以看到在S₀初态中，有1个字符串0和1自循环，是可以包含连续的”0“和”1“的，所以错误。
对于C选项必须以“101”开头，说法错误，可以任意10的字符开头。

因此，ABC描述与题意不符，本题选择D选项。