définitions et opérations sur les langages,
description de langages (grammaires algébriques, expressions régulières), reconnaissance de langages (automates finis),
classification des langages et des reconnaisseurs.