Usted está aquí: Inicio Ingeniería Informática Formal Languages and Automata Theory Course Guide

Course Guide

Acciones de Documento
  • Vista de contenidos
  • Marcadores (bookmarks)
  • Exportación de LTI
Autores: DAVID GRIOL BARRES, ARACELI SANCHIS DE MIGUEL, MARÍA PAZ SESMERO LORENTE, AGAPITO LEDEZMA ESPINO, JUAN MANUEL ALONSO WEBER
This guide summarizes the structure of the course, detailing the suggested learning time, basic learning materials, basic readings, complementary study mataerials, complementary readings, assessment activities, practical assignments, and evaluation tests for each one of the units.

 

Units Suggested Learning Time Basic Learning Materials and Readings Complementary Study Materials and Readings Assesment Activities and Practical Assignments Evaluation Tests Notes
UNIT 1. Introduction to the theory of automata and formal languages

1.5 hours for the theoretical contents + 1 hour personal working

MC-F-001
Theoretical contents Unit 1 (PDF)

Read Chapter 1 of RR-B-001

Read Chapter 0 of RR-B-002

Read Chapter 1 of RR-B-003



UNIT 2. Automata Theory 1.5 hours for the theoretical contents + 4 hours personal working

MC-F-002
Theoretical contents Unit 2 (PDF)

LB-F-001 JFLAP  software  (JFLAP software)

Read Sects. 2.1-2.2; Sects. 2.3-2.8; Chap. 4; Sects. 3-1-3.7 of RR-B-001

Read Chapter 2 and Chapter 3 of RR-B-003

Read JFLAP tutorial RE-F-003 (JFLAP - FA)

LB-F-002 Practical exercise JFLAP 1 (PDF) Complete
First Partial Assessment ET-F-001 (PDF)
Verify knowledge acquisition with SET-F-001 (PDF)
UNIT 3. Finite Automata 8 hours for the theoretical contents+ 1.5 hours for the practical exercises + 34  hours personal working

MC-F-003
Theoretical contents Unit 3 (PDF)

LB-F-001 JFLAP  software  (JFLAP software)

 

Read Chapter 2 of RR-B-001

Read Chapter 1 of RR-B-002

Read Chapter 4, Chapter 5 and Chapter 6 of RR-B-003

Read Chapter 1, Chapter 2 and Chapter 3 of RR-B-009

Read JFLAP tutorial RE-F-003 (JFLAP - FA)

EP-F-001 Proposed exercises Unit 3 - Part 1 (PDF)

EP-F-002 Proposed exercises Unit 3 - Part 2 (PDF)

EP-F-003 Proposed exercises Unit 3 - Part 3 (PDF)

LB-F-002 Practical exercise JFLAP 1 (PDF)

Complete
Second Partial Assessment ET-F-002 (PDF)

Verify knowledge acquisition with SEP-F-001 (PDF)

Verify knowledge acquisition with SET-F-002 (PDF)

UNIT 4. Languages and Formal Grammars 9 for the theoretical contents + 1.5 hours for the practical exercises + 17  hours personal working

MC-F-004
Theoretical contents Unit 4 (PDF)

Read Chapter 5 and Chapter 7 of RR-B-001

Read Chapter 2 of RR-B-002

Read Chapter 9 and Chapter 10 of RR-B-003

Read JFLAP tutorials RE-F-006 (JFLAP - Grammars) and RE-F-007 (JFLAP - RE)

EP-F-004 Proposed exercises Unit 4 - Part 1 (PDF)

EP-F-005 Proposed exercises Unit 4 - Part 2 (PDF)

LB-F-003 Practical exercise JFLAP 2 (PDF)

Complete
Third Partial Assessment ET-F-003 (PDF)

Verify knowledge acquisition with SEP-F-002 (PDF)

Verify knowledge acquisition with SET-F-003 (PDF)

UNIT 5. Regular Languages 6 for the theoretical contents + 12 hours personal working

MC-F-005
Theoretical contents Unit 5 (PDF)

LB-F-001 JFLAP  software  (JFLAP software)

RE-F-006. Working with JFLAP and Grammars (JFLAP - Grammars)

RE-F-007. Working with JFLAP and Regular Expressions (JFLAP - RE)

Read Chapter 3 and Chapter 4 of RR-B-001

Read Chapter 1 of RR-B-002

Read Chapter 5 and Chapter 6 of RR-B-003

Read Chapter 3, Chapter 4 and Chapter 6 of RR-B-009

Read JFLAP tutorials RE-F-006 (JFLAP - Grammars) and RE-F-007 (JFLAP - RE)

EP-F-006 Proposed exercises Unit 5 - Part 1 (PDF)

EP-F-007 Proposed exercises Unit 5 - Part 2 (PDF)

LB-F-003 Practical exercise JFLAP 2 (PDF)

Complete
Fourth Partial Assessment ET-F-004 (PDF)

Verify knowledge acquisition with SEP-F-003 (PDF)

Verify knowledge acquisition with SET-F-004 (PDF)

UNIT 6. Push-Down Automata 6 for the theoretical contents + 1.5 hours for the practical exercises + 12 hours personal working

MC-F-006
Theoretical contents Unit 6 (PDF)

Read Chapter 6 of RR-B-001

Read Chapter 2 of RR-B-002

Read Chapter 7 of RR-B-003

Read JFLAP tutorials RE-F-008 (JFLAP - PDA) and RE-F-009 (JFLAP - TM)

EP-F-008 Proposed exercises Unit 6 (PDF)

LB-F-004 Practical exercise JFLAP 3 (PDF)

Complete Fifth Partial Assessment ET-F-005 (PDF)

Verify knowledge acquisition with SEP-F-004 (PDF)

Verify knowledge acquisition with SET-F-005 (PDF)

UNIT 7. Turing Machine 3 for the theoretical contents + 1.5 hours for the practical exercises  + 5 hours personal working

MC-F-007
Theoretical contents Unit 7 (PDF)

LB-F-001 JFLAP  software  (JFLAP software)

RE-F-008 Working with JFLAP and Push-Down Automata (JFLAP - PDA)

RE-F-009 Working with JFLAP and Turing Machines (JFLAP - TM)

Read Chapter 8 of RR-B-001

Read Chapter 3 of RR-B-002

Read Chapter 11 of RR-B-003

Read Chapter 5 and Chapter 9 of RR-B-009

Read JFLAP tutorials RE-F-008 (JFLAP - PDA) and RE-F-009 (JFLAP - TM)

EP-F-009 Proposed exercises Unit 7 (PDF)

 

LB-F-004 Practical exercise JFLAP 3 (PDF)

Complete
Sixth Partial Assessment ET-F-006 (PDF)

Verify knowledge acquisition with SEP-F-005 (PDF)

Verify knowledge acquisition with SET-F-006 (PDF)

UNIT 8. Computational Complexity 3 for the theoretical contents + 5 hours personal working

MC-F-008
Theoretical contents Unit 8 (PDF)

Read Chapter 9,  Chapter 10 and Chapter 11 of RR-B-001

Read Chapter 4 and Chapter 5 of RR-B-002

Read Chapter 12 of RR-B-003

ET-F-007 Final exam 1 (PDF)

ET-F-008 Final exam 2 (PDF)

ET-F-009 Final exam 3 (PDF)

ET-F-010 Final exam 4 (PDF)

Verify knowledge acquisition with SET-F-007 (PDF)

Verify knowledge acquisition with SET-F-008 (PDF)

Verify knowledge acquisition with SET-F-009 (PDF)

Verify knowledge acquisition with SET-F-010 (PDF)

Reutilizar Curso
Descargar este curso