Tekst źródłowy strony Stosy - struktura algebraiczna

Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br />
'''Definicja'''<br />
Struktura algebraiczna<br />
<center><math>A = \langle E \cup S; w, u, p, e, =\rangle </math></center>
<br /> której uniwersum jest sumą dwu rozłącznych zbiorów <math>E</math> i <math>S</math>, z działaniami<br />
<math>w\colon E \times S \rightarrow S </math><br />
<math>u\colon S \rightarrow S </math><br />
<math>n\colon S \rightarrow E </math><br />
<math>e\colon S \rightarrow \{true, false\}</math><br />
<math>=_E \colon E \times E \rightarrow \{true, false\} </math><br />
<math>=_S \colon S \times S \rightarrow \{true, false\} </math><br />
które zapewniają prawdziwość następującego zbioru aksjomatów <br />
<math>\forall_{e \in E}\,\forall_{s \in S} \lnot n(w(e,s)) </math><br />
<math>\forall_{e \in E}\,\forall_{s \in S}   p(w(e,s)) =_E e </math><br />
<math>\forall_{e \in E}\,\forall_{s \in S}   u(w(e,s)) =_S s </math><br />
<math>\forall_{e \in E}\,\forall_{s \in S}   \lnot n(s) \implies w(p(s),u(s)) =_S s </math><br />
<math>\forall_{s \in S} \{'''while'''\ \lnot n(s) \ do \ s:= u(s) \ od\}\<n(s)</math>