简体   繁体   中英

Non-deterministic finite automata

Could someone explain why this(the automata in the picture)is a NDFA? Is it because it only has one initial state or because there are several arrows with the same symbol that arrive at the same state? I dont quite understand if one of those things define it as an NDFA? 在此处输入图片说明

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.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM