Arden’s Theorem

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

КОМЕНТАРІ • 119

  • @justanaverageguy4739
    @justanaverageguy4739 4 роки тому +241

    inception movie is over rated in front of arden's theorem's proof

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

      @Asher Blaine U are lying, the website which you mentioned is a scam which demands payment for the hacked account's login details and once we enter about payment details there, they hack our bank account and loot us and we never get any hacked info of any account.

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

      @@sohamshinde1258share they website link to me

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

      @@chandhunukala6949 He removed that commment I didnt had it saved :(

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

      🤣🤣🤣

  • @tusharupadhyay1356
    @tusharupadhyay1356 4 роки тому +142

    I used the stones to destroy the stones😂

  • @riturajnavindgikar1529
    @riturajnavindgikar1529 3 роки тому +42

    Correct is
    R = Q + RP … (1)
    R = Q + (Q+RP)P …(2) from 1
    R = Q + QP + RP^2
    Again keep substituting n times
    R = Q + QP + QP^2 + QP^3….
    R = Q( E + P + P^2 + P^3..)
    R = QP*
    Proved

  • @pritam_shejul
    @pritam_shejul 6 років тому +261

    2 min of silence ....what a proof

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

      same here bruhhhhhhhhh

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

      `I used the R = QP* to derive the R = QP*`

    • @ru2979
      @ru2979 4 роки тому +19

      Idiotic proof

    • @hmm7458
      @hmm7458 4 роки тому +2

      @@cyanfroste5559 oo i see a man of culture

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

      @@cyanfroste5559 Derive the uniqueness, but why it means unique answer?

  • @zackcarl7861
    @zackcarl7861 2 роки тому +12

    Normally in regular algebra or , trigonometry n, when in an equal its given an equation- x=y+x+1
    And if we say we put x= -y we put LHS x, and RHS x both as -y and get answer like y=1 but here in ardens theorem we , did not substitute value for LHS ,R

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

    05:50
    R = Q + QP + QP^2 + ... + Q^n + {some strings with length > n ----- unless trivial case P empty}, for all n \in N
    Then
    R = Q + QP + QP^2 + ...
    = Q P*

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

      05:50
      R = Q + QP + QP^2 + ... + Q^n + Kn, where the later is defined as RP^(n+1), for all n \in N.
      Notice that the intersection of each pair (Kn1,Kn2), with n1, n2 \in N, is empty.
      Therefore,
      R = Q + QP + QP^2 + ...
      = Q P*

  • @abdulhaseeb2966
    @abdulhaseeb2966 4 роки тому +60

    Statement −
    Let P and Q be two regular expressions.
    If P does not contain null string, then R = Q + RP has a unique solution that is R = QP*
    Proof −
    R = Q + (Q + RP)P [After putting the value R = Q + RP]
    = Q + QP + RPP
    When we put the value of R recursively again and again, we get the following equation −
    R = Q + QP + QP2 + QP3…..
    R = Q (ε + P + P2 + P3 + …. )
    R = QP* [As P* represents (ε + P + P2 + P3 + ….) ]
    Hence, proved

    • @dailymemes2512
      @dailymemes2512 3 роки тому +6

      And what about R inside the expression where it is gone

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

      @@dailymemes2512 he put the value of r agin and again

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

      this is right. In the video, that guy is proving using the statement that is to be proved.

    • @sleepypanda7172
      @sleepypanda7172 2 роки тому +5

      Much better. I can sleep in peace now

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

      @@kaushalkumar1664 The *intention* is quite clear and correct: the number of P's can increase to any arbitrary number -- including none at all in the first "Q" -- so they are "becoming" P*. But yes, strictly speaking he is using circular reasoning in that very last step. The solution is a very small but important change to the proof: rephrase it as a proof by induction. That way "R = QP*" is introduced (correctly) as the Induction Hypothesis, rather than circularly as a "fact".

  • @HumphreyTembo-d4p
    @HumphreyTembo-d4p 7 місяців тому

    I KNEW NESO IS THE BEST EVER TUTOR

  • @AlinaMirzaCS-
    @AlinaMirzaCS- 4 роки тому +14

    what was that you used the same expression which we wanted to prove ... rip to this proof

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

      R = Q + RP is given to us we want to find solution to this and prove that R = QP*. Watch the whole video.

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

      @@jethalalnhk2409 The first step and second step are basically same, just replace R with QP* and show it works. But the uniqueness is not proved at all.

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

    0:42 I think the following statement is a bit more accurate to the one in the video ----->''if the set P* does not contain the empty word, then this solution is unique'' versus video's sentence which says: ''...has a unique solution...''

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

      Whenever you apply Kleene closure(*) to any Regular Expression you will surely gonna get Empty word in the language set.

  • @VijaykumarVijayKumar-nq5yl
    @VijaykumarVijayKumar-nq5yl 9 місяців тому

    Love ur teaching bro❤

  • @SumitKumar-fj9sy
    @SumitKumar-fj9sy 3 роки тому +32

    Sometimes sir's Genius… It's Almost Frightening.

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

      XD
      It's funny what he did but that one thing makes me remember Arden's Theorm forever

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

      his genius has a gravity of its own

  • @h.raouzi175
    @h.raouzi175 6 років тому +11

    how you can say , that you prooved it ??

  • @abhayrajlodhi4949
    @abhayrajlodhi4949 3 місяці тому +6

    How to fire a fire take out the fire from fire😂😂😂

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

    Mindblowing Explain ability of Nesco academy.Thank you sir. ❤

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

    Amazing explanation ❤

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

    Atleast, like mention induction

  • @learnwithmanu5655
    @learnwithmanu5655 8 років тому +11

    Thank you sir.and sir please post some problem on Arden theorem and how to convert a regular expression into finite automata.please sir .

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

    you almost had it, almost

  • @ishika6945
    @ishika6945 10 місяців тому

    at 2:34 how can R*R = R* ??? i think it should be R+ instead.

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

    I don't understand how can say p doesn't contain €(epsilon)

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

    You used the given solution to find the solution thats not how you prove a theorem

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

      That the point. He first proved that whether it is a solution to this equation or not. And in the next step he proved that whether this is the only solution or not.

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

      @@MrPerfectpunk So why can the second part proof the unique?

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

    can we write Arden's equation directly if regular grammar is given in question

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

    I can see in the comment section about the nature of people. When sir did one single mistake everyone is putting laughing emojis . I don't know why. Didn't he help us through tough times ? No we just need to bash when someone makes mistake.

  • @17_jain_darsh65
    @17_jain_darsh65 3 роки тому +4

    interstellar's final scene is overrated in front of this

  • @maitreyakanitkar8742
    @maitreyakanitkar8742 3 роки тому +4

    2 minutes silence for the proof

  • @user-su1pt5eu5e
    @user-su1pt5eu5e 2 роки тому

    sir whenever we take a string of length 'n' it would always greater in RP^n+1 so this term should be eliminated

  • @preetiyadav6260
    @preetiyadav6260 2 роки тому +6

    very helpful lecture

  • @nagapushpa1041
    @nagapushpa1041 4 роки тому +5

    Thank you very much sir
    Good explanation

  • @jasindavid219
    @jasindavid219 4 місяці тому +1

    what is this sir
    question in question and soln in soln proof
    jai balaya

  • @nigamkumar5646
    @nigamkumar5646 6 років тому +4

    Great sir thnk u so much its was look like very simple theorem in the way you explain it ...

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

    Y ardens theorem we need here?

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

    i have a doubt.what if P contains epsilon in R=Q+RP.

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

    plz add videos of sequence detector, introduction to finite state model

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

    I think you are following "Introduction to Automata and Compiler Design" book also by Dasaradh Ramaiah K. Publisher PHI

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

    We basically say ok ,that's my question that my solution , use them both to prove they are made for each other , you can use one to prove other 😆.

  • @AhamedKabeer-wn1jb
    @AhamedKabeer-wn1jb 4 роки тому +1

    Thank you..

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

    What is R here:(?

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

    You. Didn't proved it man☹️☹️☹️

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

    sir ji, I don't think this is a way to give a proof for the theorem
    you are using the result statement inside the proof to prove the same statement
    that is absolutely wrong :(
    How can you teach such wrong stuff to over youtube, please provide a genuine proof in the comment box

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

    🤯
    Sir as it is given that p doesn't contain epsilon so how can we write epsilon in the set of p
    i.e epsilon+p+p2+p3+...... to p*
    I think proof is using induction 😅
    Kuch bhi chal rha h 😂

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

    Thank you sir

  • @فيافيالتأملمهمةإصلاح

    how tf can mathematicians demonstrate?like really it's impossible,u can't follow any method to get the answer either u already know similar ones or u can't at all 🤔

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

    Do all lectures help us in gate exam also....all toc lectures

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

    Excellent

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

    Sir what is reachable state and non reachable state

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

      basically states that have nothing incoming into them are non reachable.
      States where you can reach to from the initial state (directly or via other states) is a reachable state.
      Check the last lecture on DFA minimization, it's explained there

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

    Thankyou sir

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

    Used R=QP* to prove R=QP* 💀

  • @raj-nq8ke
    @raj-nq8ke 3 роки тому

    Obviously Proof is wrong. but good work on showing oberview.

  • @Meri-bt9ry
    @Meri-bt9ry 9 місяців тому

    beautiful

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

    Huh!? What?! What just happened!
    .
    .
    .
    He proved it?! What!? O_O

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

    we need to prove R=QP*, how can we use R=QP* in the proof without prooving it?. can anyone tell me

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

      Same doubt🤔🙄

    • @FortranCastle
      @FortranCastle 10 місяців тому

      In proving an existential statement, you are allowed to assume any value for the thing whose existence you are trying to prove and then show that it satisfies the claim. Here we are just showing that R=QP* is a solution to the equation R = R + QP. All you need is to substitute QP* whenever R occurs on the RHS and see that it is a solution indeed. You are not proving that R equals QP*. You are proving that (R=QP*) is a solution to the other equation. It is the uniqueness part that did not work for me. I do not see how what he did proves uniqueness of the solution.

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

    Kya kiye ho, aisa proof dekh-ke neend nahi aayegi ab.. 🙄

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

    man do you use the mouse itself to write?? or any kind of stylus....
    coz if you does it only with a fucking mouse.....then you should literally get an award for your writing skills.....👏👏✌️

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

      ive been thinking on the same thing since the first lecture xD. This person is amazing no doubt..

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

      stylus on tablet.

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

    r u from assam?

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

      yes

    • @kais3r379
      @kais3r379 4 роки тому +3

      @@parikshit804 chutiye tereko nhi pucha usne.

  • @erfanmohammed7065
    @erfanmohammed7065 4 роки тому +2

    O bhai..

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

    op

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

    Thank u sir

  • @MeerutWala-pl8nk
    @MeerutWala-pl8nk 7 місяців тому

    Ye to ratta marna pdega

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

    Damn

  • @ru2979
    @ru2979 4 роки тому +3

    To much of hitch-potch. Make it clear what you try to say. So much of amateurish attitude. Too bad .

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

      then learn it yourself, why even are you online, learn from book if you're so mature

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

    awesome

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

    ❤️

  • @yashaswiuniyal5185
    @yashaswiuniyal5185 4 роки тому +9

    first dislike from my side on this channel

  • @AhamedKabeer-wn1jb
    @AhamedKabeer-wn1jb 4 роки тому

    Thank you..