Изменения

* <tex>\mathrm {s [1..n]} </tex> {{---}} массив, с помощью которого реализуется стек, способный вместить не более <tex>n</tex> элементов* <tex>\mathrm {s.top}</tex> {{---}} индекс последнего помещенного в стек элемента

Стек состоит из элементов <tex>\mathrm {s[1..s.top]}</tex>, где <tex>\mathrm{s[1]}</tex> {{---}} элемент на дне стека, а <tex>\mathrm{s[s.top]}</tex> {{---}} элемент на его вершине.Если <tex>s.top = 0</tex>, то стек не содержит ни одного элемента и является пустым <tex>(англ. ''empty'')</tex>. Протестировать стек на наличие в нем элементов можно с помощью операции {{---}} запроса <tex> \mathrm {stackEmpty} </tex>. Если элемент снимается с пустого стека, говорят, что он опустошается <tex>(англ. ''underflow'')</tex>, что обычно приводит к ошибке. Если значение <tex>\mathrm{s.top}</tex> больше <tex>\mathrm{n}</tex>, то стек переполняется <tex>(англ. ''overflow'')</tex>. (В представленном ниже псевдокоде возможное переполнение во внимание не принимается.)