Формальными языками можно считать

• азбуку Морзе
• китайский язык
• системы счисления
• кириллицу
• языки программирования