This course provides a comprehensive study of formal languages, covering regular languages, context-free languages, and recursively enumerable languages.
Beginner
56 Lessons
15h
Certificate of Completion
This course provides a comprehensive study of formal languages, covering regular languages, context-free languages, and recursively enumerable languages.
AI-POWERED
AI-POWERED
This course includes
This course includes
Course Overview
What are the mathematics behind computers? What are the theoretical foundations of computer languages? Such questions can be explored by understanding formal languages and automata models. In this comprehensive course, you’ll explore formal languages, regular languages, and how to model them with their associated automata models. Next, you’ll cover regular expressions and grammar, and their equivalents. Then, you’ll explore context-free languages (the foundations of programming languages), pushdown automa...Show More
What You'll Learn
A solid understanding of formal languages, their structures and properties
Working knowledge of capabilities and limitations of different types of automata
The ability to convert between regular expressions, finite automata, context-free grammars and pushdown automata
Insights into computability theory, undecidability, reductions and the halting problem
What You'll Learn
A solid understanding of formal languages, their structures and properties
Show more
Course Content
Getting Started
Finite Automata
Regular Expressions and Grammars
Properties of Regular Languages
Pushdown Automata
Context-Free Grammars
7 Lessons
Properties of Context-Free Languages
7 Lessons
Turing Machines
8 Lessons
The Landscape of Formal Languages
4 Lessons
Computability
3 Lessons
Conclusion
1 Lesson
Course Author
Trusted by 1.4 million developers working at companies
Anthony Walker
@_webarchitect_
Evan Dunbar
ML Engineer
Carlos Matias La Borde
Software Developer
Souvik Kundu
Front-end Developer
Vinay Krishnaiah
Software Developer
Eric Downs
Musician/Entrepeneur
Kenan Eyvazov
DevOps Engineer
Souvik Kundu
Front-end Developer
Eric Downs
Musician/Entrepeneur
Anthony Walker
@_webarchitect_
Evan Dunbar
ML Engineer
See how Educative uses AI to make your learning more immersive than ever before.