2005 D Pascal CASL ( ) Pascal C 3. A A Pascal TA TA TA

Size: px

Start display at page:

Download "2005 D Pascal CASL ( ) Pascal C 3. A A Pascal TA TA TA"

さゆりこけい
5 years ago
Views:

1 2005 D Pascal CASL ( ) Pascal C 3. A A Pascal TA TA TA sdate@ist.osaka-u.ac.jp nakamoto@image.med.osaka-u.ac.jp h-kido@ist.osaka-u.ac.jp m-nakata@ist.osaka-u.ac.jp fuhongye@ist.osaka-u.ac.jp s-miyake@ist.osaka-u.ac.jp 1

2 3. A 4. (EnshuD-toolkit-2005.tgz) 2005 D ( ) % cd ~ % tar xvfz EnshuD-toolkit-2005.tgz EnshuD 5. PATH ~/EnshuD/bin C PATH.cshrc set ( ) set PATH =( ~/EnshuD/bin /usr/ucb /usr/bin /bin /usr/bin/x11.) 6. SPC (read permission) SPC 7. ( chmod 700 directory ) 1.4 (PDF ) A A-han B B-han 1 /home/suita/med/staff/k623144n/enshud2005/report/1st/ 2 /home/suita/med/staff/k623144n/enshud2005/report/2nd/ /home/suita/med/staff/k623144n/enshud2005/report/final/ ( ) 4 ( ) ) 1001 TADA Harumasa.pdf 444( ) 2

3 /13( ) 2 10/20( ) 3 10/27( ) 4 11/10( ) 1 11/16( ) 5 11/17( ) 6 11/24( ) 7 12/1( ) 2 12/7( ) 8 12/8( ) 9 12/15( ) 10 12/22( ) 11 1/12( ) 12 1/19( ) 1/31( ) 3

4 2 1 Pascal 2.1 Pascal Pascal scanner( 3) Pascal OK NG parser %parser filename.ts parser 1 parser Pascal ts parser parser (stderr) 2.2 Pascal Pascal Pascal Pascal 1. integer char, boolean (1 ) 2. if while if (begin end ) 3. (call-byvalue) 4. readln writeln 2 Pascal (Extended Backus-Naur Form (EBNF)) EBNF 1 ( ) (.) ( ) EBNF 0 { } (0 ) [ ] (0 1 ) (1 ) 4

5 2.3 scanner parser SYMBOL enum parser OK NG -(Pascal ) (Pascal ) { SAMPLE:OK } program coverage(output); var Sum, V : integer; { SAMPLE:NG } program coverage(output); var Sum, V : integer; procedure printdata; begin procedure printdata; Sum := 0; end ( : ) program SPROGRAM 17 2 coverage SIDENTIFIER 43 2 ( SLPAREN 33 2 output SIDENTIFIER 43 2 ) SRPAREN 34 2 ; SSEMICOLON 37 2 var SVAR 21 3 Sum SIDENTIFIER 43 3, SCOMMA 41 3 V SIDENTIFIER 43 3 : SCOLON 38 3 integer SINTEGER 11 3 ; SSEMICOLON 37 3 procedure SPROCEDURE 16 5 printdata SIDENTIFIER 43 5 ; SSEMICOLON 37 5 begin SBEGIN end SEND SDOT ( : ) OK end ( : ) program SPROGRAM 17 2 coverage SIDENTIFIER 43 2 ( SLPAREN 33 2 output SIDENTIFIER 43 2 ) SRPAREN 34 2 ; SSEMICOLON 37 2 var SVAR 21 3 Sum SIDENTIFIER 43 3, SCOMMA 41 3 V SIDENTIFIER 43 3 : SCOLON 38 3 integer SINTEGER 11 3 ; SSEMICOLON 37 3 procedure SPROCEDURE 16 5 printdata SIDENTIFIER 43 5 ; SSEMICOLON 37 5 Sum SIDENTIFIER 43 6 := SASSIGN SCONSTANT 44 6 ; SSEMICOLON end SEND SDOT ( ) NG Line

6 2.4 Pascal /EnshuD/testdata Pascal 001.pas 013.pas scanner 001.ts 013.ts 2.5 scanner C fscanf() ( ) 1 enum enum scanner lex scanner.l ( 3 ) 2.6 A4 5 SPC PARSE parser (chmod 600 ) ( ) 6 6

7 3 2 Pascal 3.1 Pascal Pascal scanner( 3) checker %checker filename.ts checker 1 checker Pascal ts checker checker (stderr) 3.2 Pascal Pascal Pascal (call-by-value) Pascal integer char boolean 3 integer char ( ) boolean false( ) true( ) false<true 1 integer 7

8 3.2.3 boolean integer char ( ) ( ) char ( ) ( ) boolean boolean boolean true false ( ) ( ) ( ) ( )

9 ( + ) not integer not boolean 2 ( + / div mod ) ( and or ) ( = <> < <= > >= ) integer boolean integer boolean boolean Pascal / div if while := readln writeln readln integer char char ( ) integer ( ) char 1 char 1 ( ) readln 1 writeln integer char char char ( char ) 1 writeln

10 ( ) ( ) program OK Line 12: syntax error 1. (syntax error)

11 integer 12. if while boolean TA ( ) SPC CHECK checker TA SPC tar TA TA Pascal /EnshuD/subtests 3.5 A4 5 SPC/CHECK (chmod 600 ) 12 7 ( ) 6 11

12 4 Pascal CASL ( ) 4.1 Pascal Pascal scanner( 3) CASL CASL spc %spc filename.ts spc 1 spc Pascal ts spc CASL imd ( ) UNIX checker spc 4.2 CASL CASL 4 CASL UNIX CASL START END DS DC 3 IN OUT EXIT 3 1. OUTINT adr adr 2. MUL GR, adr (GR) (adr) GR 3. DIV GR, adr (GR) (adr) GR 0 12 GR3 GR4 CASL WRTINT, WRTCH, WRTSTR WRTLN 12

13 MULT : GR1 GR2 GR2 DIVD : GR2 DIV GR1 GR2 MOD : GR2 MOD GR1 GR2 RDINT : (GR2) RDCH : (GR2) RDSTR : ( GR1) (GR2) RDLN : WRTINT : GR2 WRTCH : GR2 WRTSTR : (GR2) GR1 WRTLN : ERRSTP : ( ) 4.3 CASL spc CASL CASL CASL CASL 4 casl %casl filename.imd casl 1 casl CASL imd casl CASL UNIX UNIX casl CASL (syntax error) CASL (run time error) syntax error in line run time error in address xxxx casl link %link filename.imd link 1 link CASL imd link CASL 13

14 4.4 TA /EnshuD/testdata TA ( 100% ) TA 3. CASL 4. SPC spc TA SPC spc SPC spc 0 SPC tar TA TA TA 5. TA SPC (chmod 600 ) 14

15 (5 7) ( / (2005 ) (2005 ) 1 31 ( ) 6 15

16 1 SYMBOL enum SYMBOL { SAND, SARRAY, SBEGIN, SBOOLEAN, /* and array begin boolean */ SCHAR, SDIVD, /* char div / */ SDO, SELSE, SEND, /* do else end */ SFALSE, /* false */ SIF, SINTEGER, SMOD, SNOT, /* if integer mod not */ SOF, SOR, SPROCEDURE, SPROGRAM, /* of or procedure program */ SREADLN, STHEN, /* readln then */ STRUE, SVAR, /* true var */ SWHILE, SWRITELN, SEQUAL, SNOTEQUAL, /* while writeln = <> */ SLESS, SLESSEQUAL, SGREATEQUAL, SGREAT, /* < <= >= > */ SPLUS, SMINUS, SSTAR, SLPAREN, /* + - * ( */ SRPAREN, SLBRACKET, SRBRACKET, SSEMICOLON, /* ) [ ] ; */ SCOLON, SRANGE, SASSIGN, SCOMMA, /* :.. :=, */ SDOT, SIDENTIFIER, SCONSTANT, SSTRING, /*. */ SLBRACE, SRBRACE, SSQUOTE, SPARA, /* { } */ SDIGIT, SALPHA, SEOF, SNULL, /* */ 16

17 SERR /* */ }; /* */ /* */ /* */ /* SERR, SALPHA, SDIGIT, SLBRACE, SRBRACE, SSQUOTE */ /* SNULL */ /* SPARA */ /* */ /* */ 17

18 2 EBNF Pascal = program ( ) ; =... = {, }. =. = [ var ]. = : ; { : ; }. = =. {, }. =. = integer char boolean. = array [.. ] of. = =.. = [ ]. = + -. = { ; }. =. = procedure ;. =. = [ ( ) ]. = : { ; : }. = {, }. =. = begin end. = { ; }. = if then else if then while do. =. = :=. =. 18

19 =. =. = [ ]. =. = [ ( ) ]. = {, }. = [ ]. = [ ] { }. = { }. = ( ) not. = = <> < <= > >=. = + or. = / div mod and. = + -. = readln [ ( ) ] writeln [ ( ) ]. = {, }. = false true. = { }. = { }. = ( ) ( ). = { }. = a b z A B Z. =

20 3 scanner 1. lex scanner.l scanner_src lex, cc lex lex C %cd ~/EnshuD/scanner_src %lex scanner.l %cc -o scanner lex.yy.c -ll %mv scanner../bin (-ll lex ) ( ~/EnshuD/bin ) scanner.l enum 2. Pascal (1) (2) SYMBOL (3)enum 1 (4) %scanner filename.pas scanner 1 scanner Pascal pas scanner ts 4. Pascal Pascal 1 SYMBOL = + / = <> < <= > >= ( ) [ ] :=.,.. : ;. 20

21 = program var array of = = = procedure begin end if then else while do not or div mod and char integer boolean readln writeln true false. { }. a b z A B Z = { }. = { }. = ( ) ( ). char integer boolean readln writeln true false = { { } }. = } CASL CASL Makefile %cd ~/EnshuD/casl_src %make %mv casl../bin ( ~/EnshuD/bin )

22 TA ( ) TA -? -? TA -? -? ( ) TA -? -? Subject ( ) TA - - tar SPC tgz 4 %cd ~ %tar cvfz 1001_Nakamoto_Masahiko.tgz./SPC 22

23 [ ] Subject: D From: xxxxx@exp.ics.es.osaka-u.ac.jp To: yyyyy@ist.osaka-u.ac.jp Cc: xxxxx@exp.ics.es.osaka-u.ac.jp [ ] : : xxxx xxxx : 90xxxxxx /home/exp/exp0/xxxxxx/( ) ( ) 23

2009 D Pascal CASL II ( ) Pascal C 3. A A Pascal TA TA

2009 D Pascal CASL II ( ) Pascal C 3. A A Pascal TA TA 2009 D 1 1.1 1.2 Pascal CASL II ( ) Pascal 1. 2009 10 15 2010 1 29 16 2. C 3. A A 2 1 2 Pascal 1.3 1. 2. TA enshud@image.med.osaka-u.ac.jp TA enshu-d@image.med.osaka-u.ac.jp nakamoto@image.med.osaka-u.ac.jp