Stosy - struktura algebraiczna - Historia wersji

AndrzejSalwicki o 08:41, 12 mar 2017

2017-03-12T08:41:39Z

AndrzejSalwicki o 08:23, 12 mar 2017

2017-03-12T08:23:32Z

AndrzejSalwicki o 08:22, 12 mar 2017

2017-03-12T08:22:36Z

AndrzejSalwicki o 08:20, 12 mar 2017

2017-03-12T08:20:52Z

AndrzejSalwicki o 08:07, 12 mar 2017

2017-03-12T08:07:34Z

AndrzejSalwicki o 08:04, 12 mar 2017

2017-03-12T08:04:17Z

AndrzejSalwicki o 07:59, 12 mar 2017

2017-03-12T07:59:59Z

AndrzejSalwicki: Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.
'''Definicja'''
Struktura algebraiczna $A = \langle E \cup S; w, u, p, e, =..."$

2017-03-12T07:10:31Z

Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce. '''Definicja''' Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =..."

Nowa strona

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

@@ Linia 1: / Linia 1: @@
-Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br />
+Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce. By wymienić kilka przykładów: automaty ze stosem to ważna część każdego kompilatora, stos rekordów aktywacji to podstawowa struktura maszyny wirtualnej (lub running-systemu), ...<br />
 '''Definicja'''<br />
 Struktura algebraiczna<br />
-<center><math>A = \langle E \cup S; w, u, p, e, =\rangle </math></center>
+<center><math>A = \langle E \cup S; w, u, p, n, =\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 /> taka, że jej  uniwersum jest sumą dwu rozłącznych zbiorów <math>E</math> i <math>S</math>, <math>E \cap S=\emptyset</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>p\colon S \rightarrow E </math><br />
-<math>e\colon S \rightarrow \{true, false\}</math><br />
+<math>n\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 />
@@ Linia 15: / Linia 15: @@
 <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}\ \{\mathbf{while}\ \lnot n(s) \ \mathbf{do} \ s:= u(s) \ \mathbf{od}\}\ n(s)</math>
+<math>\forall_{s \in S}\ \{\mathbf{while}\ \lnot n(s) \ \mathbf{do} \ s:= u(s) \ \mathbf{od}\}\ n(s)</math><br />

@@ Linia 11: / Linia 11: @@
 <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}\ \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}\   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}\   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_{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} \{\mathbf{while}\ \lnot n(s) \ \mathbf{do} \ s:= u(s) \ \mathbf{od}\}\ <n(s)</math>
+<math>\forall_{s \in S}\ \{\mathbf{while}\ \lnot n(s) \ \mathbf{do} \ s:= u(s) \ \mathbf{od}\}\ n(s)</math>

@@ Linia 15: / Linia 15: @@
 <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>
+<math>\forall_{s \in S} \{\mathbf{while}\ \lnot n(s) \ \mathbf{do} \ s:= u(s) \ \mathbf{od}\}\ <n(s)</math>

@@ Linia 6: / Linia 6: @@
 <math>w\colon E \times S \rightarrow S </math><br />
 <math>u\colon S \rightarrow S </math><br />
-<math>p\colon S \rightarrow E </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 />
-spełniającymi następujący zbiór aksjomatów <br />
+<math>=_S \colon S \times S \rightarrow \{true, false\} </math><br />
-<math>\forall_{e \in E}\,\forall_{s \in S} \lnot e(w(e,s)) </math><br />
+które zapewniają prawdziwość następującego zbioru aksjomatów <br />

@@ Linia 2: / Linia 2: @@
 '''Definicja'''<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 />
 <math>w\colon E \times S \rightarrow S </math><br />