inductive semantic definition
again, and always, inductive semantic definition
시작의 시작
how to program this machine?
Machine = Memory + CPU + typewriter + screen Program is a statement that instructs the machine.
Inference Rules 추론 규칙 The semantic definition will Inference rules be the form of inference rules. Inference rules = methods to derive facts E.G. 친구관계: friend(x,y)를 만들어내는 추론규칙들 x, y in Animal friend(x,y) friend(y,z) friend(x,x) friend(x,z) knows(x,y) knows(y,x) friend(x,y) friend(철수,영희)
snucse(x)=>take310(x) take310(x)=>cool(x) cool(x)
“자 이제 갑니다. 꼭 잡으시죠.”
x := 1; y := w+x; x := 1; y := x+2; if x=y then w := x else w := y; a := w-1; b := a+w; c := a-b; write a+b+c+y (M, 1=1, T) (M, x:=1, M’) (M, if 1=1 then x:=1 else x:=2, M’)
y := 2; for x := 1 to y do y := y-1 x y 1 2 x y 2 1 x y 2 0 x y 1 2 1 2 x y 2 1 x y 2 0 x y 1 2 x y 2 1 (M,E1,v1) (M,E2,v2) v1 <= v2 (M[v1/x],S,M1) (M1,for x:=v1+1 to E2 do S,M2) (M,for x:=E1 to E2 do S,M2)
We can name the memory cells in my program! 요기는 “a” 요기는 “b” … 요기는 “c” 요기는 “node” 요기는 “buffer” But…
What problems can we expect? 삐딱하게보기/불만스럽게처다보기/비판적인시각 개선을위한 원동력/The Critical Minds
R-value, L-value Scope is global
let x := E in S { int x = E; S }