L22-CST301: Formal Languages and Automata Theory - Myhill-Nerode Relations

This lecture covers Myhill-Nerode Relations, a specific type of equivalence relation induced by regular languages on the set of all strings, fundamental to automata theory.

L22-CST301: Formal Languages and Automata Theory - Myhill-Nerode Relations
Sumesh Divakaran
2.4K views β€’ Feb 5, 2022
L22-CST301: Formal Languages and Automata Theory - Myhill-Nerode Relations

About this video

This lecture introduces Myhill Nerode Relations which are special kinds of equivalence relations induced by regular languages on the set of all strings of an alphabet set. Topics covered: MN Relation induced by a DFA, formal definition, example, existence of MN Relation as a necessary condition for regularity.

Video Information

Views

2.4K

Likes

29

Duration

28:34

Published

Feb 5, 2022

User Reviews

4.3
(2)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.