filmov
tv
Kleene's Theorem (a): from regex to automaton (Discrete Mathematics: Formal Languages and Automata)

Показать описание
I am a Professor in the Computer Science department at the University of Cambridge. Through this channel I welcome anyone in the world to attend my lectures. This is the first video in a series on Formal Languages and Automata that forms the last part of the Discrete Mathematics course for first year computer scientists.
Kleene's theorem is a central result that proves that regular expressions and finite automata have the same expressive power: for every regular expression we may construct a finite automaton that recognizes the same language, and vice versa. The theorem is naturally made of two parts and the proofs for the two parts are both constructive---they actually show you how to build the automaton or the regexp respectively.
In this video we prove the first part of the theorem, which is much easier than the reverse.
Many thanks to those of you who are giving thumbs up to these videos and subscribing to the channel. Your support is greatly appreciated and it causes Youtube to offer this material to more viewers who might like it.
Course web page:
Course handout:
My home page:
Kleene's theorem is a central result that proves that regular expressions and finite automata have the same expressive power: for every regular expression we may construct a finite automaton that recognizes the same language, and vice versa. The theorem is naturally made of two parts and the proofs for the two parts are both constructive---they actually show you how to build the automaton or the regexp respectively.
In this video we prove the first part of the theorem, which is much easier than the reverse.
Many thanks to those of you who are giving thumbs up to these videos and subscribing to the channel. Your support is greatly appreciated and it causes Youtube to offer this material to more viewers who might like it.
Course web page:
Course handout:
My home page:
Kleene's Theorem (a): from regex to automaton (Discrete Mathematics: Formal Languages and Autom...
Kleene's Theorem (b): from automaton to regex (Discrete Mathematics: Formal Languages and Autom...
Conversion of Regular Expression to Finite Automata - Examples (Part 1)
Finite State Automaton for a Regular Expression: Kleene's Theorem Part 1
Kleene's Theorem Proof in Automata | Part 1 and 3 in urdu/hindi
Converting Regular Expressions to ε-NFAs - Thompson's Construction (Kleene's Theorem (Part...
F2021 CS 411/811 Lecture 10 (Regular Expressions, Kleene's Theorem (Part 1))
Regular Expressions II (Regex to DFA - Kleene's Theorem (Part 2))
Kleene's Theorem - Part 4 | Proof Using Regular Expressions | Theory of Computation
DFA to Regular Expression Conversion
Kleene'sTheorem' Proof of Part 1 and 2
Regular Expression to Finite Automata| Kleene Theorem question| RE to FA |Automata| Khushboo Pandey
Building a FSM from a Regular Expression | Kleene's Theorem | Lecture-19
Kleene's theorem ( part 3 rule 4 ) Kleene closure of an FA | Automata Theory
F2021 CS 411/811 Lecture 11 (Kleene's Theorem (Part 2))
Conversion of FA to Regular Expression using Kleens Theorem
Lec-27: Regular Expressions in TOC with examples | Formal Definition
#38 Kleene theorem in Automata Theory |ATC |TOC |lec 38
Kleene’s Theorem
Regular Expresson to NFA null using Kleene's Theorem
Video 8 Kleenes Theorem Proof State Minimization Method to Find Regular Expression from a Fa or TG
TOC Lec 17 - DFA to Regular expression by Deeba Kannan
kleene's theorem (Part 3 Rule 1)
Kleene’s Theorem | Regular Expression to Finite Automata | TOC | L27
Комментарии