1. Introduction, Finite Automata, Regular Expressions

MIT 18.404J Theory of Computation, Fall 2020
Instructor: Michael Sipser

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

[viridianite]

This is THE Michael Sipser of Sipser's Introduction to the Theory of Computation.

[leahthegeek]

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]

so this is that Michael Sipser whose book we all read and love

[swagatochatterjee]

Holy shit! The legendary Michael Sipser is teaching it in video!!!!

[EngineersToGoMT]

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.

[vaalarivan_p]

personal index:
def of finite automaton : 20:00
regular lang def : 29:00

[fnaticbwipo]

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.

[chetashreejagtap]

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!

[MathNerdGamer]

I've been waiting for this ever since I looked at Sipser's page and saw that it was being reviewed for OCW!

[hansu]

Beautiful lecture, professor. I really appreciate this contribution.

[whitedevil]

Thanks to all for making this possible.

[shanhuang]

that is greatness - shows a different level of clarity....

[sebon]

Amazing lecture, everything clear even though it's mathematical, thanks for sharing

[jolness]

Love OCW. Figured they would have something for this to self study

[beelediye]

It's always a pleasure listening to lecture of a Legend.

[bowlingfanatikzzz]

Very helpful to future students! Great work! Thank you!

[temtamyassine]

Great thanks Mit OCW, the textbook is also great

[MrDiglenson]

Woah, it's so cool to see him teaching here 😮

[persi_dev]

This is the curicullum shared by pretty much every computer science department in my country of Greece... using the same book.

[donaldtimpson]

One of the silver linings for covid. Thanks.