Список вопросов базы знаний

Базовый регистр - ячейка для хранения начального адреса последнего экземпляра памяти процедуры

Верификация программы - задача проверки семантических соглашений входного языка

Все лексические единицы языка требуют для себя выделения памяти

Идентификация переменных - установление однозначного соответствия между данными объектами и их именами в тексте исходной программы

Имена локальных переменных дополняются именами тех блоков (функций, процедур), в которых эти переменные описаны

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

Область видимости - ограничение употребления имени переменной рамками блока, где эта переменная описана

Область памяти - блок ячеек памяти, выделяемый для данных, каким-то образом объединённых логически

Правило распределения памяти для структур - сумма размеров памяти по всем полям структуры

Процесс распределения памяти в современных компиляторах работает с абсолютными адресами ячеек памяти

Распределение памяти на локальные и глобальные области целиком определяется синтаксисом языка исходной программы

Семантический анализатор дополняет внутреннее представление программы в компиляторе операторами и действиями, неявно предусмотренными семантикой входного языка

Семантический анализатор проверяет элементарные нормы языка программирования, напрямую не связанных с входным языком

Семантическое соглашение - проверка правильности оператора

Смысл оператора в программе зависит от семантических соглашений

Статическая область памяти - область памяти, размер которой известен на этапе компиляции

Автомат А называется приведенным, если в его множестве состояний нет недостижимых состояний и нет 2-х неразличимых состояний

Дерево представляет собой "синтаксическую структуру" предложения

Интерпретатор считывает команду и сразу выполняет ее

Конечный автомат может использоваться при анализе последовательностей различных символов в строке

Контекстно-свободными называются грамматики, у которых правая часть правил состоит из одного нетерминала

Лексический блок (сканер) разбивает цепочку символов на слова, из которых она состоит

Любой автомат Мили может быть представлен как автомат Мура и обратно

Семантическая обработка - этап работы транслятора связанная со смыслом лексем

Словарь или алфавит - бесконечное множество элементов, составленных из символов

Терминалы - это символы предложений порождаемого языка

Формальной основой лексического анализатора являются конечные автоматы

Язык состоит из трех компонентов: словаря, синтаксиса и семантики

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

В отличие от массива компоненты (поля) записи могут быть различного типа

Данные строкового типа - последовательность символов переменной длины

Два множества считаются эквивалентными тогда и только тогда, когда все их элементы одинаковы, причем порядок следования элементов в множестве безразличен

Для задания цикла с предусловием в языке программирования Паскаль используются ключевые слова FOR, DO

Для задания цикла с предусловием в языке программирования Паскаль используются ключевые слова REPEAT, UNTIL

Для задания цикла с предусловием в языке программирования Паскаль используются ключевые слова WHILE, DO

Если все элементы объекта относятся к одному и тому же типу, то такая структурированная переменная является однородной и может быть представлена в виде некоторого массива

Запись - структура данных, состоящая из фиксированного числа компонентов разного типа

Любой цикл, содержащий внутри себя один или несколько других циклов, называется вложенным

Массив - упорядоченное множество целых чисел или переменных целого типа, однозначно определяющее местоположение отдельного элемента массива

Множественный тип описывает наборы однотипных, логически связанных друг с другом объектов

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

Операторы повторения (цикла) предусматривают выполнение некоторых операторов несколько раз

Простая переменная - переменная, состоящая из нескольких элементов или компонентов, на которую тем не менее можно ссылаться как на единый объект

Простые операторы - операторы, которые состоят из других операторов

Цикл - многократное повторение последовательности действий по некоторому условию

Цикл с параметром предусматривает повторное выполнение некоторого оператора с одновременным изменением по правилу прогрессии значения, присваиваемого параметру этого цикла

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

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

Для ввода исходных данных используются операторы процедур ввода - READ, READLN

Логический тип (BOOLEAN) определяет те данные, которые могут принимать логические значения TRUE (ложь) и FALSE (истина)