Писать компиляторы без аппарата грамматик не очень удобно. Так не делают, как я понимаю. Из моего универа многие проходят практику в компании JetBrains, которая как раз разрабатывает среды программирования, им приходится осваивать основы грамматик, чтобы что-то содержательное делать.
Вообще говоря, даже арифметическое выражение с +-*() с грамматиками парсить приятнее.
В практическом смысле даже можно смотреть на грамматики не как на математический аппарат, а как на шаблон проектирования. Типа более менее универсальная схема, по которой кодятся разборщики выражений (в широком смысле, программа -- тоже выражение). Опять же, эта схема описывает и как преобразовать выражение, и как в нем ошибки найти, и иногда даже исправить.

Есть много исследований на тему "а что, если разрешить в грамматиках еще то-то и то-то", пока они выглядят бесполезно, но _может_ случиться так, что получится построить модель, которую еще более удобно применять на практике.

Есть чисто теоретические применения -- какой-то комбинаторный анализ языка можно делать с помощью грамматик. Производящую функцию длины слова, например, по грамматике просто построить.

А, ну и еще есть несколько открытых проблем, и если про некоторые факты вдруг докажут, что они таки верны, то P не равно NP. Еще один из сотен вряд ли выполнимых путей прийти к этому результату :)

Но вообще я не особо интересуюсь практической стороной дела. Главное, чтобы няшно было :)

Ещё один теоретик. Откуда нас столько?

Вишня, а я страдаю...

Нет, ну понятно, что фреймворк берется из грамматики, но, по идее, ничего содержательного. Даже если бы не было аппарата грамматик, как-нибудь справились бы на суровой логике (не теории логики, а логике)).

Матемаг, не знаю, для меня юмор на экране или бумаге существует только под настроение. Как правило у меня как в «Что делаешь? — Читаю баш. — Что, не смешно? — Смешно, почему нет? — А почему тогда не смеешься?»
Юмор — явление почти исключительно социальное.

Про Европу сказать хотела... две вещи для меня до сих пор удивительны.
Во-первых, мы сильно не понимаем, сколько у нас инвалидов. У нас их наверняка столько же, но тут видишь их гораздо чаще. Ручных колясок почти нет, все управляются кнопками, у многих модели, умеющие ездить на приличной скорости. А у нас все вынуждены сидеть по домам.
А во-вторых, меня неизменно поражают пары старшего и преклонного поколения, которые ходят, держась за руки. У нас я такое, может, и видела, но очень редко. А тут их очень много.

> по идее, ничего содержательного. Даже если бы не было аппарата грамматик, как-нибудь справились бы на суровой логике
Мне почему-то кажется, что аналогичное утверждение справедливо для вообще любой теории.

Вишня, да? Что-то не верится.

Сенектутем, полностью согласен. На суровой логике можно всё, что может математика. Ну. Ну пишутся же проги на ассемблере. Вот и математика на суровой логике. Вообще, в математике содержательного нету, кроме всякой суровой логики и тому подобные теории категорий.

Не слушайте меня, я, может, так и не думаю, но меня кто-то покусал.

Кто же это?

Не знаю. Посмотри, пожалуйста, на что похож след укуса.

Эмн... тебя собака, что ли, укусила?

Дырочки такие от зубов же, не?

Не знаю, а есть звери какие магические, которые заставляют горячо доказывать вещи, с которыми сам не согласен?

А! Это же мозгошмыги!

Бес противоречия?

Мозгошмыги!

Кусачие?

А что, что-то не так?

Приятного аппетита, мозгошмыги! Кушайте Настю - вкусняшка!

Посмотрела на пост WIntertime и решила ещё написать про наш арабский.
- Сегодня мы проходим семью, - говорит преподаватель. - Вот слова. Сейчас я попрошу вас рассказать, из кого состоит ваша семья. Если у вас двое сестёр, то вы говорите "одна", потому что с "два" вам пока что будет сложно.
Спрашивает он девушку из Германии. А она:
- А как всё-таки будет "два"?
- А зачем вам? Вы скажите "один". Мы же учимся. Скажите, что у вас не двое братьев, а один.
- Нет, у меня два папы, как это сказать?
Преподаватель растерялся))