Без заголовка

Витя уже приводил это различение: когда Найшуль пишет о каком-то гипотетическом "пафосном естественном языке" мне нужен обычно формализм (нотация, под которой есть какая-то компактная моделька). И обычно это сводится к самообслуживанию: такую модельку приходится придумывать и ее термы обзывать тоже самостоятельно. Редко кто-нибудь мысль подкинет... А пистолет прибереги для других случаев. Мы вот начинаем работать с министерством культуры ;)