How to Union two Regular Languages with the Product Construction - Easy Theory

  Рет қаралды 50,825

Easy Theory

Easy Theory

Күн бұрын

Пікірлер: 76
@EasyTheory
@EasyTheory 4 жыл бұрын
Next video, DFA/NFA to regular expression! kzbin.info/www/bejne/i3y8p4NulrhqnK8
@younlesslin3497
@younlesslin3497 4 жыл бұрын
Best course I’ve ever seen, thank you sir
@nanouk218
@nanouk218 2 жыл бұрын
Great explanation of the fine details to show an understanding of how to construct. I’ll def share with my classmates at the university.
@mengzhang1941
@mengzhang1941 3 жыл бұрын
Such clear explanation. Thank you!
@EasyTheory
@EasyTheory 3 жыл бұрын
Thanks very much!
@armghan2312
@armghan2312 3 жыл бұрын
i'm baffled, my mind literally exploded... thanksssss man!!! so easily cleared!
@realguyyy
@realguyyy 4 жыл бұрын
Haha i love that intro 😂
@EasyTheory
@EasyTheory 4 жыл бұрын
Lol thanks!
@michelleIX
@michelleIX 3 жыл бұрын
my first thought was "He looks kinda sad"
@brandonjames868
@brandonjames868 4 жыл бұрын
Great explanation! Easy to follow.
@EasyTheory
@EasyTheory 4 жыл бұрын
Thanks!
@oluwakoredeonasanya3267
@oluwakoredeonasanya3267 8 ай бұрын
This is an amazing tutorial. Thank you very much this has helped me a lot
@sonofben3322
@sonofben3322 4 ай бұрын
thank you! very concise and easy to follow
@joeyjoeanu4910
@joeyjoeanu4910 5 ай бұрын
this is exactly what i needed thank you so much for the help
@renzondaziano4880
@renzondaziano4880 2 жыл бұрын
thanks mate! greetings from Copenhagen
@thirumeniparthiban6261
@thirumeniparthiban6261 2 жыл бұрын
great explanation, easy to grasp. Also explain asynchronous vs synchronous products...
@ingoandelhofs8641
@ingoandelhofs8641 4 жыл бұрын
What a great tutorial! If you wanted to compute the intersection would the construction be the same (except for only marking q1 r1 a final state)?
@EasyTheory
@EasyTheory 4 жыл бұрын
Thanks! Yes (q1,r1) would be the only final state in that case.
@ODAKAB
@ODAKAB Жыл бұрын
you dropped this 👑
@teejay0
@teejay0 7 ай бұрын
you made it so easy
@quercus_opuntia
@quercus_opuntia 4 ай бұрын
this video saved my failing marraige, tysm
@freekicksri4959
@freekicksri4959 3 жыл бұрын
I see you're wearing a Colgate University shirt... did you go there? I'm a senior CS major there currently. Your videos have been super helpful for my Theory class
@EasyTheory
@EasyTheory 3 жыл бұрын
I was a professor there from 2019-2020.
@tizaf
@tizaf 3 жыл бұрын
this just saved a life. thanks a lot :)
@ratulhasananas3627
@ratulhasananas3627 6 ай бұрын
Thank you sir it was very helpful for me ......
@zeronotjelo
@zeronotjelo 4 жыл бұрын
Thank you. This was very hepful!
@itsZybn
@itsZybn 4 жыл бұрын
Intro made me laugh, haha, thanks for the help!
@glizzy5154
@glizzy5154 2 жыл бұрын
actual life saver
@feneris1416
@feneris1416 2 жыл бұрын
Thank you for the nice video! I do have a question though: in the L1 automata is r2 something like an "error" state?
@Resident_lurker
@Resident_lurker Жыл бұрын
Wonderful video
@user-ov5nd1fb7s
@user-ov5nd1fb7s 2 жыл бұрын
Is there a way to continuesly add states to an NFA/DFA? I am working on a project that indexes text data from a stream. New data keeps coming in many times per second. NFA/DFA can search fast but the implementations i've seen build it once and then you can't update it. This is obviously a problem, when you have an input stream.
@shahbodshs6693
@shahbodshs6693 2 жыл бұрын
that was amazing thanks!!!!!!!!!!
@FreeDomSy-nk9ue
@FreeDomSy-nk9ue 3 жыл бұрын
Do you have a similar video but on the intersection?
@EasyTheory
@EasyTheory 3 жыл бұрын
Yes: kzbin.info/www/bejne/eaa8i3ypd7iaq9k, but the construction is exactly the same except for what states are marked as final.
@t_balle1620
@t_balle1620 4 жыл бұрын
can we do the union of 2 languages without having to use the product construction?
@EasyTheory
@EasyTheory 4 жыл бұрын
Excellent question! I think there are examples where every state produced by the product construction are necessary (and no smaller DFA exists), so in general yes it is required. However, you can potentially make the DFA directly without having to use the product construction.
@t_balle1620
@t_balle1620 4 жыл бұрын
@@EasyTheory allright, thanks!
@LlamaBG
@LlamaBG Жыл бұрын
you are right, 2 times 3 is 6
@metafates
@metafates 2 жыл бұрын
Thank you!
@avramcs
@avramcs 2 жыл бұрын
straight legend
@charged7177
@charged7177 8 ай бұрын
I think that there is a small error. To be mathematically correct , shouldnt be RxQ where R the state set of L1 and Q the state set of L2?
@cansnlale2292
@cansnlale2292 2 жыл бұрын
that's what i need!!
@salman8562
@salman8562 4 жыл бұрын
I like the dyslexic "HOME" at the top.
@EasyTheory
@EasyTheory 4 жыл бұрын
LOL yes didn't realize it was in the shot. Not sure if it's dyslexic though ;)
@salman8562
@salman8562 4 жыл бұрын
@@EasyTheory no as I have your attention, solve this dfa question for me {w belongs to {a,b}: every string in w contains no more than 2 occurences of "bb"} (The string "bbb" should be viewed as two occurence of "bb")
@umairalvi7382
@umairalvi7382 4 жыл бұрын
Does the cross product method give minimal dfa? Or do we have to make it minimal?
@EasyTheory
@EasyTheory 4 жыл бұрын
umair alvi the answer is no, I prove that it's not always minimal here: kzbin.info/www/bejne/jnOqmJSOop5nm9k. You should run some minimization algorithm after forming the product DFA.
@yassinethlija4839
@yassinethlija4839 2 жыл бұрын
Thanks Doc
@jk47nitk
@jk47nitk 3 жыл бұрын
Thank you .
@MrBrainStarX
@MrBrainStarX 4 жыл бұрын
Why do you have so many private videos in the playlist ?
@EasyTheory
@EasyTheory 4 жыл бұрын
Videos I've made that are coming up but aren't public yet (will start appearing tomorrow)!
@MrBrainStarX
@MrBrainStarX 4 жыл бұрын
@@EasyTheory awesome :) tomorrow is my exam, wish me luck :P
@EasyTheory
@EasyTheory 4 жыл бұрын
MrBrainStarX good luck! What material specifically?
@MrBrainStarX
@MrBrainStarX 4 жыл бұрын
@@EasyTheory automata theory(DFA,NDFA,PDA), language theory,logic, Turing machines, complexity theory (P, NP, NPC)
@MrBrainStarX
@MrBrainStarX 4 жыл бұрын
@@EasyTheory thx :)
@umairalvi7382
@umairalvi7382 4 жыл бұрын
How to the difference operation on two dfa's?
@EasyTheory
@EasyTheory 4 жыл бұрын
umair alvi note that the difference of languages A, B is A-B, the set of strings in A *and not* in B. (Use that as a hint.)
@umairalvi7382
@umairalvi7382 4 жыл бұрын
@@EasyTheory a-b=a intersection not b Am i right sir?
@EasyTheory
@EasyTheory 4 жыл бұрын
umair alvi yes!
@kaveenjayamanna3076
@kaveenjayamanna3076 4 жыл бұрын
thank you
@nehakattoju8766
@nehakattoju8766 4 жыл бұрын
thank you : D
@rileyacosta9168
@rileyacosta9168 Жыл бұрын
legend
@acoinhastwosides5239
@acoinhastwosides5239 3 жыл бұрын
is it a minimal DFA?
@EasyTheory
@EasyTheory 3 жыл бұрын
Not always, as I show here: kzbin.info/www/bejne/jnOqmJSOop5nm9k&ab_channel=EasyTheory
@free-palestine000
@free-palestine000 4 жыл бұрын
Can you do NFA to DFA conversion pls
@EasyTheory
@EasyTheory 4 жыл бұрын
Next video (on Monday) is NFA to regex, then right after is NFA to DFA!
@free-palestine000
@free-palestine000 4 жыл бұрын
Easy Theory cool thanks 🙏
@huatutu-u5l
@huatutu-u5l 3 ай бұрын
awesome
@jimjim3979
@jimjim3979 Жыл бұрын
Why are you sad tho😢. Great video
@solidwaterslayer
@solidwaterslayer 3 жыл бұрын
Last time I checked 2 * 3 = 6 loooooooooooooooooooool
@Dylan12kpo1k2pDylan
@Dylan12kpo1k2pDylan Жыл бұрын
Yummy work
@RenaudAlly
@RenaudAlly Жыл бұрын
Nice thumbnail LUL
@nitsuj1001
@nitsuj1001 2 жыл бұрын
You look like Luke Skywalker
@hitarthas4076
@hitarthas4076 Жыл бұрын
you saved me 🫡
@noid8985
@noid8985 Жыл бұрын
Thank you!
NFA to Regular Expression Conversion, and Example
14:46
Easy Theory
Рет қаралды 110 М.
Chain Game Strong ⛓️
00:21
Anwar Jibawi
Рет қаралды 41 МЛН
Don’t Choose The Wrong Box 😱
00:41
Topper Guild
Рет қаралды 62 МЛН
Regular Languages: Deterministic Finite Automaton (DFA)
6:28
How do non-euclidean games work? | Bitwise
14:19
DigiDigger
Рет қаралды 2,5 МЛН
one year of studying (it was a mistake)
12:51
Jeffrey Codes
Рет қаралды 311 М.
Conversion of NFA to DFA (Powerset/Subset Construction Example)
12:31
Mastering Dynamic Programming - How to solve any interview problem (Part 1)
19:41
Nonregular languages: How to use the Pumping Lemma
4:56
A Sensible Introduction to Category Theory
26:20
Oliver Lugg
Рет қаралды 457 М.
Mathematical Proof Writing
19:23
The Math Sorcerer
Рет қаралды 63 М.