Poznámky
Osnova
Part V.
Properties of Regular Languages
Pumping Lemma for RLs
Pumping Lemma: Illustration
Proof of Pumping Lemma 1/3
Proof of Pumping Lemma 2/3
Proof of Pumping Lemma 3/3
Pumping Lemma: Application I
Pumping Lemma: Example
Note on Use of Pumping Lemma
Pumping Lemma: Application II. 1/3
Pumping Lemma: Application II. 2/3
Pumping Lemma: Application II. 3/3
Closure properties 1/2
Closure properties 2/2
Algorithm: FA for Complement
FA for Complement: Problem
Closure properties: Complement
Closure properties: Intersection
Boolean Algebra of Languages
Main Decidable Problems
Algorithm: Membership Problem
Algorithm: Emptiness Problem
Algorithm: Finiteness Problem
Decidable Problems: Example
Algorithm: Equivalence Problem
Equivalence Problem: Example