Трассировочная таблица
Трассировочная таблица — это таблица, в которой после каждого шага алгоритма записывают текущие значения переменных. Она помогает точно проследить выполнение программы, найти ошибку и определить итоговый результат.
Перед заполнением полезно определить состояние алгоритма: какие переменные существуют и какие значения они имеют в начале. Затем выбирают столбцы для этих переменных. Внутри таблицы состояний переменных трассировочная таблица показывает, как состояние изменяется от шага к шагу.
Здесь \(S_i\) — состояние алгоритма перед шагом \(i\), а \(F_i\) — команда или действие, которое переводит его в новое состояние \(S_{i+1}\). Записывать нужно значения после выполнения действия, если в условии не указано иное.
Алгоритм: \(x:=2\); \(y:=x+3\); \(x:=y\cdot2\). Таблица будет такой: шаг 0 — \(x\) не задано, \(y\) не задано; шаг 1 — \(x=2\), \(y\) не задано; шаг 2 — \(x=2\), \(y=5\); шаг 3 — \(x=10\), \(y=5\). Итоговые значения: \(x=10\), \(y=5\).
Трассировочная таблица фиксирует изменения во времени, а не только окончательный результат. Если команда присваивания имеет вид \(x:=x+1\), сначала используется старое значение \(x\), затем в таблицу заносится новое.
Какое значение \(x\) будет записано после команды \(x:=x+4\), если до неё \(x=6\)?
Главное
- Трассировочная таблица показывает состояние переменных после последовательных шагов алгоритма.
- Строки соответствуют шагам или итерациям, столбцы — переменным и другим отслеживаемым данным.
- При присваивании сначала вычисляют правую часть, затем записывают новое значение переменной.