Inductive semantic definition. inductive semantic definition.

Presentation on theme: "Inductive semantic definition. inductive semantic definition."— Presentation transcript:

1

2 inductive semantic definition

3

4 again, and always, inductive semantic definition

5 시작의 시작

6 how to program this machine?

7 Machine = Memory + CPU + typewriter + screen
Program is a statement that instructs the machine.

8

9 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(철수,영희)

10 snucse(x)=>take310(x)
take310(x)=>cool(x) cool(x)

11

12

13

14

15

16

17 “자 이제 갑니다. 꼭 잡으시죠.”

18

19 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’)

20 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)

21

22 We can name the memory cells
in my program! 요기는 “a” 요기는 “b” … 요기는 “c” 요기는 “node” 요기는 “buffer” But…

23 What problems can we expect?
삐딱하게보기/불만스럽게처다보기/비판적인시각 개선을위한 원동력/The Critical Minds

24 R-value, L-value Scope is global

25

26 let x := E in S { int x = E; S }

27

28

29

30

31

32

33

34

35

36

37

38

39

40