Deterministic Finite Automata Courses and Certifications

Theory of Computation : Become a master of DFA

328 ratings at Udemy

Master Deterministic Finite Automata of Theory of Computation as Theory of Computation forms core of computer science

• Udemy
• 7 hours 43 minutes
• On-Demand
• Paid Course

Ryan O'Donnell

Deterministic Finite Automata

Explore deterministic finite automata, their structure, and applications in computer science. Learn to construct DFAs, understand regular languages, and solve computational problems.

• YouTube
• 1 hour 21 minutes
• On-Demand
• Free Video

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

Formal Languages and Applications

Explore formal language theory, automata, and parsing algorithms to build lexical analyzers and language recognition systems for compilers and NLP applications.

• Coursera
• 2 days 13 hours 30 minutes
• On-Demand
• Paid Course

Sundeep Saradhi Kanthety

Automata Theory and Formal Languages - Complete Course

Master finite automata, regular expressions, context-free grammars, and pushdown automata through comprehensive examples and conversions in this complete theory of computation guide.

• YouTube
• 20 hours 2 minutes
• On-Demand
• Free Video

Sundeep Saradhi Kanthety

Greibach Normal Form and Conversion of Context Free Grammar to GNF in Automata Theory

1 review

Explore Greibach Normal Form and learn how to convert context-free grammars to GNF. Gain insights into this important concept in automata theory and formal language processing.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Finite Automata

Explore finite automata and regular languages in theoretical computer science, covering DFAs, computation concepts, and language analysis techniques.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

CppNow

Compile Time Regular Expressions with a Deterministic Finite Automaton

Explore advanced C++20 techniques for compile-time regular expressions using a Deterministic Finite Automaton, optimizing performance and showcasing novel metaprogramming approaches.

• YouTube
• 1 hour 33 minutes
• On-Demand
• Conference Talk

Discover AI

Evaluating World Models in Generative AI - A Critique of AI Intelligence Assessment

Explore groundbreaking research from top universities challenging AI evaluation methods, revealing limitations in language models' structural understanding and proposing new assessment frameworks.

• YouTube
• 30 minutes
• On-Demand
• Free Video

TheIACR

Adaptively Secure ABE for DFA from k-Lin and More

Explore advanced cryptographic techniques for Attribute-Based Encryption, focusing on Deterministic Finite Automata and k-Linear assumptions in this research presentation.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

IEEE

HVLearn - Automated Black-Box Analysis of Hostname Verification in SSL-TLS Implementations

Automated analysis of hostname verification in SSL/TLS implementations using automata learning algorithms. Identifies vulnerabilities and specification violations in popular libraries and applications.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Strange Loop Conference

A Relational Exploration of the Chomsky Hierarchy

Explore encoding automata and Turing Machines in miniKanren for relational programming. Learn to generate strings and associated data structures, gaining insights into the Chomsky Hierarchy and automata workings.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation

Explore the visualization of transforming nondeterministic finite-state machines to deterministic ones in this insightful presentation.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Simons Institute

From Fallible DFAs to DFA-Therapy and Things In-Between

Explore the theoretical foundations of fallible DFAs and their therapeutic applications, examining key concepts and intermediate developments in automata theory.

• YouTube
• 13 minutes
• On-Demand
• Free Video

USENIX

Towards an Effective Method of ReDoS Detection for Non-backtracking Engines

Explore advanced techniques for detecting ReDoS vulnerabilities in non-backtracking regex engines, featuring EvilStrGen tool and novel attack string generation methods for enhanced security testing.

• YouTube
• 13 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

Explore the formal verification of regular expressions in Dafny, demonstrating how denotational (inductive) and operational (coinductive) semantics are equivalent through pointwise bisimilarity.

• YouTube
• 19 minutes
• On-Demand
• Free Video