Automata & Formal Languages Courses and Certifications

NPTEL;  IIT Madras

Theory of Automata, Formal Languages and Computation

12 ratings

Explore how grammars, automata, and Turing machines define languages and illuminate the limits of computation.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

Automata Theory

20 ratings

This course covers the theory of automata and languages. We begin with a study of finite automata and the languages they can define (the so-called "regular languages." Topics include deterministic and

• edX
• 7 weeks, 5-10 hours a week
• Self-Paced
• Free Online Course (Audit)

NPTEL;  IIT Kanpur

Theory of Computation

7 ratings

Explore computability through formal languages, automata, Turing machines, undecidability, and the foundations of tractable computation.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

System Validation (4): Modelling Software, Protocols, and other behaviour

13 ratings at Coursera

Model software behaviour and communication protocols with formal methods: reduce behaviour to linear process normal form and apply modelling guidelines that keep state spaces small.

• Coursera
• 2 weeks, 2 hours a week
• Self-Paced
• Paid Course

System Validation (2): Model process behaviour

10 ratings at Coursera

Model the behaviour of protocols and distributed algorithms with sequential and parallel composition and data types, keeping specifications simple enough to avoid state space explosion.

• Coursera
• 3 weeks, 1 hour a week
• Self-Paced
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Automata and Computability

Design finite automata, context-free grammars, and Turing machines, prove language properties with pumping lemmas and normal forms, and classify problems as decidable, P, NP or NP-complete.

• Coursera
• 10 weeks, 6 hours a week
• Self-Paced
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Formal Languages and Applications

Build lexical analyzers and parsers while studying regular expressions, DFA minimization, context-free grammars, recursive descent, LL(1) and LR(0) parsing, and POS tagging.

• Coursera
• 10 weeks, 6 hours a week
• Self-Paced
• Paid Course

Write your own Operating System

Context-Free Grammars

Learn how recursive context-free grammars model programming-language syntax, resolve operator precedence and dangling else, and produce parse trees for interpreters.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Finite Automata

Learn how deterministic finite automata model computation, recognize regular languages, and reveal limits through languages no DFA can recognize.

• YouTube
• 1 hour 19 minutes
• Self-Paced
• Free Video

NPTEL-NOC IITM

Significance of Regular Languages and Regular Operations - Lecture 5

See how regular languages are distinguished from nonregular ones and how union, concatenation, and Kleene star combine them.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

State Machines - Lecture 4

Introduces state machines as a model for how algorithms work, then uses induction to prove properties of these machines.

• YouTube
• 1 hour 21 minutes
• Self-Paced
• Free Video

Wolfram

Mathematical Games - Turing Machines and Turmites - Episode 19

Explore mathematical games and puzzles built around Turing machines and turmites.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

Code Sync

Automata Unveiled: A Theoretical Exploration of State Machines

Connects Erlang’s gen_statem implementation to automata theory, using practical examples and code to reveal the mathematical ideas behind state machines.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Wolfram

Adaptive Evolution in Totalistic Cellular Automata

Rule vectors mutate so finite lifeforms in a one-dimensional totalistic cellular automaton can evolve toward the largest possible evolution.

• YouTube
• 17 minutes
• Self-Paced
• Free Video

NPTEL-NOC IITM

Theory of Computation

A live session on theory of computation.

• YouTube
• 41 minutes
• Self-Paced
• Free Video