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

Ученик, уверенно пишущий небольшие программы без функций — просто последовательность команд сверху вниз, — сталкивается на ЕГЭ по информатике с заданием, где нужно определить результат работы программы с несколькими вложенными функциями, включая рекурсивный вызов. Глаза разбегаются, стрелка выполнения теряется между вызовами, и задание, которое формально не требует написания кода, кажется сложнее любой задачи на программирование с нуля. Функции на ЕГЭ по информатике проверяются не только в заданиях,...