2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30415We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to a characterisation of the functions computable in space bounded by a polynomial in the size of the inputs.Programming LanguagesComputational ComplexityF.1.3; I.2.2text