SDF er en alternativ metasyntakser for samme formål, men som har sitt opphav i universell algebra.