Automata Theory Courses and Certifications

Paul G. Allen School

PLSE Seminar Series - The Power of Symbolic Automata

Explores symbolic automata, their applications in program verification, and novel decision procedures for equivalence checking and minimization of these powerful automata operating over infinite alphabets.

• YouTube
• 1 hour 4 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

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

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

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

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

Hausdorff Center for Mathematics

A Strong Version of Cobham's Theorem

Explore advanced mathematical logic through Cobham's theorem and its strengthening, examining k-recognizable sets and their computational complexity in Presburger arithmetic.

• YouTube
• 46 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