In state S3, the NFA may move to S1 without consuming an input character.
在状态S3，NFA可以移动到S1而不消耗任何输入字符。