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.