Чисто в научном смысле диалоговая процедура есть дискретный ряд функций:

f1(x1)
f2(x1,x2)
f3(x1,x2,x3)
...
fN(x1,x2,...,xN)

Здесь x1 - первый ввод, x2 - второй ввод и так далее.

Результат после ввода xN зависит как от xN, так и от всех предыдущих вводов.

Функция на каждом шаге тоже разная.