Adquirir uns coneixements bàsics sobre teoria de llenguatges formals (principalment els regulars i els incontextuals), tant des del punt de vista del seu reconeixement (autòmats) com de la seva generació (gramàtiques).
Concepte de problema i la possibilitat de resoldre'l mitjançant un ordinador.