DFA to Regular Expression Conversion

Поділитися
Вставка
  • Опубліковано 1 січ 2025

КОМЕНТАРІ • 148

  • @TheJohnJaded
    @TheJohnJaded 6 років тому +259

    Q4 is left out of the final expression due to the fact that it is a sink state, a state that locks in anything that is not accepted by the machine. The regular expression derived matches the accepting state of the DFA. If you are unsure, go ahead and generate some strings using the regular expression. Then try to see if you can get to an accepting state of the DFA with the generated strings.

    • @kapildeshmukh7878
      @kapildeshmukh7878 4 роки тому +21

      Thanks
      q4 is the dead state or trap state. I get it 👑

    • @CellerCity
      @CellerCity 2 роки тому +2

      Yeah it's kinda dummy state

    • @hkstar2871
      @hkstar2871 2 роки тому +3

      good observation

    • @lehaswinipalla3365
      @lehaswinipalla3365 Рік тому +2

      thanks for clearing that!

    • @nehabhokare5638
      @nehabhokare5638 24 дні тому

      Thanks ❤.....Comments like this ,plays an important role to clear some confusions

  • @suvankar54
    @suvankar54 2 роки тому +26

    Book : Mishra and Chandrasekaran ; Page no 149 (3rd ed), example 5.9.

  • @denizyunusgogus
    @denizyunusgogus 2 роки тому +96

    These gonna make no difference in our lives but thanks(!) to our school system, yet we are here... Thank you Neso for helping us fight against this shtty sistem.

    • @s.k.abishek489
      @s.k.abishek489 Рік тому +6

      So true...

    • @yash1152
      @yash1152 Рік тому +7

      रोते रहो, तुम्हारी जिन्दगी में किसी चीज का वैसे भी कोई काम नहीं होगा ... CS नहीं लेनी चाहिए तुम जैसों को, BCA करते आराम से।

    • @yash1152
      @yash1152 Рік тому

      यूट्यूब भी पता नहीं क्यों ऐसी अजीब सी टिपण्णियाँ दिखा रहा है आजकल सबसे ऊपर

    • @meggy5
      @meggy5 Рік тому +14

      ​@@yash1152 you need to cry sir

    • @rahulraushan1910
      @rahulraushan1910 11 місяців тому +1

      ​@@yash1152lekin BCA ke bad MCA me to ye padhna hi hai at last.

  • @deependra5233
    @deependra5233 7 років тому +25

    You are the best .... U make everything so simple. I am so thankful to you.

  • @caesarshi9114
    @caesarshi9114 3 роки тому +2

    U make the DFA to rexp be simple, Really. The best video for that.

  • @deependrabajracharya4148
    @deependrabajracharya4148 5 років тому +24

    Thank you so much for explaining in such a simple and understandable way. :)

  • @CorSmith94
    @CorSmith94 7 років тому +4

    Excellent example. Thanks!

  • @EasyTheory
    @EasyTheory 4 роки тому +4

    Thanks for this Theory of Computation video! Is there a problem that you want to see done?

  • @queenofmyworld2761
    @queenofmyworld2761 Рік тому +1

    Tooo good simply explaination wowwwwww thank uuuu

  • @terraknight9724
    @terraknight9724 3 роки тому +1

    Very good and funny videos bring a great sense of entertainment!

  • @gbemisolaagboola8255
    @gbemisolaagboola8255 8 місяців тому +1

    i cant find the previous lecture that explains the steps, please drop link

  • @jettipremkumar8646
    @jettipremkumar8646 7 років тому +13

    What about state q4 equation?? And what if there are multiple accepting states

  • @sayyedwaliullah5587
    @sayyedwaliullah5587 5 років тому +1

    Wow so easy explanation

  • @CLG111
    @CLG111 Рік тому +4

    Explain how you determine when to substitute in? In this example you substituted q1 and q2 in the previous exercise there seemed to be selective substitution. Do you automatically substitute equation for the highest state or do you substitute equations for all the states into final state?

  • @wnstnn
    @wnstnn 7 років тому +12

    Thanks sir. How do solve this when there are more accepting states?

    • @Flare03l
      @Flare03l 7 років тому +7

      Here's what I do!
      Make the DFA an NFA (no changes required, but maybe you can eliminate the error state if you know which one it is)
      Turn the NFA into a GNFA:
      ∗ Only one start state, no incoming transitions (make a new start state, and put ε transitions from it to the previous start state)
      ∗ Only one accept state, no outgoing transitions (make a new accept state, and put ε transitions from it to the accept state)
      then the rest is basically the same

  • @MohammadKhan-g9e
    @MohammadKhan-g9e 3 місяці тому

    Big fan Dr Niso Sir

  • @umamanikantaikkurthi
    @umamanikantaikkurthi 3 місяці тому +1

    That Q4 state is useless, it will be considered as dummy state or a dead state since there is no transition to get back from Q4. But, to get a Complete DFA, we need to introduce this dummy state . If we just need a DFA (not complete) we can simply remove Q4 state. Am I right ?

  • @Coolpratik10
    @Coolpratik10 7 років тому +2

    clean and wonderful explanation ... Awsome .. : )

  • @_Omkar_Bhuravane
    @_Omkar_Bhuravane Рік тому

    watching it before exam thank u

  • @pennysmith5903
    @pennysmith5903 7 років тому +11

    What if q2 q3 isn’t written in terms of q1? What then?

    • @Mansoor-qf3mw
      @Mansoor-qf3mw 3 роки тому +1

      They are bound to be written in terms of q1 cause these states have transitions into q1. Incase q2 q3 weren't the states which would transit to q1 there surely would have been some other state transiting to q1, because q1 is the final state as well, and then they could be written in terms of q1 if not q2q3. Inshort q1 is the initial as well as the final state so there will always be some state which could be written in terms of it.

  • @stanrichie5340
    @stanrichie5340 5 років тому +7

    And what if there are more final states than one?

  • @_krishna.words_
    @_krishna.words_ Рік тому

    Thank you so much sir it helps me a lot🙏🙏🙏🙏🙏

  • @ramankumar41
    @ramankumar41 3 роки тому +3

    very nice explanation as always !!!

  • @pratikzagade7808
    @pratikzagade7808 Рік тому

    Thank you sir ❣️

  • @saikumarsetti7460
    @saikumarsetti7460 5 років тому +5

    if multiple final states are there,what we have to do

    • @UwU-dx5hu
      @UwU-dx5hu 3 роки тому

      check the next videos

  • @varunvarun6022
    @varunvarun6022 8 років тому +1

    thnxxxx sir...........keep UPLOADING

  • @khushibansal8334
    @khushibansal8334 Рік тому

    very good videos sir

  • @AadeshingaleOfficial-zl5fd
    @AadeshingaleOfficial-zl5fd 4 місяці тому

    Nice Sir 😊

  • @georgegeoffrick288
    @georgegeoffrick288 4 роки тому +1

    Where is part 1 and 2

  • @sdtedit5165
    @sdtedit5165 3 місяці тому

    thank you so much sir

  • @merinedwinraj9188
    @merinedwinraj9188 8 місяців тому

    Construct a regular expression to denote a language L over ∑= {0,1} accepting all strings of 0’s and 1’s that do not contain substring 011.
    Sir this question please..

    • @AlokCodes1
      @AlokCodes1 7 місяців тому +1

      1*(0+01)*
      that was really a good question

  • @nancyfunky
    @nancyfunky Рік тому

    If we have several inputs to all situations the Ardem Theory is not helpful. Can you help me?

  • @Dexteritye
    @Dexteritye 7 років тому +4

    What if you have something like
    q1 = epsilon + q1b + q2a
    How do you simplify this?

  • @shyngysbek6907
    @shyngysbek6907 4 місяці тому

    What does the '+' represent in the final answer?

  • @maqsood.ahmad999
    @maqsood.ahmad999 4 роки тому +1

    sir I have problem to making R.E from a dfa . can you help me. please give me link where I can share you a picture of dfa?so you can easily understand.

  • @ramyashree6118
    @ramyashree6118 2 роки тому

    Thank you 🤧

  • @nishatsayyed8326
    @nishatsayyed8326 7 років тому +1

    where is the previous part?

  • @mohammedraqimbidchol7109
    @mohammedraqimbidchol7109 3 роки тому +1

    Is this done using Kleene's theorem? please reply

  • @Insidious847
    @Insidious847 Рік тому

    My questions is when you get the q1ab and q1ab from identifiers we know R+ R = R then why did you took ardens theorem there

  • @arthinirudu7108
    @arthinirudu7108 2 роки тому

    Thank you sir

  • @divyaanshuagrawal3383
    @divyaanshuagrawal3383 Рік тому

    Thank you!

  • @mini_joseph
    @mini_joseph 2 роки тому

    Is this method called Kleens's construction?

  • @moonthoughts8822
    @moonthoughts8822 2 роки тому +1

    It is a DFA. Then why you use epsilon?

  • @TheTechnicalman
    @TheTechnicalman 6 років тому

    5:19 E+R =< E.R

    • @BlizZarDaSh
      @BlizZarDaSh 5 років тому

      Where did you get that identity from?

  • @HeDances195
    @HeDances195 Рік тому

    how do you write on this board? using mouse or pen? if its stylus you wont be able to move the cursor around like that right? 🤔just curious. can anyone else answer if they know pls?

  • @shyngysbek6907
    @shyngysbek6907 4 місяці тому

    Is the '+' needed in the final answer?

  • @Paplu4949
    @Paplu4949 6 місяців тому

    Thank you sir ji

  • @prajwal7250
    @prajwal7250 5 років тому

    What if starting state and final states are different both example based on same node with starting and final state.

  • @JasonKT13
    @JasonKT13 4 роки тому

    clean info, thanks

  • @ahmetkarakartal9563
    @ahmetkarakartal9563 3 роки тому

    thank you so much

  • @manjitKK
    @manjitKK 4 роки тому +1

    Sir if there would hv been (ab+ab)*
    Then could it be written as ab*??
    Please any one answer!

    • @sent4444
      @sent4444 4 роки тому +1

      S union S is S
      so
      ab union ab is ab -> ab + ab = ab

  • @theunknown7381
    @theunknown7381 2 роки тому +1

    can we apply Arden's Theorem if there is an epsilon in P?

    • @aryangupta4591
      @aryangupta4591 2 роки тому +1

      No, Arden's Theorem has the assumption that there is no epsilon move.

  • @moumitamaity9213
    @moumitamaity9213 6 років тому +3

    Hi All
    Could anyone provide a little insight on the DFAs of RE:-a*b(b* +aa* b) and a*b(b* + aa* b)*??
    How do I attach the diagrams here?

    • @MinecraftJesusGaming
      @MinecraftJesusGaming 3 роки тому +1

      Dude I need your help, I'll dm you diagrams

    • @moumitamaity9213
      @moumitamaity9213 3 роки тому

      @@MinecraftJesusGaming Wow Hi buddy,That's axing and delightful,got to await for a response...after three years...fact is I really forgot what I asked...At that time I was preparing for my country's UGC NET exam for lectureship...and had a look at highly important videos on "Theory of Automata"...,but I have to brush up again from the scratch....to understand the concept....Anyways...thanks a lot for the response...
      Om Shanti

    • @MinecraftJesusGaming
      @MinecraftJesusGaming 3 роки тому +1

      @@moumitamaity9213 Yeah DFAs/NFAs and automatas are tough, virtually no one has studied it! But I'm taking a class on this topic now.

    • @10subsonlychallenge66
      @10subsonlychallenge66 2 роки тому +1

      Hey tmrw I have my exam and I see you have commented this 4 years ago. What are you currently doing now?

    • @moumitamaity9213
      @moumitamaity9213 2 роки тому

      @@10subsonlychallenge66 work from home job..I have completely forgotten automata..so I am sorry I cannot help you.
      Regards

  • @anamitradeb1448
    @anamitradeb1448 7 років тому +2

    +Neso Academy
    plz send me the links of the previous parts(1 and 2) of the "DFA to regular expressions"

  • @YKSMART
    @YKSMART 2 роки тому

    Why we take epsilon for eq1 and not for other.....

  • @woodentures
    @woodentures 3 роки тому

    Can anyone find part 1 or part 2? I don't see them in the theory of automata playlist either...

  • @tudorgorea8824
    @tudorgorea8824 3 роки тому +1

    q1 = (ab + ba)*
    q2 = (ab + ba)* a
    q3 = (ab + ba)* b
    q4 = (ab + ba)* (aa + bb) (a + b)*

    • @suborno9249
      @suborno9249 2 роки тому

      How, in case of q4, (aa +bb) is even happening?

  • @aimanyaafar8409
    @aimanyaafar8409 7 років тому +5

    Where is part 2?

  • @ishfaqhussain9426
    @ishfaqhussain9426 5 років тому

    Thankyou sir.plx make a video for pda

  • @sagarchowdhury4u
    @sagarchowdhury4u 7 років тому

    why has the previous video 51 been deleted

  • @dhanushsivajaya1356
    @dhanushsivajaya1356 4 роки тому

    Thankyou sir

  • @teja302
    @teja302 3 роки тому

    can someone confirm whether method used is transitive closure or not?

  • @supermanik90
    @supermanik90 5 років тому

    Sir, Ur lectures are too gud..but can u plz tell me the name of song at the end of Ur video??

  • @praveenraavan655
    @praveenraavan655 3 місяці тому

    Why u write eqn 4, there is no use of it .

  • @fahimimtiaz4532
    @fahimimtiaz4532 5 років тому +2

    You only showed a very simple and convenient example. What if there were more accepting states? And what if the accepting states had self loops?

  • @ashishgrover4506
    @ashishgrover4506 4 роки тому

    can we write ab=ba ?

  • @sanskritigupta5795
    @sanskritigupta5795 2 роки тому

    sir can you pls tell how to compute when R = RP type of equation is there

    • @yash8697
      @yash8697 Рік тому

      @sanskritigupta5795 how we got the final state?

  • @dhivakarnath.k4069
    @dhivakarnath.k4069 Рік тому

    DFA have only one input ina path
    But q4 having two I think it's a NFA

  • @bikramnath9766
    @bikramnath9766 6 років тому

    A silly doubt! Isn't ab=ba?

  • @legendneverdiegaminglndg4136
    @legendneverdiegaminglndg4136 5 місяців тому

    I'm from mathematics and for us it's easy 😂

  • @hasansyed1004
    @hasansyed1004 2 роки тому

    Ardens theorem

  • @Arghandevol
    @Arghandevol 4 роки тому +1

    What if I have many
    q1= E
    q2=q1 0+q2 1+ q3 0
    q3= q1 1+ q2 0 + q3 1
    Here it was impossible to solve. But the solution exist when i tested by GNFA
    Please can Someone Try solve with Ardens Theorem?

  • @Sandyplayss_yt
    @Sandyplayss_yt 3 роки тому

    thanku from pakisthan

  • @AmeerHamza-cy6km
    @AmeerHamza-cy6km 4 роки тому

    doesnt work for me

  • @raghulmanikandan
    @raghulmanikandan 7 років тому

    Why cant we convert it into regular grammer and create regular expression in a easy way?

    • @DarkLordAli95
      @DarkLordAli95 7 років тому

      im sure you can do it like that if you want...

    • @KennyZhuoMingLU
      @KennyZhuoMingLU 6 років тому

      It's the same, you still need to apply Arden's law whenever a recursive production is found.

  • @methodeniyonkuru8365
    @methodeniyonkuru8365 3 роки тому

    Good

  • @DoG-bz2tm
    @DoG-bz2tm Рік тому

    Why you are expand only q1 why not all three

  • @siddhantnarode
    @siddhantnarode 6 років тому

    Guys i m not RE for odd no. of 1 by the help of the DFA.........Plz help me out !!!

  • @Karansingh-gh4oy
    @Karansingh-gh4oy 7 років тому

    keep it up

  • @fujiwarahaketsu6598
    @fujiwarahaketsu6598 5 років тому

    im your bigggest fan!!!
    start from NOW!!! shieeeet.... >.< dat was brilliant explanation from A to z!!!

  • @himanshuashware4885
    @himanshuashware4885 Рік тому +1

    teaching to thk h pr nice example

  • @veerenkumar4080
    @veerenkumar4080 7 років тому +1

    then y did we created equation 4 when there wasnt any use of that in the first place

  • @sushmitajain370
    @sushmitajain370 7 років тому

    sir plss i want the previous lec of dfa to regular expressions plss sir update it fast .

  • @teddywinner5971
    @teddywinner5971 5 років тому

    Q4 is a not reachable state

    • @obli7788
      @obli7788 3 роки тому

      no it is a reachable state

  • @crimsomnia1415
    @crimsomnia1415 6 років тому

    q1 = ((ab)*(ba)*)*

  • @neiljohn2637
    @neiljohn2637 3 роки тому

    52

  • @vinayaksharma-ys3ip
    @vinayaksharma-ys3ip 3 роки тому

    👍👍👍

  • @veerasaran5514
    @veerasaran5514 5 місяців тому

    Sir vedio put in tamil

  • @MohiminulMahi
    @MohiminulMahi 9 місяців тому

    Lewre

  • @douny77
    @douny77 2 місяці тому

    Very thanks sir ❤