NFA to Regex Conversion Example #1, 'Simple' (GNFA Method)

preview_player
Показать описание


▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
Рекомендации по теме
Комментарии
Автор

After having to search for hours to find a clear and simple explanation of NFA to regex with state eliminaiton, your video clearly beats everything else! Thank you very much and continue your amazing job!

kostastsaousis
Автор

Dude you are an absolute beast. Thanks so much for helping me get through CSE 355

rushilpunya
Автор

Amazing video, understood how to do the conversion in 5 minutes.

adityap
Автор

In your example around the 2 minute mark, you claim the automaton is a DFA. That is incorrect, because in a DFA, a state can never transition on two of the same symbol. I.e., q_2, cannot self loop, and transition to q_0 on the same input. That implies the automaton has guessing power, which is a prime characteristic of an NFA

NuggzBii
Автор

What if the original initial state was also a final state?

Kbro
Автор

I love your videos!
I'd also like to ask a question:
If the start state is also an accepting state and there is no more accepting states, do we draw an arrow from the universe to this start/accept state and back to the universe (Start/Finnish states)?

Lexaugd
Автор

Shouldn't it be (b U (b a*)*) since we can loop as many times as we wish over q0 after removing q2 ?

MLOasis
Автор

Is there any way to find minimal regex?

siddhantdash
Автор

Sir why did you put whole * in last step (rip q0) but why no * for a in Rio q1

ezhilvathani
Автор

How do you find regex given an nfa with multiple accepting states?

rheabhatia
Автор

I ripped q1 first and got a shorter, different result: (b∪ba*a)*a is it wrong?

bloodthirstybutcher
Автор

Hello, can anyone tell me how i can write regex for the trap states ??? Do i just omit them and not take them into account ?

barisonearth