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

Эзотерика и программирование - кажется, что эти понятия находятся максимально далеко друг от друга. Или нет? Ольга Максименкова, доцент департамента программной инженерии факультета компьютерных наук НИУ ВШЭ, рассказала о том, что такое эзотерические языки программирования, какими они бывают и как создать свой. Эзотерические языки программирования (ЭЯП) — это особая категория языков, которые разработаны не для промышленных целей, а, например, для исследования границ возможностей разработки или проверки, можно ли реализовать некоторую идею...