Что такое глобальные, формальные, локальные, фактические параметры в информатике. Turbo Pascal.

Во-первых, sm прав - это не параметры, а переменные.
Во-вторых, тут все дело в области видимости переменных.
Глобальные переменные - доступны из любого модуля программы, то есть из любой попрограммы, функции, процедуры, откуда угодно.
Локальные переменные - доступны только внутри данного модуля. Например, Если мы вычисляем функцию по формуле:
y = x1^3 + sin (Pi * x2^2) + Ln (3 * tg g / Pi), то мы пишем отдельную процедуру-функцию:
Sub Function Y(x1, x2)
Pi = 3,1415926
Y = x1^3 + sin (Pi * x2^2) + Ln (3 * tg g / Pi)
End Function
Переменная Pi = 3,1415926 определена внутри этой функции. Это локальная переменная. А вот переменная g = 9,81, которая обозначает ускорение свободного падения, определена где-то за пределами функции, она является глобальной, потому что ее область видимости распространяется и на внешние процедуры, и на эту функцию.
Переменные x1, x2 - это формальные параметры функции, через них мы функцию вычисляем.
Но когда мы вызываем эту функцию, подставляя конкретные значения x1, x2, то мы пишем: Func = Y(2, 18).
Здесь уже 2 и 18 - фактические параметры. При вызове функции они будут подставлены вместо формальных: x1 = 2, x2 = 18.

Глобальных и локальных параметров НЕ существует. Это ПЕРЕМЕННЫЕ, а не параметры.