You’re only 3 weeks away from a new language
AI Engineer - Learn how to integrate AI into software applications
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the fundamentals of finite automata and regular languages in this comprehensive lecture from CMU's "Great Ideas in Theoretical Computer Science" course. Delve into deterministic finite automata (DFAs), their anatomy, and computational processes. Learn about regular languages, string notation, and problem representation in theoretical computer science. Practice DFA construction and discover techniques for proving whether a language is regular or not. Gain insights into the Union Theorem and its applications in automata theory.
Syllabus
15-251: Great Theoretical ideas in Computer Science Lecture 4
Inspirational quotation #2
Example problem 2 PALINDROME
Example problem 3
String notation
Representing problems
What is computation? What is an algorithm?
Deterministic Finite Automata (DFAs)
Anatomy of a DFA
Computing with DFAs
Formal definition of DFAs
DFA-construction practice
Regular Languages
Proving a language L is not regular
Union Theorem
Taught by
Ryan O'Donnell