TOC | Minimization of DFA | Ravindrababu Ravula | Free GATE CS Classes

Поділитися
Вставка
  • Опубліковано 19 вер 2024
  • For Course Registration Visit: ravindrababura...
    . For Any Queries, You can contact RBR on LinkedIn: / ravindrababu-ravula
    Telegram: t.me/ravindrab...
    Instagram: / ravindrababu_ravula_rbr
    - GATE TOC Full Playlist: • Theory of Computation ... If you're considering studying abroad, don't forget to explore 'Games of Visas,' my dedicated consultancy service and UA-cam channel designed to streamline the process of studying abroad.
    For Study Abroad, contact "Game of Visas" at 9494555454

КОМЕНТАРІ • 201

  • @harabe1sh1o
    @harabe1sh1o 9 років тому +201

    sometimes examples are worth more than hundreds of pages of theory ...

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

      i agree with you my friend

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

      i know it is quite randomly asking but does anybody know of a good site to stream new movies online ?

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

      @@bjornmartin6480 fmovies , soap2day

  • @rohitalawadhi
    @rohitalawadhi 10 років тому +58

    thanks :
    content 10/10 ;
    explanation 10/10;

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

    why College don't teach this method....:( ? This is so much easier..:)..You're really a great teacher

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

    Extremely clear explanation ! Good example! Steady pace. Brilliant video

  • @naveennayak1421
    @naveennayak1421 8 років тому +22

    Sir, please upload the lectures on pumping lemma..

  • @PoolOfPeas
    @PoolOfPeas 10 років тому +2

    This is a very clear explanation; the theoretical part shed light on the practical example such that I could understand not only how to do it but also why it works. Thanks.

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

    superbb explanation !!! worth the concept !! i study whole tcs syllabus from your channel v v sensible.

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

    Best teacher award goes to you Sir 🌟👌

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

    This was so amazingly explained! Teachers should actually watch your videos and try to put in some efforts to explain like you do!

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

      Merko bhi sikha de bhai colg me

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

      ​@@harshalbhoir1262 Haha chal saale sab aatay tujhe

  • @FoigTCG
    @FoigTCG 8 років тому +35

    screw the table filling algorithm, this method is so much easier

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

      Bautista is here ! Boom Boom Boom Boom

  • @dr.md.atiqurrahman2748
    @dr.md.atiqurrahman2748 3 роки тому +2

    Just Wow!!!!!!!!!!!!! Is it possible to give an explanation better than this? I don't know. If possible, I will be then really amazed.

  • @plinplinplonplinplonplin
    @plinplinplonplinplonplin 6 років тому +36

    Can you explain why q0 and q2 are 3 equivalent with q1 not being a part of 2 equivalence?

    • @spamspam5741
      @spamspam5741 6 років тому +33

      Yes, q1 and q1 are in the same state (as you can see) and q2 and q2 as well, basically, there's no problem if both go to same state, as the state will always be contained in itself. It only causes problem, when it is going to 2 different states, and those states lie in different equivalence during previous stage

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

    Sir your teaching style is definitely unique

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

    superb explanation sir.your explanation is very peaceful to hearing

  • @sirajAlam049
    @sirajAlam049 8 років тому +4

    chha gaye guru...
    Kash app hamare college me lecturer hote,
    :'(

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

    That's great sir. I wasted an hour in understanding this topic through book and that doesn't help me. But your video is great within one example topic is crystal clear to me. Thnx

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

    This video saved my life!

  • @vaibhavsharma-gc4ce
    @vaibhavsharma-gc4ce 6 років тому +2

    In the last step, i.e 4th equivalent, it is shown q0 & q2 paired but for q0 & q2 with 'a' going to q1, which is not in same group in 3rd equivalent. So how is it possible??

  • @ThePositiev3x
    @ThePositiev3x 8 років тому +4

    How can we talk about "3 equivalent states" while there are only 2 inputs?
    Also, q2 and q3 both go to q1 with input a. Shoudln't they be 1-equivalent?

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

    Thanks for sharing the easier way to solve it. Professors at uni never tell us this

  • @bikramthapa2687
    @bikramthapa2687 6 років тому +1

    thank u so much sir for giving clear concept in all topics...

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

    Sir by listening your lecture we understand the concept more thoroughly .thanks a lot.

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

    why we cant directly draw the minimized DFA by seeing the same states from the table.

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

      same Q bhai

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

      Of course bro observe it
      q4 is the final state so it's going to be separated
      q0 & q2 are have same states
      q3 is separated due to final state which is q4
      Finally q1 is separated due to q3
      That's it 🤠 it's very easy and simple bro
      U need to separate final States first and then separate every state by seeing it's states directly no need to write equivalents

  • @gautamgadipudi8213
    @gautamgadipudi8213 8 років тому +2

    The best sir ever !!

  • @AkashYadav-mr4hg
    @AkashYadav-mr4hg 5 років тому +1

    bro you are awesome.....i owe you .

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

    Thank you sir.. Nice explanation!!!

    • @alaekharkouk9719
      @alaekharkouk9719 8 років тому

      +Mayank Neema add me to face book i need to took you i have a problem in an exercise minimization
      facebook.com/alae.kharkouk.9

  • @TanayPahare
    @TanayPahare 9 років тому +3

    Thanks a lot brother! You explained it really well.

  • @arjunvirat8450
    @arjunvirat8450 6 років тому +1

    Thank you a lot... You made to understand too easy.... Again a thank.....

  • @SalimKhan-rg1lp
    @SalimKhan-rg1lp 5 років тому +2

    Equal states go to same behaviour state or states
    q0,q1,q2 have same behaviour
    Y You separate q1

  • @shree2710
    @shree2710 6 років тому +75

    It's not the correct place or time, but must say the dude is handsome

  • @faizutty
    @faizutty 8 років тому +18

    we got 2 equiv: as [q0,q2],[q1],[q3],[q4] at time 14.04... but in 3 equivallent we check for (q0,q2).. (q0,a)= q1 (q0,b )=q2 (q2,a)=q1 and (q2,b)=q2... then we can check in 2 equiv: table.. q1 is saparated... then how we can said that they are equivallent.. pls help me

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

      +Faizal Basheer - Good point , I was wondering the same thing.

    • @malharjajoo7393
      @malharjajoo7393 8 років тому +4

      +Faizal Basheer - I think I get the logic. Think about this- if q0 goes to state q1 on symbol "a" , and q2 also goes to q1 on"a"... similar for symbol "b" .... then they are equivalent.
      This is in accordance to his explanation from before ....the problem you said , will only arise if while comparing two states , we go to two "different" states on a symbol. In this case , BOTH q0 and q2 are going to either q1 ( on "a" ) or q3 ( on "b").

    • @faizutty
      @faizutty 8 років тому

      +malhar jajoo haii... I got the logic later when I experienced with another examples..

    • @faizutty
      @faizutty 8 років тому

      +malhar jajoo thank you my friend for this great explanation

    • @malharjajoo7393
      @malharjajoo7393 8 років тому

      +Faizal Basheer - you are welcome my friend.

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

    Thanks a lot, it's a very clear explanation!

  • @AshutoshSinghQuick
    @AshutoshSinghQuick 8 років тому

    More than what I learnt in my lectures! :) Thank you sir!

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

    Thank u so much
    Great teaching 😘

  • @saurabhhublikar3168
    @saurabhhublikar3168 10 років тому +3

    Awsome explanation ...thx..

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

    Fantastic explanation!!!

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

    turing machine videos sir plzz upload

  • @samgedam0
    @samgedam0 6 років тому +1

    what to do if pair of a is in one state (for eg in non final ) and pair of b is in another state(for eg final)

  • @mirzahammadfareed9998
    @mirzahammadfareed9998 8 років тому

    very well explained sir ! now i have got the clear concept of minimizing a DFA.. thankyou so much ! (y)

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

    Very easy to follow and helpful.

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

    what to do if my q3 does not have a 'b' transaction so it's blank in the transaction table? how can I compare it with the others?

  • @vaibhavchopda04
    @vaibhavchopda04 9 років тому +2

    Thanks sir. .... It was helpful

  • @arpitsharma2504
    @arpitsharma2504 8 років тому +4

    thankew So much sir :)

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

    sir, you are awesome :)

  • @19071997able
    @19071997able 5 років тому

    but for cheching 3 quiv. for q0 and q2 , they are going to q1 on a but q1 is already separated, then how can we make them one?

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

    Please tell nfat to dfa conversion in which set of all strings over input symbol a, b in which second symbol from lhs is a

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

    Thanks. If there is a dead state in this F.A. then do we have separate it in the next equivalence?

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

    ty sir !!/you've always helped me !!

  • @hawrehd5104
    @hawrehd5104 9 років тому +2

    Great work thank you

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

    Well Explained ,sir . Thanks a lot.

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

    best teacher

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

    your video has save me ... thank you so much

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

    Very good explanation. Thanks

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

    sir,how q0 and q2 are same quivlent???you said that we have to check in the previous equivalence list so in previous equivalent list,q1q2 are not in same group. Plz reply soon..i hv my exam tmrw...

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

    Very much useful. Thanks sir!

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

    Nice explanation.

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

    good ... understood clearly

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

    love this method exam in 20 minutes.....

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

    Thanks sir now I understood very well

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

    why cannot we combine the final state.... as the final state as same transition as q0 and q2 on input a and b?

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

    Thank you so much sir

  • @ayaanqui
    @ayaanqui 4 роки тому +8

    2:43 Boi stop flexing

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

    Can't we see from table rather than comparing equivalence? Please ans

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

    Super 100 /100 excellent sir

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

    Is partition method belongs to myhill nerode theorem?

  • @pavankumar-tv7pp
    @pavankumar-tv7pp 6 років тому

    Great explanation.....

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

    Sir, can you please tell me the regular expressions of that dfa?

  • @SanjaySingh-hw2cq
    @SanjaySingh-hw2cq 7 років тому

    if i dont remove tht state which is not reachable from initial State thn wht happens....?
    n can i solve my ques in exam without removing tht state....?

  • @sayalimutkule942
    @sayalimutkule942 9 років тому +1

    Thnk u dea dat ws really helpful

  • @AlexFyra
    @AlexFyra 9 років тому +6

    how are q0 and q1 equivalent if they go to the same state on a but to a different state on b? 8:45

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

      +Alex P. because both q1 and q0 belong to the same upper equivalent group that is they both belong to 0 equivalent group.

    • @adityatanwar7301
      @adityatanwar7301 6 років тому +2

      you did not read the definition right.it is because they are both going to a non final state.
      condition was either they must go to a final state or non final state

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

    It was helpful
    Keep it up 👍👍👍👍

  • @kamalhm-dev
    @kamalhm-dev 8 років тому +2

    Man, why do you group q0, q1, and q2 in the same grouping?

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

      but q3 is not an accepting state and he grouped it together with q4.

  • @42seitbamitsingh24
    @42seitbamitsingh24 2 роки тому

    video hidden kyu kr dia exams hai sir

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

    thnq soo much #BROTHA

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

    Sir , at 14:28 qo and q2 are going to q1 and q2 (on a and b ) respectively , whereas q1 is in different group. Hence we cannot put qo and q2 in same group . Kindly explain, if I am wrong .

    • @naveenkumar-fn8nh
      @naveenkumar-fn8nh 7 років тому +1

      at 14:28 qo and q2 are going to q1 and q2 (on a and b ) respectively but q1 and q0 are in the same group in 1 equivalent so u should not separate it. because when u r writing a new equivalent u need to check with the previous equivalent, if they belongs to same group in the previous equivalent u should not separate otherwise u can separate.

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

      naveen kumar But for 3 equivalent state we only need to check previous 2 equivalent state, right?

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

      refer to 2:04 when sir said if (p,q) on seeing any i/p goes to same non final state then they are equivalent.So in this problem (q0,q2) goes to same state (q1,q2) on seeing i/p a,b so they are equivalent.

  • @umarkhan-wh2zq
    @umarkhan-wh2zq 5 років тому

    but they are going to q1 which is not in the first brackets

  • @chitrakarsanket
    @chitrakarsanket 9 років тому +1

    Thank you sir!! can you please suggest me the best book for referring TOC ?

    • @jashanpreetsingh4368
      @jashanpreetsingh4368 9 років тому +2

      +sanket kurude
      K L P Mishra ( theory of computer science )

  • @user-iv6gu3ls5b
    @user-iv6gu3ls5b 6 років тому

    Really helpful!

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

    Thank u sir it's really helpful
    In last step seeing 2 equivalent we can say that q1 is in another set
    How q0 q1 are taken in same group pls help
    (I'm talking about 3 eqivalent)

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

      As u can see that q0 and q2 upon scanning with a and b reaches to same state as q1 and q2 respectively so they will always be equivalent, don't consider previous equivalent (in this eg. equivalent 2) in such cases

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

    Why not we directly combine two equal transitions? like like rows 1 and 3.

  • @5d8vamshiyaradeshi58
    @5d8vamshiyaradeshi58 4 роки тому

    Thank you so much

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

    sir, agar given table me final state na ho to us ko kis tarah minimize krte hai

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

      A DFA without a final state is known as a transducer. Mealy and Moore's machines are the example of FSM transducers. Since they produce an output corresponding to each state, it doesn't make sense to reduce their states.

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

    awsm explanation..

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

    Sir pwoliyaan

  • @Jaiveer962
    @Jaiveer962 8 років тому

    Sirra sir sirra explanation

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

    why we need to group q0,q1,q2 in one group and q3,q4 in another group how did we differ that??

  • @karangames24
    @karangames24 9 років тому

    very helpful.. fully technical... hitted subscribe.....!! one request from my side if possible share some short tricks for verification!!

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

    good teach, buddy / thank you.

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

    How did u decide that q0 and q2 after combinig are start state???

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

      Because q0 is the initial state in the question.
      Just like q4 is the final state in both the diagrams, q0 is the initial state.

  • @amitoshgain8032
    @amitoshgain8032 9 років тому

    Sir, Which method(Method name) are u used in this minimization.

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

    Thanks.

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

    Thank You Sir..

  • @shriram2275
    @shriram2275 8 років тому

    Thank you sir!!! :)

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

    thanks a lot sir..

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

    nice explication thnks

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

    Myhill nerode theorem?

  • @rajeevmalhotra6567
    @rajeevmalhotra6567 8 років тому

    if question is asking to minimize using Myhill Nerode theorem then we can solve it by using this method

  • @user-sb3or1ns3p
    @user-sb3or1ns3p 3 роки тому

    the best!

  • @philipe0070
    @philipe0070 8 років тому

    Morning, i need to construct a AFN with this
    ∑ = {0,1}
    ER = {0,1}* {1010}

  • @Abhilash_Babu
    @Abhilash_Babu 9 років тому

    awesome