Универсальный язык программирования это язык описания алгоритмов, псевдокод. Он правда похож немного по синтаксису на Паскаль. Язык ассемблера действительно язык низкого уровня, так как очень напоминает программирование машинными кодами (правда значительно удобней).