Нет, криптография это не является формальным языком программирования. Криптография - это область информационной безопасности, которая занимается защитой информации с помощью различных методов шифрования и дешифрования данных. Формальные языки программирования используются для написания программ и алгоритмов, в том числе и для реализации криптографических методов.