It's non-deterministic because q1
has two different transitions on #
.
After (#
, the machine is in states q1
and q3
, and will accept all of @)
, #@)
, ##@)
, etc.
State q3
is, however, redundant. You could just remove it to produce a DFA that accepts the same language.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.