1. Introduction, Finite Automata, Regular Expressions

  Переглядів 309,495

MIT OpenCourseWare

MIT OpenCourseWare

День тому

MIT 18.404J Theory of Computation, Fall 2020
Instructor: Michael Sipser
View the complete course: ocw.mit.edu/18-404JF20
UKposts Playlist: • MIT 18.404J Theory of ...
Introduction; course outline, mechanics, and expectations. Described finite automata, their formal definition, regular languages, regular operations, and regular expressions. Proved that the class of regular languages is closed under union. Started proving closure under concatenation.
License: Creative Commons BY-NC-SA
More information at ocw.mit.edu/terms
More courses at ocw.mit.edu
Support OCW at ow.ly/a1If50zVRlQ
We encourage constructive comments and discussion on OCW’s UKposts and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at ocw.mit.edu/comments.

КОМЕНТАРІ: 157
@manzoor194
@manzoor194 2 роки тому
For those who haven't gone through the lecture....I would say it is the best way this subject can be taught and he explains it very clearly. Not for those who have exam tomorrow.
@tahaadeelmohammed2846
@tahaadeelmohammed2846 2 роки тому
Lmao I have exam tmmrw
@x87-64
@x87-64 2 роки тому
@@6LayersDeep This is quite literally the most interesting subject in undergrad CS. It is a crime to not study it the entire semester.
@6LayersDeep
@6LayersDeep 2 роки тому
@@x87-64 Indeed. In fact, I’m studying it well beyond my academic years.
@davidhammons2700
@davidhammons2700 2 роки тому
Lmao I have my final in less than 4 hours... R.I.P
@annafebland4460
@annafebland4460 Рік тому
@@davidhammons2700 How did it go?
@leahthegeek9677
@leahthegeek9677 2 роки тому
thank you so much for sharing this course, I'm living in a country where buying things from other countries like online courses isn't possible due to sanctions. these free courses are the only things that let me learn, thank you again for your awesome website and courses.
@AyushBhattfe
@AyushBhattfe 2 роки тому
so this is that Michael Sipser whose book we all read and love
@luuuzeta
@luuuzeta Рік тому
This is THE Michael Sipser of Sipser's Introduction to the Theory of Computation.
@w0nnafight
@w0nnafight Рік тому
who asked?
@luuuzeta
@luuuzeta Рік тому
@@w0nnafight This is THE W0nnaFight of UKposts's comment section asking "who asked".
@martian0x80
@martian0x80 Місяць тому
@@luuuzetaThis is THE LuuuZeta of UKposts's comment section saying "This is THE W0nnaFight of UKposts's comment section asking "who asked".".
@swagatochatterjee7104
@swagatochatterjee7104 2 роки тому
Holy shit! The legendary Michael Sipser is teaching it in video!!!!
@MathNerdGamer
@MathNerdGamer 2 роки тому
I've been waiting for this ever since I looked at Sipser's page and saw that it was being reviewed for OCW!
@chetashreejagtap7585
@chetashreejagtap7585 Рік тому
thank you MIT OCW for sharing such wonderful knowledge with detail explanation, for those who are not able to get source to learn things, it is really very great and awesome platform. thank you!
@fnaticbwipo1222
@fnaticbwipo1222 Рік тому
for those who want to know Mike Sipser is author of the book that in detail explains those fundamentals of computer science, make sure you watch these playlist they have a huge value for those who want to learn theory of computation.
@hansu7474
@hansu7474 Рік тому
Beautiful lecture, professor. I really appreciate this contribution.
@vaalarivan_p
@vaalarivan_p Рік тому
personal index: def of finite automaton : 20:00 regular lang def : 29:00
@whitedevil4123
@whitedevil4123 2 роки тому
Thanks to all for making this possible.
@sebon11
@sebon11 2 роки тому
Amazing lecture, everything clear even though it's mathematical, thanks for sharing
@shanhuang5886
@shanhuang5886 2 роки тому
that is greatness - shows a different level of clarity....
@beelediye6973
@beelediye6973 2 роки тому
It's always a pleasure listening to lecture of a Legend.
@mustafaerenkoc886
@mustafaerenkoc886 2 роки тому
teşekkürler geri dönüş melih
@yorgunkaptaan
@yorgunkaptaan 2 роки тому
Bakıyorum herkes burda
@MrDivyanshu33
@MrDivyanshu33 2 роки тому
Woah, it's so cool to see him teaching here 😮
@EngineersToGoMT
@EngineersToGoMT 2 місяці тому
Just got automata and regular languages at school for computer science. Surprise surpise, i didn't understand a thing. Thank god for this youtube video.
@jolness1
@jolness1 Рік тому
Love OCW. Figured they would have something for this to self study
@bowlingfanatikzzz
@bowlingfanatikzzz 2 роки тому
Very helpful to future students! Great work! Thank you!
@temtamyassine2292
@temtamyassine2292 Рік тому
Great thanks Mit OCW, the textbook is also great
@vishnusingh4121
@vishnusingh4121 Рік тому
31:59 Basically, the reason why you can solve this problem, you can make a finite automaton which recognizes the language B, is because that finite automaton is going to keep track of the parity of the number of 1's it's seen before. This has two states, one of them remembering that it's seen an odd number of 1's so far, the other one remembering it's seen an even number of 1's before. And that's going to be typical for these automata, finite automata. There's going to be several different possibilities that you may have to keep track of as you're reading the input, and there's going to be a state associated with each one of those possibilities. So if you're designing an automaton, you have to think about-- as you're processing the input-- what things you have to keep track of. And you're going to make a state for each one of those possibilities 41:52 Show finite automata equivalent to Regular Expression.
@donaldtimpson4320
@donaldtimpson4320 2 роки тому
One of the silver linings for covid. Thanks.
@-Mohamed_bayan
@-Mohamed_bayan 2 роки тому
i am waiting this course for long time☺️☺️☺️ i am very happy
@lucasmartinsbarretoalves9937
@lucasmartinsbarretoalves9937 2 роки тому
i love you MIT opencourseware
@FR33Willi
@FR33Willi 2 роки тому
work begins at 9:12
@doyourealise
@doyourealise 2 роки тому
dang just got his book introduction to computation and now i m watching his videos :) amazing video :)
@thunderingeagle
@thunderingeagle 2 роки тому
Hows the book and the course ? I am planning to start this one....so any thoughts please :)
@x87-64
@x87-64 2 роки тому
​@@thunderingeagle The course and the book both are amazing. The course is pretty much just Sipser repeating whatever is in the book so you can just watch the lectures and do problems from the book.
@danny.math-tutor
@danny.math-tutor 7 місяців тому
thanks for sharing
@net.navigator
@net.navigator Місяць тому
as someone who has used his text on toc, this is fun to watch. i wonder how i missed this playlist earlier.
@yuntaozhao5693
@yuntaozhao5693 Рік тому
Thank you professor
@ShubhamSinghYoutube
@ShubhamSinghYoutube 2 роки тому
Thank you.
@GuitarheroWWEduh
@GuitarheroWWEduh 2 дні тому
I really wish my Formal Languages/Theory of Computation (whichever your university calls the course), professor made it easier to understand like how Dr. Sipser does! Ty so much! Because I have my final this week and Dr. Sipser, as the author of my Theory of Computation course-textbook, and now I actually understand as I review for my final! ^^
@lesegomatsimela2112
@lesegomatsimela2112 7 місяців тому
is F (which is the set of accept states) the same as saying the set of all final states? @21:54
@AtulKumar-od6tn
@AtulKumar-od6tn 2 роки тому
Thank you
@devmahad
@devmahad 8 місяців тому
TOC: Basic TOC concepts: FA, Definition, Regular languages & their properties
@josemilian4167
@josemilian4167 Рік тому
watched vid to try and see what course was about since course description was bit unclear to me. reminds me of linear algebra a bit but still unclear as to the materials utility. Anyone have more complete understanding of subject that could tell me about where the information is useful?
@sirluoyi2853
@sirluoyi2853 Рік тому
Thanks sir!
@thegodfatheram
@thegodfatheram 2 роки тому
Thank you very much
@dattasai8060
@dattasai8060 2 роки тому
Input letters are a and b, then what is the regular expressions no two a's come together (string may be any length) can anyone plz help plz!!!!!!!
@autogrant7020
@autogrant7020 2 роки тому
A Sipser MIT course. :-) :-) :-)
@AdiktdToLoli
@AdiktdToLoli 2 роки тому
where was this back last semester >.< this was my subject.
@TT-bv2nc
@TT-bv2nc 2 місяці тому
very helpful, thanks!
@aamodvardhanpandey
@aamodvardhanpandey 6 місяців тому
Why, thank you, Sir!
@A.K.00
@A.K.00 2 роки тому
Is this Mr. Sipser himself? It's been some years that I read his book. Had a love-hate relationship with that subject lol.
@maximusdecimusmeridius728
@maximusdecimusmeridius728 Рік тому
Yup
@maetamonxg7718
@maetamonxg7718 Рік тому
41:00 I was thinking this is like RegEx and then I was like hey this IS RegEx .. Fun to learn TOC at a random point in my education
@potatoboss5239
@potatoboss5239 2 роки тому
Now I have something to watch on the bus
@muhammadfaruq1782
@muhammadfaruq1782 6 місяців тому
the S = (a, b) Is the (a* + b*) equals with (a + b)* or (ab)* with (a*b*) ?? Pls help me (sorry for my bad english)
@NikosXouselas10
@NikosXouselas10 2 роки тому
Department of Computer Engineering & Informatics University of Patras, Hellas. Thank you, it was really helpful!
@ikebipe
@ikebipe Рік тому
🤣🤣🤣
@Joshwism
@Joshwism Рік тому
The slides are so easy on the eyes.
@w0nnafight
@w0nnafight Рік тому
so am i
@epictetus__
@epictetus__ 2 місяці тому
Bookmark: 28:00
@austinoquinn815
@austinoquinn815 2 роки тому
Is (1U0)* actually supposed to be {{1}U{0}}* ? I might be wrong but we defined the union operation on languages which are sets. 1 and 0 do not appear to be set. This is min 40. Thanks in advance.
@x87-64
@x87-64 2 роки тому
Yes, but he said that mostly to be concise, we neglect the braces in singletons.
@ABHAYKUMAR-kh4ce
@ABHAYKUMAR-kh4ce Місяць тому
You are right. By (1U0), he meant {{1}U{0}}. He treated {1} as 1, which is not correct.
@jonathondelemos4609
@jonathondelemos4609 4 місяці тому
Thanks
@stardustsong1680
@stardustsong1680 Рік тому
Great course! Thanks a lot!
@___Truth___
@___Truth___ Рік тому
What is good homework to test if we clearly understand this lecture? Is there such corresponding homework?
@nicolasguardado7466
@nicolasguardado7466 5 місяців тому
He wrote the book "Introduction to Theory of Computation" where he provides many exercises that you can use to test yourself.
@climbeverest
@climbeverest 5 місяців тому
Not sure if the professor will alter his opening statement on math and AI, it looks like Q*2 has broken ground on that. Shows how 1 year ago is an eon in CS
@jasonpark6381
@jasonpark6381 Рік тому
can I think of the definition at 25:54 as exact match regarding regular expression?
@luuuzeta
@luuuzeta Рік тому
What do you mean by "exact match"?
@federicogasparv
@federicogasparv 2 роки тому
Boring friday night? mit course sounds like a good plan. XD
@grzegorzmajcher9237
@grzegorzmajcher9237 6 днів тому
Great!
@dakshsharma2209
@dakshsharma2209 Рік тому
can someone please let me know of the prerequisites before starting if you have already seen the course.
@mitocw
@mitocw Рік тому
PREREQUISITES: 6.042J Mathematics for Computer Science, 18.200 Principles of Discrete Applied Mathematics. For more info, visit the course on MIT OpenCourseWare at: ocw.mit.edu/18-404JF20. Best wishes on your studies!
@phuditthawatsasom6869
@phuditthawatsasom6869 Рік тому
16:35 To be honest, you did wake me up
@ahsanahmad3193
@ahsanahmad3193 2 роки тому
At 31:20 , I don't think that automaton can be created with two states. If it is possible, please share answer.
@leonardmohr9450
@leonardmohr9450 Рік тому
The two states are even and odd. The start state is even. The accept state is even. An input of zero wont change the state, and an input of one will.
@ahsanahmad3193
@ahsanahmad3193 Рік тому
@@leonardmohr9450 I appreciate your answer but I had forgotten my question. LOL. But don't worry, I have to watch this video again as I don't remember a word about automata but have to study compiler design course which I failed two semesters ago.
@okaudi
@okaudi 2 роки тому
Professor, Can we consider that Σ*1 is equal to Σ^1
@x87-64
@x87-64 2 роки тому
What operation do you mean by `^` ?
@EUROSPORTS4TECH
@EUROSPORTS4TECH Рік тому
No+ only
@yrthinks6178
@yrthinks6178 Рік тому
At 23:39 why q2 goes to q1 if the input is zero, why not it has circle above it like q1.
@luuuzeta
@luuuzeta Рік тому
That's because there's a transition from q1 to q2 when the symbol is zero.
@luuuzeta
@luuuzeta Рік тому
When the machine is in q2 and the input is zero, it goes back to q1 because there's an arrow labeled with zero that takes the machine from q2 to q1 when zero is the input. q2 doesn't have a circle labeled with zero because it's not making a transition to itself but a transition to q1. You can also look at the transition function (the table) which describes where the machine makes a transition based on the state it is in and the input symbol.
@himeyprogramming7221
@himeyprogramming7221 2 роки тому
Thank you heard my request
@AntorFerdous
@AntorFerdous 2 роки тому
I would have failed this class if it wasn't for these lectures
@user-ew5vj1sl1u
@user-ew5vj1sl1u 9 місяців тому
Done ✅
@muhammadzuhairaskari7924
@muhammadzuhairaskari7924 2 роки тому
04:30 prerequisites
@muhammadzuhairaskari7924
@muhammadzuhairaskari7924 2 роки тому
05:40 role of theory
@jluconde3702
@jluconde3702 2 роки тому
6:15 COMO FUNCIONA EL CEREBRO HUMANO ....
@merry6423
@merry6423 2 роки тому
我是中国人 很感谢🙏
@vaishnavijahagirdar3835
@vaishnavijahagirdar3835 2 роки тому
where are the ppts?
@chaitanyasharma6270
@chaitanyasharma6270 2 роки тому
where can i access the slides?
@mitocw
@mitocw 2 роки тому
You can find the course materials at: ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020/. Best wishes on your studies!
@uditjec8587
@uditjec8587 9 місяців тому
No one talks about computability of computer with proper example.
@shawonmajid
@shawonmajid Рік тому
Where can I get the slides used in the video?
@mitocw
@mitocw Рік тому
You can get the slides on MIT OpenCOurseWare at: ocw.mit.edu/18-404JF20. Best wishes on your studies!
@draneolfesoj13
@draneolfesoj13 6 місяців тому
i have exam this day, im reviewing today HAHAHA.
@sohailakandil2046
@sohailakandil2046 Місяць тому
isn't there a free legal version for the book
@tamasurban8870
@tamasurban8870 4 місяці тому
huge thanks from hungary!!
@hussienalsafi1149
@hussienalsafi1149 2 роки тому
❤️ ❤️ ❤️
@vishalcseiitghy
@vishalcseiitghy 2 роки тому
Here, before GATE 2022
@zainulabideenkhan7218
@zainulabideenkhan7218 2 роки тому
Construct NDPDA for the language of all non-palindrome. Construct DPDA for the language of all those strings in which the no. of a’s twice the no. of b’s. anybody help me please
@imglenngarcia
@imglenngarcia 2 роки тому
💡
@forheuristiclifeksh7836
@forheuristiclifeksh7836 3 місяці тому
0:09
@DavidShuster1
@DavidShuster1 2 роки тому
1:00:24 Loudly crying face (copyrighted) Source Unknown
@x87-64
@x87-64 2 роки тому
LOL
@lasranasmalevolas3303
@lasranasmalevolas3303 Рік тому
28:18
@forheuristiclifeksh7836
@forheuristiclifeksh7836 3 місяці тому
2:22
@NEILJOHNRA
@NEILJOHNRA 2 роки тому
1 done
@monsieurbreakyourpc
@monsieurbreakyourpc 2 роки тому
32:00
@josephgh2886
@josephgh2886 Рік тому
Goood
@MasterCivilEngineering
@MasterCivilEngineering 2 роки тому
Master in engineering here🇺🇸🇺🇸🇺🇸
@forheuristiclifeksh7836
@forheuristiclifeksh7836 3 місяці тому
34:32
@greymonwar9906
@greymonwar9906 2 роки тому
Take a drink everytime he AUMM
@monsieurbreakyourpc
@monsieurbreakyourpc 2 роки тому
10:08
@fmlabhlee
@fmlabhlee 2 роки тому
저자직강
@deeal5336
@deeal5336 2 роки тому
37:03 No BADBADNOTGOOD ?? lol
@mistersir3185
@mistersir3185 8 місяців тому
It is so hard to keep track of what he is explaining in the last 3 sections. Lost interest...
@Eta_Carinae__
@Eta_Carinae__ 2 роки тому
I'm a math major, and my uni only offers theoretical CS as a unit to CS majors (or you'd have to do enough to earn a CS minor at least), which sucks because this really interests me, but I don't care much for the engineering/code-monkey stuff. Thanks for uploading this, I'm gonna follow these closely for sure!
@moatef1886
@moatef1886 Рік тому
I’ve found the “engineering/code monkey stuff” isn’t what a formal education in CS is about. It’s pretty much mathematics, these theoretical CS courses. Algorithms analysis and design, theory of computation/complexity theory, formal language and automata theory, mathematical cryptography, type theory, etc. A lot of a CS degree is pretty far away from the “engineering/code monkey” stuff, and theoretical computer scientists are mathematicians.
@ian2668
@ian2668 2 роки тому
@allenyu4054
@allenyu4054 2 роки тому
Can be explained by lambda calculus, much more concise and graceful
@jedikirby
@jedikirby Рік тому
is there a good course on UKposts that can help with the basics? I'd love to watch it
@Iqbal00123
@Iqbal00123 3 місяці тому
I did not understand 70% of the class
@t0wbo2t
@t0wbo2t Місяць тому
Give a try to "Mathematical Logic" by Joseph R. Shoenfield.
@HareKrishanaa
@HareKrishanaa 2 роки тому
7:00 WHy you want that computers should do what a human brain can do. WHY WHY WHY? ? humans are aready very huge in no. there is no shortage of them.
@ratnabanerjee7133
@ratnabanerjee7133 5 місяців тому
Only basic. No depth.
2. Nondeterminism, Closure Properties, Conversion of Regular Expressions to FA
1:03:27
A nice exponential equation to solve| Solve for x#math #exponent
4:44
Первая поломка Scirocco! Балацко попал на мотор.
1:13:12
The Boundary of Computation
12:59
Mutual Information
Переглядів 903 тис.
Regular Expressions - Computerphile
17:19
Computerphile
Переглядів 237 тис.
Introduction to Poker Theory
30:49
MIT OpenCourseWare
Переглядів 1,2 млн
Theory of Computation (a brief introduction)
4:55
Gabbie
Переглядів 6 тис.
Lec 1 | MIT 9.00SC Introduction to Psychology, Spring 2011
49:44
MIT OpenCourseWare
Переглядів 2,8 млн
6. TM Variants, Church-Turing Thesis
1:14:49
MIT OpenCourseWare
Переглядів 36 тис.
Map of Computer Science
10:58
Domain of Science
Переглядів 6 млн