Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного института Точной Механики и Оптики. Пособие предназначено для студентов компьютерных и математических специальностей.

This book allows those with the ability to program to learn how to choose appropriate languages for certain tasks, increase their abilities to learn new languages, and understand the significance of implementation. It illustrates various language constructs and design alternatives through Java, JavaScript, C++, C, Ada, and Fortran, and intertwines discussions of object-oriented programming material with the discussions of the non-OO imperative languages. It also provides extensive material on semantics. This new edition is updated to include a new chapter covering parsing, new material on JavaScript, and updated material on Java 1.3. This book is suitable for programmers who want to get into the theory behind programming-language development and utilization.

Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов в курсах "Лингвистическое и программное обеспечение САПР" и "Теория вычислительных процессов и структур". Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для заданного синтаксиса, применение синтаксических диаграмм для построения анализаторов, таблично-управляемые и программно-управляемые анализаторы, формирование постфиксной записи арифметических выражений и операторов языка, генерация объектного кода программы. Приведены методические указания к лабораторным работам с вариантами заданий, а также требования к курсовому проекту по построению компиляторов.