Formal Languages Courses and Certifications

Language, Proof and Logic

3 reviews

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

• edX
• 15 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Formal Languages and Automata Theory

156 ratings at Udemy

Introduction to Automata Theory, Languages and Computation

• Udemy
• 31 hours
• On-Demand
• Paid Course

Theory of Automata and Computation

59 ratings at Udemy

Theory of Automata/Computation, Formal Languages, DFA, NFA, CFG, CFL, Pushdown Automata, Turing Machine, Undecidability

• Udemy
• 3 hours 28 minutes
• On-Demand
• Paid Course

Teaching Reading to English Language Learners

Comprehensive strategies for teaching reading to ELL students, covering language acquisition, vocabulary development, interactive learning, and assessment techniques.

• Study.com
• 10 hours 16 minutes
• On-Demand
• Paid Course

NPTEL;  IIT Kanpur

Theory of Computation

4 reviews

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
• On-Demand
• Free Online Course

NPTEL;  IIT Madras

Theory of Automata, Formal Languages and Computation

1 review

Explore automata theory, formal languages, and computation through grammars, finite state automata, pushdown automata, Turing machines, and advanced topics in theoretical computer science.

• YouTube
• 1 day 15 hours
• On-Demand
• Free Online Course

Bridging the Divide Between Vectors and Symbols in Language Processing

Explore the intersection of vectors and symbols in language processing, focusing on innovative approaches to bridge computational and cognitive models of meaning.

• YouTube
• 28 minutes
• On-Demand
• Free Online Course

Logic: The Language of Truth

51 ratings at FutureLearn

Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form.

• FutureLearn
• 4 weeks, 4 hours a week
• On-Demand
• Free Online Course (Audit)

Simons Institute

Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning

Explore formal languages and automata for specifying reward functions in reinforcement learning, focusing on Linear Temporal Logic and Reward Machines to address real-world RL challenges.

• YouTube
• 1 hour 24 minutes
• On-Demand
• Free Online Course

Write your own Operating System

Context-Free Grammars - LR(k) Grammars

Explore the LR-Technique for parser construction, covering state transitions, nonterminals, reduce conflicts, follow sets, and LR1 grammars.

• YouTube
• 49 minutes
• On-Demand
• Free Online Course

Write your own Operating System

Context-Free Grammars

Learn about Context-Free Grammars, their role in parser and compiler design, and applications in programming languages. Gain practical advice and understand associativity concepts.

• YouTube
• 45 minutes
• On-Demand
• Free Online Course

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
• On-Demand
• Free Online Course

Sundeep Saradhi Kanthety

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

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
• On-Demand
• Free Online Course

Explore computational learning theory, focusing on binary classification and incremental learning models, with insights into various AI approaches and research areas.

• openHPI
• 3 weeks
• On-Demand
• Free Online Course

CppNow

The Truth of a Procedure in Programming

Explore the mathematical logic behind programming procedures, treating them as statements about event arrangements and bridging programming with formal languages and truth concepts.

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