какие есть формальные языки
Языки программирования, таблица Менделеева и другие языки, у которых есть автор.
Информатика что-ли?Не?