Формальные языки Математика и информатика используют искусственные объекты, называемые формальными языками (включая языки программирования и языки разметки, а также некоторые из них, носящие более теоретический характер).
Математика и информатика используют выдуманные языки, называемые формальными языками (например, языками компьютерного программирования), но они могут быть или не быть «настоящими» языками.