Sumários
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
Pushdown automata (Sipser's book section 2.2.)
Second individual evaluation test.
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.
First individual evaluation test.