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

Z Lem
Skocz do: nawigacji, wyszukiwania
(Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> '''Definicja'''<br /> Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =...")
(Brak różnic)

Wersja z 08:10, 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 E i S, z działaniami
w: E x S -> S
u: S -> S
p: S -> E
e: S -> {true, false}
=: E x E -> {true, false}
spełniającymi następujący zbiór aksjomatów