formalizovaný jazyk

• формализованный язык

• формальный язык