Обсуждение

Могу порекомендовать например такую книжку, там и слово "мета" в названии и содержание про логики, вычислимости и пр. "с.к.клини - введение в метаматематику". (Щас читаю для тренировки мозгов и повышения настроения)

Автор там Сергей Романенко, остальные так и не начали публиковаться в блоге. Очень интересное и полезное чтиво. Работа с изобразительными синтаксисами - что это, визуальные DSL, визуализация/инфографика, CAD?

Изобразительные синтаксисы -- все, что связано с отображением внутреннего (абстрактного) синтаксиса в конкретный (для восприятия/редактирования человеком). Собственно, моделирование ведется в терминах либо онтологического дерева, либо дерева абстрактного синтаксиса, либо троек и т.д. "внутри программы", а редактирование ведется в терминах конкретного синтаксиса -- "на экране", в виде прямоугольничков-стрелочек, текста с отступами, вложенных кружочков, ключевых слов курсивом и т.д. И к этому можно тоже подходить как к "компиляторам" (собственно, "парсер" именно этим и занимается, но в IDE еще и синтез есть кроме парсинга -- плюс разные особенности, связанные с отображением хода выполнения откомпилированной и оптимизированной программы в ходе отладки в терминах оригинального конкретного синтаксиса).

Клини С.К. Введение в метаматематику. 1957 -- http://techlibrary.ru/b/2s1m1j1o1j_2z.2s._2j1c1f1e1f1o1j1f_1c_1n1f1t1a1n1a1t1f1n1a1t1j1l1u._1957.djvu (9.8МБ).