La théorie des modèles dérivationnels étudie la structure et les propriétés des modèles où les opérations de dérivation sont centrales. Elle est utilisée en informatique théorique et en linguistique pour analyser des systèmes grammaticaux