Programmiersprache

hi leute ich habe noch eine frage

wodurch ist eine formalisierte Sprache ( und damit auch eine höhere programmiersprache ) gekennzeichnet ?
(gesucht sind drei Bestimmungen)

cu michi