Automata Theory Courses and Certifications

NPTEL-NOC IITM

Theory of Computation

Engage with Prof. Kalyanasundaram's exploration of computational theory concepts, examining fundamental principles and applications in this concise NPTEL lecture from IIT Hyderabad.

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

Simons Institute

Learning and Teaching Automata via Demonstrations and Natural Languages

Explore techniques for learning and teaching automata specifications through expert demonstrations and natural language, including modeling, searching, and finding pedagogic demonstrations.

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

Centre International de Rencontres Mathématiques

On Expansions of Monadic Second-Order Logic with Power Predicates - Lecture 1

Explore the decidability of monadic second-order logic expanded with arithmetic predicates, connecting logic and automata theory through classical and modern techniques.

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

Code Sync

Automata Unveiled: A Theoretical Exploration of State Machines

Explore state machines and automata theory through practical Erlang implementations, bridging theoretical foundations with real-world applications for advanced software architecture solutions.

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

ACM SIGPLAN

Symbolic Automata: Omega-Regularity Modulo Theories

Explore the generalization of symbolic automata to support ω-regular languages through symbolic transition terms and derivatives, unifying classic automata and logics for symbolic model checking applications.

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

Centre International de Rencontres Mathématiques

Regular Singularities of Mahler Systems

Explore the recognition of regular singularities in Mahler systems, their analytical properties, and connections to automata theory in this mathematical talk by Marina Poulet.

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

Centre International de Rencontres Mathématiques

On Expansions of Monadic Second-Order Logic with Power Predicates - Lecture 2

Explore advanced decidability results for monadic second-order logic expanded with multiple power predicates, combining dynamical systems and number theory techniques.

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

Sundeep Saradhi Kanthety

Conversion of NFA with Epsilon to NFA Without Epsilon in Automata Theory

1 rating

Learn to convert NFA with epsilon transitions to NFA without epsilon, a crucial skill in automata theory. Understand the step-by-step process and its importance in simplifying finite automata representations.

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

Sundeep Saradhi Kanthety

Chomsky Normal Form and Conversion of CFG to CNF in Automata Theory

Learn to convert Context-Free Grammars to Chomsky Normal Form, a standardized format for simplifying and analyzing grammars in automata theory. Understand the steps and rules for this important transformation.

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

Concepts in Computer Science

2 ratings

Learn how computers work, design efficient algorithms, and explore computational theory to solve real-world problems.

• DataCamp
• 3 hours
• Self-Paced
• Free Trial Available

Center for Language & Speech Processing(CLSP), JHU

Machine Translation: Automata Theory, Probability, and Linguistics - 2007

Explore machine translation's evolution through automata theory, probability, and linguistics. Delve into tree-based models and their impact on natural language processing.

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

Center for Language & Speech Processing(CLSP), JHU

Machine Translation - Automata Theory + Probability + Linguistics

Discover how machine translation combines automata theory, probability, and linguistics through expert insights from ISI's Kevin Knight in this comprehensive technical presentation.

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

软件理论基础

本课程介绍形式语言、自动机、文法、可判定性问题及计算复杂性。

• XuetangX
• Self-Paced
• Free Online Course

NPTEL;  IIT Kanpur

Theory of Computation

6 ratings

Explore finite automata, regular languages, context-free grammars, and Turing machines. Learn about computational models, their properties, and fundamental concepts in theoretical computer science.

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

What is “the mind” and what is artificial intelligence?

151 ratings at Coursera

In this course, we will explore the history of cognitive science and the way these ideas shape how we think of artificial cognition.

• Coursera
• 7 hours 41 minutes
• Self-Paced
• Paid Course