самые распространенные: -деривационный., или, аксиоматический -денотационный, или, математический -операционный сейчас развиваются еще и проблемно-ориентированные, декларитивные и визуальные языки програмированния
