Estas "teorías dentro de la teoría" se aplican sobre dos niveles de representación internos al sistema computacional: Estructura P y Estructura S.