Minimization of DFA (With Unreachable States)

แชร์
ฝัง
  • เผยแพร่เมื่อ 31 ธ.ค. 2024

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

  • @keshavdamani1273
    @keshavdamani1273 6 ปีที่แล้ว +153

    come in our college , we need real techers

    • @user-em9mw9ch3y
      @user-em9mw9ch3y 6 ปีที่แล้ว +7

      Same. In Nepal :P

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

      Use projectors in school.

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

      @@adarshjaiswal7334 😂😂

    • @AnkitTiwari-lf4gb
      @AnkitTiwari-lf4gb 7 หลายเดือนก่อน

      Bhai tu nhi hi padhega chahe koi bhi tujhe padha le samjha

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

    Many students are struggling to understand .....bt ur videos makes it simple .....plz make videos on computer hardwares ...

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

    Clean nd clr explanantion👌👌 .....tqsm sir 😇😇

  • @abhijeetsharma5715
    @abhijeetsharma5715 5 ปีที่แล้ว +29

    Consider the states that have incoming edges but only from other unreachable states. Won't they be unreachable as well?
    So, to say "all states not having any incoming edge are unreachable" is correct but,
    "unreachable states have no incoming edge"(0:56) should be incorrect. Isn't it?

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

      yes, you are right.it will be sufficient condition but not necessary

  • @Sado134
    @Sado134 11 หลายเดือนก่อน +10

    i don't know why but removing F made me sad

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

    The best on TH-cam❤❤❤

  • @mnaresh3382
    @mnaresh3382 10 หลายเดือนก่อน +3

    Why is g not one equivalent, we can see both E ang G have same transition states so, shouldn't we include include as one equivalence to the set A, D, E 2:59

    • @aayushve426
      @aayushve426 6 หลายเดือนก่อน +2

      You cannot combine a final and non final state

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

    Thanks love from doon❤

  • @saidasalima8256
    @saidasalima8256 8 ปีที่แล้ว +6

    State D,E and G both are going to state G for 0,1 input. Can we make it one single state like state DEG as the next state is same.

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

    Thank you for this course.
    did i miss it, or you do not touch the subject of epsilon transitions and removing epsilon transition ? if you do , can you please tell me in which lecture do you touch the subject?
    thanks again!

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

      They did a playlist called theory of computation and authomata theory, you should find it there.

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

    Thanks a lot sir ❤

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

    So, we just remove the unreachable state and proceed as usual? Is there anything else that needs to be done?

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

      Lol...no

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

    Thankyou sir

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

    you mentioned in one of your videos that any input cannot go in 2 simultaneous states at the same time. So when we write {D, E}, {B, C} etc, are we performing a union ?

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

      watch minimising dfa first vid

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

      Yes we are combining here with union yes

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

    My college teacher did it without removing the unreachable state is that correct???

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

    Thank you sir.

  • @LordSarcasticVlogger
    @LordSarcasticVlogger 8 หลายเดือนก่อน +2

    Please come to NIT SRINAGAR to teach us….We need You

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

    shouldn't it be {A} {D,E} {B,C} {G} in the 1- equivalence @2:58 as, state D and E goes to G by getting input 1 and 0 , where G is in another set. Thus we don't need to proceed to 3-equivalance

    • @srayanray3815
      @srayanray3815 5 ปีที่แล้ว +2

      no .. because B C and G are all in the same set of states . We can consider two ways . Either the same states or the different states but in the same set of states. In either case, equivalence holds

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

      @@srayanray3815 I still dont get you...elaborate please?

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

      @@srayanray3815 Thanks 👍

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

    Thanks sur ❤

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

    Thank you Sir

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

    a 3:46,why we r finding next equvalance,,bcz in equvalance 0 and 1 ,1st set is same...why sir?

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

      @@nesoacademy At 1 equivalence, I got {A}, {D,E}, {B,G}, {C}.

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

    why b and c are one equivalent they reached at different states

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

    Very....♾️ Useful......!!!

  • @apporvaarya
    @apporvaarya 5 ปีที่แล้ว +2

    good example :)

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

    Will we put the unreachable state once we have made the minimized DFA?

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

      the very purpose of minimizing a DFA is to remove useless or redundant states
      so placing F back destroys the aim of what we're trying to do

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

      @@omkararora8739 if we take back the F , the minimized dfa will remain minimized

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

    Why is {D,E,G} not possible?
    All of them have the same G common in the table.

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

      but G is a final state and according to 0 equivalence all final states are separated

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

    can we minize a dfa with unreachable states using the table filling method?

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

      Not always. Imagine a scenario when there is an entirely disjoint finite automata from the DFA that the initial state is located in. You obviously can't reduce the entire disjoint FA to nothingness.

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

    In example 3 of minimising dfa to nfa the state A AND STATTE B ON INPUT 0. And 1 have different state are still being collected as a single state ?
    How it is possible

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

    DG is equivalent to each other.I have one doubt sir, canI write 2 equivalence as {A}, {B, C}, {D, G, E}.Is it correct. Else ,plz clear my doubt sir .

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

      I think No because , both D,E are not final states from initial and not in the same set with final states.

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

    advertisement is awesome.... so is your explanation.............

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

    what happened to F. Should it placed back?

    • @AkshayKumar-dz5ts
      @AkshayKumar-dz5ts 7 ปีที่แล้ว +9

      the very purpose of minimizing a DFA is to remove useless or redundant states
      so placing F back destroys the aim of what we're trying to do

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

      F is unreachable state from initial state. So we remove F from transition diagram.

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

    If you're given only the transition function, how do you identify an unreachable state

    • @user-em9mw9ch3y
      @user-em9mw9ch3y 6 ปีที่แล้ว +15

      it should be the one that isn't present in the rhs of the table.

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

    In 1 -equvivalence {A D E } is equal then how in 2 -equvivalence { A D E } is not equal???

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

      coz g got separated hence will not map

  • @roxx7148
    @roxx7148 5 ปีที่แล้ว +2

    God⚡

  • @NK-qv1om
    @NK-qv1om ปีที่แล้ว

    is "G" an unreachable state?

  • @continnum_radhe-radhe
    @continnum_radhe-radhe ปีที่แล้ว +1

    ❤❤❤

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

    Sir if we not removing unreachable and we solve that normal then there is a effect in minimised states or not Please reply sir??

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

      yes you will have 1 extra state which we dont need

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

    Sir in a lecture of conversion of NFA to DFA you said that in DFA we can pass only one input at a time if it isn't then it is a NFA. Same in this problem more than one input are passing through one state so why we calling it a DFA it simply maybe a NFA then . Sir please clear this confusion 😭

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

      it seems you are little confused .... in dfa two input may lead to one state but in nfa 1 input may lead to two states that's why nfa is non deterministic.

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

      @@drkcodr thanks btw Now I had completed whole T.o.c. thinking about this dought make me laugh 😅

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

    Where are unreachable states used in Real life?

    • @abubakar.khawaja
      @abubakar.khawaja 6 ปีที่แล้ว +23

      ChildhoodDreams

    • @user-em9mw9ch3y
      @user-em9mw9ch3y 6 ปีที่แล้ว +17

      A -> Starting state . eg : you
      G->Final Unreachable state , eg: that girl you want to talk to in class but is way out of your state (league)

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

      So as far as I can think, unreachable states cannot come from the same machine, it has to be a state of a different machine which relies on the computation used by this machine.

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

      @@vimalsheoran8040 shut the *** up

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

      @@vijoyjyotineog1896 Did I offend you brother?

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

    isn't it a NFA as we have state E to G with 1,0?

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

      no bro, nfa has more than 1 outputs for same input
      this one has same output for 2 different inputs

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

    My doubt is how un reacble state corresponds to final state and simply he remove that but the its not possible

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

      i did not effect the transition so removed and proceded

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

    Am i the only one noticing somebody scream at 00:12

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

    what if we have a rejection state? what will be its 0th equivalence position

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

    here it become nfa because it is going same state on two input

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

    Don't we have to put F back

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

    Cool story, But I wonder what scenario one would come up and draw such DFA knowing a state is unnecessary in the first place.

    • @parikshit804
      @parikshit804 6 ปีที่แล้ว +5

      there are many examples where an unreachable state can be reached. lets suppose you said a word "hey", an unreachable state can be when you "didn't say hi". ofcourse, this is not a real life example but a subject has to be exhaustive and consider all the possibilities so that people dont get confused when such a scenario happens. also, it never hurts to be explicit.

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

    ❤❤❤❤❤