DFA to Regular Expression Conversion

แชร์
ฝัง
  • เผยแพร่เมื่อ 9 ก.พ. 2017
  • TOC: DFA to Regular Expression Conversion
    This lecture shows how to design the Regular Expression for a given DFA.
    Contribute: www.nesoacademy.org/donate
    Website ► www.nesoacademy.org/
    Facebook ► goo.gl/Nt0PmB
    Twitter ► / nesoacademy
    Pinterest ► / nesoacademy
    Music:
    Axol x Alex Skrindo - You [NCS Release]
    • Axol x Alex Skrindo - ...

ความคิดเห็น • 133

  • @TheJohnJaded
    @TheJohnJaded 6 ปีที่แล้ว +230

    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 ปีที่แล้ว +19

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

    • @AMAN-dt9ry
      @AMAN-dt9ry 2 ปีที่แล้ว +1

      Yeah it's kinda dummy state

    • @hkstar2871
      @hkstar2871 ปีที่แล้ว +1

      good observation

    • @lehaswinipalla3365
      @lehaswinipalla3365 ปีที่แล้ว +1

      thanks for clearing that!

  • @suvankar54
    @suvankar54 ปีที่แล้ว +18

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

  • @denizyunusgogus
    @denizyunusgogus ปีที่แล้ว +62

    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 9 หลายเดือนก่อน +5

      So true...

    • @yash1152
      @yash1152 9 หลายเดือนก่อน +6

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

    • @yash1152
      @yash1152 9 หลายเดือนก่อน

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

    • @meggy5
      @meggy5 8 หลายเดือนก่อน +10

      ​@@yash1152 you need to cry sir

    • @rahulraushan1910
      @rahulraushan1910 5 หลายเดือนก่อน +1

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

  • @deependra5233
    @deependra5233 6 ปีที่แล้ว +21

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

  • @deependrabajracharya4148
    @deependrabajracharya4148 5 ปีที่แล้ว +24

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

  • @vedhuvolgs
    @vedhuvolgs 7 ปีที่แล้ว +6

    very thankful to you sir,, it is very helpful for, clear explanation. i like the presentation of lectures... hope keep going

  • @caesarshi9114
    @caesarshi9114 3 ปีที่แล้ว +1

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

  • @CorSmith94
    @CorSmith94 6 ปีที่แล้ว +3

    Excellent example. Thanks!

  • @Coolpratik10
    @Coolpratik10 6 ปีที่แล้ว +2

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

  • @terraknight9724
    @terraknight9724 2 ปีที่แล้ว +1

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

  • @EasyTheory
    @EasyTheory 4 ปีที่แล้ว +4

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

  • @JasonKT13
    @JasonKT13 4 ปีที่แล้ว

    clean info, thanks

  • @_krishna.words_
    @_krishna.words_ ปีที่แล้ว

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

  • @ramankumar41
    @ramankumar41 2 ปีที่แล้ว +3

    very nice explanation as always !!!

  • @varunvarun6022
    @varunvarun6022 7 ปีที่แล้ว +1

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

  • @sayyedwaliullah5587
    @sayyedwaliullah5587 4 ปีที่แล้ว +1

    Wow so easy explanation

  • @divyaanshuagrawal3383
    @divyaanshuagrawal3383 ปีที่แล้ว

    Thank you!

  • @_Omkar_Bhuravane
    @_Omkar_Bhuravane ปีที่แล้ว

    watching it before exam thank u

  • @pratikzagade7808
    @pratikzagade7808 ปีที่แล้ว

    Thank you sir ❣️

  • @jettipremkumar8646
    @jettipremkumar8646 6 ปีที่แล้ว +13

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

  • @ramyashree6118
    @ramyashree6118 ปีที่แล้ว

    Thank you 🤧

  • @ahmetkarakartal9563
    @ahmetkarakartal9563 2 ปีที่แล้ว

    thank you so much

  • @queenofmyworld2761
    @queenofmyworld2761 ปีที่แล้ว +1

    Tooo good simply explaination wowwwwww thank uuuu

  • @wnstnn
    @wnstnn 7 ปีที่แล้ว +12

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

    • @Flare03l
      @Flare03l 7 ปีที่แล้ว +5

      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

  • @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.

  • @HeDances195
    @HeDances195 7 หลายเดือนก่อน

    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?

  • @nancyfunky
    @nancyfunky ปีที่แล้ว

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

  • @CLG111
    @CLG111 ปีที่แล้ว +3

    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?

  • @arthinirudu7108
    @arthinirudu7108 ปีที่แล้ว

    Thank you sir

  • @mohammedraqimbidchol7109
    @mohammedraqimbidchol7109 3 ปีที่แล้ว +1

    Is this done using Kleene's theorem? please reply

  • @gbemisolaagboola8255
    @gbemisolaagboola8255 2 หลายเดือนก่อน

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

  • @teja302
    @teja302 2 ปีที่แล้ว

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

  • @woodentures
    @woodentures 3 ปีที่แล้ว

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

  • @nishatsayyed8326
    @nishatsayyed8326 7 ปีที่แล้ว +1

    where is the previous part?

  • @khushibansal8334
    @khushibansal8334 ปีที่แล้ว

    very good videos sir

  • @ishfaqhussain9426
    @ishfaqhussain9426 5 ปีที่แล้ว

    Thankyou sir.plx make a video for pda

  • @Paplu4949
    @Paplu4949 หลายเดือนก่อน

    Thank you sir ji

  • @prajwal7250
    @prajwal7250 4 ปีที่แล้ว

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

  • @sagarchowdhury4u
    @sagarchowdhury4u 7 ปีที่แล้ว

    why has the previous video 51 been deleted

  • @dhanushsivajaya1356
    @dhanushsivajaya1356 3 ปีที่แล้ว

    Thankyou sir

  • @pennysmith5903
    @pennysmith5903 6 ปีที่แล้ว +11

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

    • @Mansoor-qf3mw
      @Mansoor-qf3mw 2 ปีที่แล้ว +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.

  • @fujiwarahaketsu6598
    @fujiwarahaketsu6598 4 ปีที่แล้ว

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

  • @Karansingh-gh4oy
    @Karansingh-gh4oy 7 ปีที่แล้ว

    keep it up

  • @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

  • @Dexteritye
    @Dexteritye 6 ปีที่แล้ว +3

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

  • @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?

  • @saikumarsetti7460
    @saikumarsetti7460 4 ปีที่แล้ว +5

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

    • @UwU-dx5hu
      @UwU-dx5hu 3 ปีที่แล้ว

      check the next videos

  • @ashishgrover4506
    @ashishgrover4506 3 ปีที่แล้ว

    can we write ab=ba ?

  • @anamitradeb1448
    @anamitradeb1448 7 ปีที่แล้ว +2

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

  • @georgegeoffrick288
    @georgegeoffrick288 3 ปีที่แล้ว +1

    Where is part 1 and 2

  • @aimanyaafar8409
    @aimanyaafar8409 7 ปีที่แล้ว +5

    Where is part 2?

  • @theunknown7381
    @theunknown7381 2 ปีที่แล้ว +1

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

    • @aryangupta4591
      @aryangupta4591 ปีที่แล้ว +1

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

  • @methodeniyonkuru8365
    @methodeniyonkuru8365 2 ปีที่แล้ว

    Good

  • @mini_joseph
    @mini_joseph 2 ปีที่แล้ว

    Is this method called Kleens's construction?

  • @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 3 ปีที่แล้ว +1

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

  • @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?

    • @moumitamaity9213
      @moumitamaity9213 2 ปีที่แล้ว

      @Minecraft Jesus Gaming 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

    • @10subsonlychallenge66
      @10subsonlychallenge66 ปีที่แล้ว +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 ปีที่แล้ว

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

    • @10subsonlychallenge66
      @10subsonlychallenge66 ปีที่แล้ว

      @@moumitamaity9213 Its ok I didnt ask for help, I was simply asking you how you're doing.

    • @heyadrianx
      @heyadrianx ปีที่แล้ว

      @@10subsonlychallenge66 lol

  • @stanrichie5340
    @stanrichie5340 4 ปีที่แล้ว +6

    And what if there are more final states than one?

  • @sanskritigupta5795
    @sanskritigupta5795 ปีที่แล้ว

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

    • @yash8697
      @yash8697 7 หลายเดือนก่อน

      @sanskritigupta5795 how we got the final state?

  • @TheTechnicalman
    @TheTechnicalman 5 ปีที่แล้ว

    5:19 E+R =< E.R

    • @BlizZarDaSh
      @BlizZarDaSh 5 ปีที่แล้ว

      Where did you get that identity from?

  • @merinedwinraj9188
    @merinedwinraj9188 2 หลายเดือนก่อน

    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 2 หลายเดือนก่อน

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

  • @legendneverdiegaminglndg4136
    @legendneverdiegaminglndg4136 10 วันที่ผ่านมา

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

  • @siddhantnarode
    @siddhantnarode 5 ปีที่แล้ว

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

  • @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?

  • @hasansyed1004
    @hasansyed1004 ปีที่แล้ว

    Ardens theorem

  • @Sandyplayss_yt
    @Sandyplayss_yt 3 ปีที่แล้ว

    thanku from pakisthan

  • @dhivakarnath.k4069
    @dhivakarnath.k4069 ปีที่แล้ว

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

  • @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??

    • @vatsalgupta00
      @vatsalgupta00 4 ปีที่แล้ว +1

      Axol x alex - you ncs

    • @supermanik90
      @supermanik90 4 ปีที่แล้ว

      @@vatsalgupta00 thanks bro

  • @moonthoughts8822
    @moonthoughts8822 ปีที่แล้ว +1

    It is a DFA. Then why you use epsilon?

    • @programmer1729
      @programmer1729 2 หลายเดือนก่อน

      As q1 is a final state, epsilon is also accepted

  • @YKSMART
    @YKSMART ปีที่แล้ว

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

    • @GustavoFringe-dv2yg
      @GustavoFringe-dv2yg ปีที่แล้ว

      because it's the initial state

    • @YKSMART
      @YKSMART ปีที่แล้ว

      @@GustavoFringe-dv2yg okay

  • @AmeerHamza-cy6km
    @AmeerHamza-cy6km 3 ปีที่แล้ว

    doesnt work for me

  • @bikramnath9766
    @bikramnath9766 5 ปีที่แล้ว

    A silly doubt! Isn't ab=ba?

  • @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?

  • @vinayaksharma-ys3ip
    @vinayaksharma-ys3ip 3 ปีที่แล้ว

    👍👍👍

  • @raghulmanikandan
    @raghulmanikandan 6 ปีที่แล้ว

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

    • @DarkLordAli95
      @DarkLordAli95 6 ปีที่แล้ว

      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.

  • @himanshuashware4885
    @himanshuashware4885 10 หลายเดือนก่อน +1

    teaching to thk h pr nice example

  • @neiljohn2637
    @neiljohn2637 2 ปีที่แล้ว

    52

  • @sushmitajain370
    @sushmitajain370 7 ปีที่แล้ว

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

  • @crimsomnia1415
    @crimsomnia1415 6 ปีที่แล้ว

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

  • @DoG-bz2tm
    @DoG-bz2tm ปีที่แล้ว

    Why you are expand only q1 why not all three

  • @veerenkumar4080
    @veerenkumar4080 6 ปีที่แล้ว +1

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

    • @ChristianBurnsShafer
      @ChristianBurnsShafer 6 ปีที่แล้ว +1

      Because that's what the solving algorithm calls for.

  • @teddywinner5971
    @teddywinner5971 5 ปีที่แล้ว

    Q4 is a not reachable state

    • @obli7788
      @obli7788 3 ปีที่แล้ว

      no it is a reachable state

  • @MohiminulMahi
    @MohiminulMahi 4 หลายเดือนก่อน

    Lewre