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

preview_player
Показать описание
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:
Рекомендации по теме
Комментарии
Автор

A free content from Cambridge lecturer, damn

akuilaopo
Автор

im a online student and your vids help man. Thank you

johnathan
visit shbcf.ru