Sumários
Aula 7
4 Abril 2023, 10:00 • Isabel Gama Nunes
Exercises on Pushdown automata.
Second individual evaluation test.
Aula 6
28 Março 2023, 10:00 • Isabel Gama Nunes
Some exercises on context-free grammars
Pushdown automata (Sipser's book, Section 2.2)
Aula 5
21 Março 2023, 10:00 • Isabel Gama Nunes
Regular expressions and finite automata are equivalent in their descriptive power.
Non-regular languages. Pumping lemma for regular languages. (Sipser's book, Section 1.4)
Some exercises on regular expressions.
Context-free languages and grammars (Sipser's book, Section 2.1)
Aula 4
14 Março 2023, 10:00 • Isabel Gama Nunes
Operations on languages: Union, Concatenation and Star. These operations are closed on the class of regular languages.
Regular expressions. (Sipser's book, Chapter 1.3)
First individual evaluation test.
Aula 3
7 Março 2023, 10:00 • Isabel Gama Nunes
Non-determinism. Non-Deterministic Finite Automata (NDFA). Formal
definition and representation by state diagrams. NDFAs have the same
computational power than DFAs, that is, they recognize the same
languages. (Sipser's book, Chapter 1.2)