Semana 8

23 Abril 2024, 10:00 • Isabel Gama Nunes

Exercises on push-down automata

Turing machines (Sipser's book, Section 3.1)

---

Semana 7

16 Abril 2024, 10:00 • Isabel Gama Nunes

---

Semana 6

9 Abril 2024, 10:00 • Isabel Gama Nunes

Non-regular languages.

Pumping lemma for regular languages. (Sipser's book, Section 1.4)

Context-free languages and grammars (Sipser's book, Section 2.1)

Some exercises on context-free grammars

---

Semana 5

26 Março 2024, 10:00 • Isabel Gama Nunes

Union, Concatenation and Star operations are closed on the class of regular languages.
Regular expressions.  (Sipser's book, Chapter 1.3)
Regular expressions and finite automata are equivalent in their descriptive power.

---

Semana 4

19 Março 2024, 10:00 • Isabel Gama Nunes

Some exercises on DFA and NDFA.

Operations on languages: Union, Concatenation and Star. 

 

---