Help me make a combined NFA for this languag

  • Thread starter Thread starter zeion
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
zeion
Messages
455
Reaction score
1

Homework Statement



Give an NFA and RE for each of the following languages.

L1 = {s \in {a, b, d}* : s contains exactly one occurrence of the substring "dab" and no occurrence of the substring "bad"}

Homework Equations


The Attempt at a Solution



I made two separate NFAs for each condition, then tried to combine them:Do they look right?
How can I simplify the combined one so that I can make a RE expression out of it?
I'm not sure how to make a "trap" state because the accepting states all have different paths to dead states?

Any help appreciated, thanks.
Thanks.
 

Attachments

  • e6-2aNFA_Bottom.jpg
    e6-2aNFA_Bottom.jpg
    5.7 KB · Views: 530
  • e6-2aNFA_Top.jpg
    e6-2aNFA_Top.jpg
    10.2 KB · Views: 494
  • e6-2aNFA.jpg
    e6-2aNFA.jpg
    5.8 KB · Views: 532
Last edited:
Physics news on Phys.org
No one knows how to make DFA's?