Текст на формальном языке представляет собой способ записи алгоритма с использованием строго определённых символов и правил, которые не допускают двусмысленности. Это может быть, например, запись алгоритма с помощью псевдокода, формальных языков программирования или математических логик. Такой текст включает чёткие инструкции, которые могут быть интерпретированы машиной или другим человеком без необходимости дополнительных пояснений.