Теория формальных языков

Пора поразмышлять о теории формальных языков и современной политике, назрела так сказать необходимость.

Други мои, случайные жертвы, после того как, образовательных систем!

Назрела суровая необходимость здесь и сейчас восхититься тем, как *теория формальных языков* — эта величественная наука о том, как заставить искусственные нейросети думать и понимать, что «а + б» — это не про любовь букв алфавита, — вдруг оказалась зеркалом сей бренной реальности.

Да-да, той самой реальности, где политики мастерски генерируют цепочки слов, не имеющие ни *нетерминалов*, ни смысла, но зато с идеальной грамматикой абсурда!

Ведь что такое формальный язык? Это строгий набор правил, где каждая скобочка, как сверчок свой шесток, знает своё место, каждый символ покорно ждёт своей очереди в выводе, а любая ошибка ведёт к немедленному краху — точь-в-точь как попытки объяснить чиновнику, что «бюджетный дефицит» — это не название нового дорблю. 

Но в отличие от математики, в политике *конечные автоматы* уже давно стали бесконечными: они переключаются между состояниями «обещаем» и «забываем» так ловко, что Тьюринг бы, отдыхая, заплакал от зависти.

А методы трансляции! О, это песня - жемчужина иронии злобы дня.

В мире, где новостные заголовки проходят через десяток *трансляторов* (они же спичрайтеры, цензоры и боты с картами таро), превращаясь из «война» в «спецоперацию», а из «кризиса» — в «новые возможности», мы все стали экспертами по преобразованию контекстно-свободных грамматик в контекстно-зависимую ложь.

И если раньше компилятор ругался на синтаксические ошибки, то теперь он просто тихо подменяет коды на «всё хорошо, гражданин» — ведь *оптимизация* важнее правды, что дроны бьют, а не обломки долетают.

И вот мы здесь: в мире, где рутинность — это новый *регулярный язык*.

Каждое утро вновь и вновь один и тот же скрипт: «проснуться ; проверить соцсети ; ужаснуться ; повторить».

Политики же тем временем мастерски строят *синтаксические деревья* из обещаний, где корень — это «завтра», а листья — «никогда».

И если в теории можем проверить, принадлежит ли строка языку, то в реальности давно пора ввести *класс P/NP* для задач типа «распознать хоть каплю смысла в предвыборных программах».

Так что пора, пора зреть в корень формальных языков — единственных систем, где всё логично, предсказуемо и… увы, совершенно неприменимо к миру, который предпочитает *недетерминированные конечные автоматы с ароматами* с переходом в состояние «хаос» по умолчанию.

И помните: если жизнь кажется *неразрешимой проблемой*, это не баг, это фича.

Спасибо за внимание! (А теперь извините, мне нужно перевести это выступление в двоичный код — а то вдруг кто-то ещё верит, что машины с искусственным интеллектом спасут вас от самих себя.)



Полностью озвучен здесь:

https://rutube.ru/channel/23714308

Ваше мнение: комменты-пожелания, лайки, репосты и ракеты на Рутубе очень важны, буду благодарен и взаимен, при наличии вашей ссылки на Рутубе.