PDI: Principis bàsics de programació d'autòmats.