Stosy - struktura algebraiczna: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
Linia 2: Linia 2:
 
'''Definicja'''<br />
 
'''Definicja'''<br />
 
Struktura algebraiczna<br />
 
Struktura algebraiczna<br />
<math>A = \langle E \cup S; w, u, p, e, =\rangle </math>
+
<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 />
 
<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>w\colon E \times S \rightarrow S </math><br />

Wersja z 09:07, 12 mar 2017

Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.
Definicja
Struktura algebraiczna

[math]A = \langle E \cup S; w, u, p, e, =\rangle [/math]


której uniwersum jest sumą dwu rozłącznych zbiorów [math]E[/math] i [math]S[/math], z działaniami
[math]w\colon E \times S \rightarrow S [/math]
[math]u\colon S \rightarrow S [/math]
[math]p\colon S \rightarrow E [/math]
[math]e\colon S \rightarrow \{true, false\}[/math]
[math]=_E \colon E \times E \rightarrow \{true, false\} [/math]
spełniającymi następujący zbiór aksjomatów
[math]\forall_{e \in E}\,\forall_{s \in S} \lnot e(w(e,s)) [/math]