Los programas pueden separarse en su parte sintáctica (la estructura gramatical) y su parte semántica (el significado).