Как называется формальная знаковая система, которая предназначена для описания алгоритмов?

• Язык программирования
• Программа
• Команда