Слайд 2Regular Expressions and Regular Languages
for every regular language there is a regular
![Regular Expressions and Regular Languages for every regular language there is a](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-1.jpg)
expression
for every regular expression there is a regular language.
Слайд 3Regular Expressions and Regular Languages
Regular Expressions denote Regular Languages
![Regular Expressions and Regular Languages Regular Expressions denote Regular Languages](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-2.jpg)
Слайд 4Regular Expressions and Regular Languages
![Regular Expressions and Regular Languages](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-3.jpg)
Слайд 5Regular Expressions and Regular Languages
![Regular Expressions and Regular Languages](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-4.jpg)
Слайд 6Regular Expressions and Regular Languages
![Regular Expressions and Regular Languages](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-5.jpg)
Слайд 8Regular Expressions for Regular Languages
for every regular language, there should exist a
![Regular Expressions for Regular Languages for every regular language, there should exist](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-7.jpg)
corresponding regular expression.
For every regular language there should be an NFA that accepts it.
From the NFA, we can extract the respective regular expression using generalized transition graphs (GTG)
From construct the equivalent Generalized Transition Graph in which transition labels are regular expressions.
Слайд 10Reducing the states
Reducing the states
![Reducing the states Reducing the states](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-9.jpg)
Слайд 11Example (cont.)
Resulting Regular Expression:
![Example (cont.) Resulting Regular Expression:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-10.jpg)
Слайд 13In General
The final transition graph:
The resulting regular expression:
![In General The final transition graph: The resulting regular expression:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1083787/slide-12.jpg)