形式化方法0062

形式化方法0062

Info iconThis preview shows pages 1–12. Sign up to view the full content.

View Full Document Right Arrow Icon
基基基基基基基基基基基基基基基基基基 基基基
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
7.1 基基基基基 Thayer, Herzog 基 Guttman 基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基
Background image of page 2
7.1.1 基基基 (term) 基 基基基基基基基基基基基基基基基基基基 基基基基基基基基基基 基基基基基基基基 T 基基基基基基基基基基基基基基 (N ∩ T name =Ф) 基基基基基基基基基 K 基基基基基基基基基基基基基基基 , 基基 K∩T=Ф. 基基基基基基基基基基基基基基基基基基基基基基基基 A 基
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
基基基基基 A 基基基基基基基基基基 ) 基基 m T 基 m K, 基 m A. ) 基基 m A, k K, 基 {m} k A.
Background image of page 4
基基基基基 1 基基 t T 基 , a t 基基基基 a=t. 2) 基 k K 基 , a k 基基基基 a=k. 3) a {g} k 基基基基 a g a={g} k. 4) a gh 基基基基 a g a h a=gh.
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
7.1.2 (Strand) 基基基基 (Strand Spaces) 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 <s, a>. 基基 a A 基 s=+ 基基基基基基基 s= - 基基基基基基基 基基 <s, a> 基基基基基 +a - a.
Background image of page 6
基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基 (strand) 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基 基基基基基∑
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基 基基基基基基基基基 < opt 基 a> 基基基 opt {+ 基 -} 基 a A 基基基基基基基 (+) 基基基 (-) 基基 , 基基基 基基基基基基基基 +a 基 -a. .
Background image of page 8
基基基基基基基基基基基基基 ±A 基基基基基基基基基基基基基基基 (± A) (± A)=(< σ 1 , a 1 ) ,…., < σ n , a n >) 基基基∑基基基基基基基基基基基基基基基基 tr: ∑→(±A) * .
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Example1:N-S 基基基基基基基基基基基基基基 Resp[A, B, Na, Nb] Init[A, B, Na, Nb] - {Na, A} Kb + {Na, A} Kb + {Na, Nb } Ka -{Na, Nb } Ka -{Nb} Kb + {Nb} Kb . . . . . . {Na, A} Kb {Na, Nb } Ka {Nb} Kb A B n 1 =<s,1> n 2 =<s, 2> n 3 =<s,3>
Background image of page 10
(1) 基基基基 n 基基基基 <S, i> 基基基 S ∑ 基 i 基基基基基基基 基 1 i length(tr(S)). 基基基基 n=<S, i> 基基基基基基基基基基基 n S
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 12
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/20/2009 for the course CS G22 taught by Professor Sam during the Fall '06 term at Academy of Art University.

Page1 / 92

形式化方法0062

This preview shows document pages 1 - 12. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online