Glossaris

Màquina o algoritme (o el seu model formal) que reconeix un llenguatge (responent a la qüestió de si un mot arbitrari hi pertany o no).