Autómata

1. Máquinas

1.1. Abstractas o no abstractas

1.1.1. Imitación

1.1.1.1. Seres vivos

1.1.1.1.1. Objetos

1.2. De turing

1.3. Máquinas de Turing con cinta acotada

1.4. Máquinas de Turing con dominio total

1.5. Máquinas de Turing con "espacio lineal''

1.6. Autómatas de pila no-deterministas

1.7. Autómatas de pila deterministas

1.8. Autómatas lineales

1.9. Autómatas regulares

2. Finitos

2.1. Relación con expresiones regulares

2.2. Relación con lenguajes regulares

3. De pila

3.1. Relación con lenguajes de contexto libre

3.2. Relación con lenguajes de gramática libre

4. Jerarquía de Chomski

4.1. Irrestricta (0)

4.2. Irrestricta con memoria limitada (1)

4.3. Sensibles al contexto con borro (2)

4.4. Sensibles al contexto no reductivas (3)

4.5. Libres de contexto (4)

4.6. Libres de contexto deterministas (5)

4.7. Lineales (6)

4.8. Regulares (7)