Tema 1: Semigrupos
1.1 Semigrupos: Conceptos fundamentales
1.2 Subsemigrupos
1.3 Homomorfismos de semigrupos
1.4 Producto directo de semigrupos
1.5 Semigrupo libre de palabras

Tema 2: Máquinas de Turing
2.1 Antecedentes históricos
2.2 Descripción de una máquina de Turing
2.3 Diseño de máquinas de Turing con objetivos prefijados

Tema 3: Máquinas secuenciales
3.1 Semiautómatas
3.2 Autómatas: Máquinas de Melay
3.3 Máquinas de Moore
3.4 Máquinas secuenciales equivalentes
3.5 Máquinas secuenciales en forma reducida: Minimización de un autómata
3.6 Diseño de autómatas
3.7 Relación entre semigrupos y (semi)autómatas

Tema 4: Aplicaciones de los autómatas: lenguajes formales
4.1 Definición de lenguaje formal
4.2 Lenguajes regulares
4.3 Relación entre los lenguajes regulares y los autómatas
Azken aldaketa: asteartea, 2014(e)ko martxoaren 25(e)an, 23:49(e)tan