Download (1405Kb)
Download (1405Kb)
Download (1405Kb)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
164 KAPITEL 7. SEQUENTIALITÄT<br />
t = H(t ′ 1 , . . .,t′ m): (G = H (m) ∈ C).<br />
Da sel′<br />
G,i(t) = ⊥, muß u ′ = ε sein. Da kein t ′ ☎ t mit sel′<br />
jede Stelle u ∈ Occ(⊥,t) ein Sequentialitätsindex bezüglich u ′ .<br />
G,i(t ′ )/u ′ = ⊥ existiert, ist<br />
t = ⊥: Da sel′<br />
G,i(t) = ⊥, muß auch hier u ′ = ε sein. u := ε ist ein Sequentialitätsindex<br />
bezüglich u ′ .<br />
Also sind die Selektionsoperationen sel′<br />
G,i sequentiell.<br />
Funktionsoperationen: Sei f (n) <br />
∈ F.<br />
Fall 1: P enthält die Programmregel f(x1, . . .,xn)→r.<br />
Da sequentiell ist, ist nach Lemma 7.7 auch die abgeleitete Operation ϕ :<br />
(TC,ς) n→TC,ς, die durch<br />
ϕ(t) := [[r]] alg<br />
,β mit<br />
definiert ist, sequentiell. Es ist<br />
f′<br />
(t) =<br />
<br />
β(xi) := t i für alle i ∈ [n],<br />
⊥ , falls ein i ∈ [n] mit t i = ⊥ und ς(f)(i) = tt existiert<br />
ϕ(t) , andernfalls<br />
und somit ist f′<br />
nach Lemma 7.3 über den Erhalt der Sequentialität bei erzwungener<br />
Striktheit sequentiell.<br />
Fall 2: Sonst.<br />
f′<br />
ist überall undefiniert und somit nach Lemma 7.5 sequentiell.<br />
Lemma 7.9 ω-Stetigkeit der Sequentialität<br />
1. Sei (ϕi)i∈IN mit ϕi : (TC,ς) n →TC,ς eine ω-Kette von sequentiellen ω-stetigen Abbildungen.<br />
Dann ist ϕ := <br />
i∈IN ϕi sequentiell.<br />
2. Sei (i)i∈IN miti ∈ IntΣ,ς eine ω-Kette von sequentiellen ς-Interpretationen. Dann ist:=<br />
<br />
i∈INi sequentiell.<br />
Beweis:<br />
1. Sei t ∈ (TC,ς) n mit Occ(⊥,t) = ∅. Sei u ′ ∈ Occ(⊥, ϕ(t). Für alle i ∈ IN gilt entweder<br />
u ′ /∈ Occ(ϕi(t)) oder ϕi(t)/u ′ = ⊥, weil ϕ(t) ☎ ϕi(t) ist. Da ϕ(t) = <br />
i∈IN ϕi(t), und somit<br />
insbesondere Occ(ϕ(t)) = <br />
i∈IN Occ(ϕi(t)), existiert auch ein i ′ ∈ IN mit ϕi ′(t)/u ′ = ⊥. Sei<br />
j die kleinste natürliche Zahl mit ϕj(t)/u ′ = ⊥. Aufgrund der Ordnung der Abbildungen ist<br />
dann auch ϕi(t)/u ′ = ⊥ für alle i ≥ j.<br />
Für alle i ≥ j seien Ui ⊆ Occ(⊥,t) die Menge der Sequentialitätsindexe von ϕi fürt bezüglich<br />
u ′ , d.h.<br />
Ui := {ui ∈ Occ(⊥,t) | ∀ t ′ ☎t. (ϕi( t ′ )/u ′ = ⊥ =⇒ t ′ /ui = ⊥).<br />
✷