untitled
|
|
- 정운 정
- 5 years ago
- Views:
Transcription
1 5. (regular expression): (recognizer) : F(, scanner) CFG(context-free grammar): : PD(, parser) CFG 1
2 CFG form : N. Chomsky type 2 α, where V N and α V *. recursive construction ) E E OP E (E) -E id OP + / V N = { E, OP } V T = { (, ),, id, +,, /} ) <if_statement> 'if' <condition> 'then' <statement> V N V T > symbol. ' symbol. (Derivation) α 1 α 2 symbol nonterminal nonterminal rhs. (1) : derives in one step. if γ P, α, β V * then αβ αγβ. (2) * : derives in zero or more steps. 1. α V *, α * α 2. if α * β and β γthen α * γ (3) + : derives in one or more steps. L(G) : G = {ω S * ω, ω V T* } : sentence : S * ω, ω V * T terminal. sentential form : S * ω, ω V *. nonterminal? sentential form nonterminal? α, where α V *. leftmost derivation: nonterminal. rightmost derivation: nonterminal. 2
3 ) E E + E E * E (E) a (a+a) E lm (E) lm (E+E) lm (a+e) lm (a+a) E rm (E) rm (E+E) rm (E+a) rm (a+a) (parse) : parser. (left parse) :. - top-down parsing - symbol (right parse) :. - bottom-up parsing - nonterminal reduce symbol reduce. ) (a+a)*a. 1. E E + E 2. E E * E 3. E (E) 4. E a E 2 E * E 3 (E) * E 1 (E + E) * E 4 (a + E) * E 4 (a + a) * E 4 (a + a) * a : E 2 E * E 4 E * a 3 (E) * a 1 (E + E) * a 4 (E + a) * a 4 (a + a) * a : (derivation). CFG G = (V N,V T,P,S) ω V T* n 3
4 ) G : E E + T T T T * F F F ( E ) a ω : a + a * a a + a * a : E / \ E + T / / \ T T * F / / \ F F a / / a a derivation tree., tree unique. context-free grammar G is ambiguous if and only if it produces more than one derivation trees for some sentence. ) dangling else : G: S if C then S else S if C then S a C b ω: if b then if b then a else a S S if C then S else S if C then S b if C then S a b if C then S else S b a b a a? 2.. α. sentential form : αα tree form : or 4
5 ω 1) + > 2) > + E E E E E + E a E + E E E a a a a a nonterminal G : E E + T T T T * F F F a E E + T T T * F (ambiguity) algorithm, formal. F F a a a expression : expression expression + term expression term term term term * factor term / factor factor factor primary factor primary primary - primary element element ( exp ) id id * id + id derivation tree: expression expression + term term factor term * factor primary factor primary element primary element id element id id 5
6 : L(G1) = L(G2) G1 G2 (equivalent ). (i) (Substitution) : if αbγ, B β1 β2 β3 βn P, then P' = ( P - { αbγ } ) { αβ1γ αβ2γ... αβnγ }. (ii) (Expansion) : αβ <=> αx, X β or Xβ, X α ) P : S a bb bb b B a a. (Useless Productions) : G=(V N,V T,P,S), S * uxv * ω, ω V T * X. : (i) Terminating nonterminal : α, α * ω, where V N and ω V * T. (ii) ccessible symbol : S * µxω, where X V and µ,ω V *. CFG Terminating nonterminal ccessible symbol Useful productions Terminating nonterminal algorithm terminating; begin V N ' := { ω P, ω V T* }; repeat V N ' := V N ' { α P, α ( V N ' U V T ) * } until no change end. ccessible symbol algorithm accessible; begin V' := { S }; repeat V' := V' { X some αxβ P, V' } until no change end. 6
7 ε- ε, V N ε- (ε -production). : CFG G = (V N, V T, P, S ) ε -free. (1) P ε-, (2) S ε-, S. ε -free : algorithm ε -free; begin P' := P { ε V N }; V Nε := { =>* ε, V N }; for α 0 B 1 α 1 B 2...B K α K P',where α i ε and B i V Nε do if B i β P' then P' = P' { α 0 X 1 α 1 X 2...X K α K X i = B i or X i = ε} else P' = P' { α 0 X 1 α 1 X 2...X K α K X i = ε} end for if S V Nε then P' := P' { S' ε S } end. V Nε : algorithm Compute_V Nε ; begin V Nε := { ε P}; repeat V Nε := V Nε {B B α P, α V Nε* } until no change end. ) S asbs bsas ε -free P' = {S asbs bsas } V Nε = {S} P' rhs S S : S asbs S asbs abs asb ab S bsas S bsas bas bsa ba P' = {S asbs abs asb ab bsas bas bsa ba}, S V Nε S' S P' ε -free S' S S asbs abs asb ab bsas bas bsa ba : B, where,b V N. algorithm Remove_Single_Production; begin P' := P { B, B V N }; for each V N do V N = { B + B } ; for each B V N do for each B α P' do (* not single production *) P' := P' { } end for end for end for end. algorithm Compute_V N ; begin V N := {B B P}; repeat V N := V N {C B C P, B V N } until no change end. 7
8 ) E E + T T T T * F F F (E) a : CFG G = ( V N, V T, P, S ) is said to be cycle-free if there is no derivation of the form + for any in V N. G is said to be proper if it is cycle-free, is ε-free, and has no useless symbols. : CFG G = (V N,V T,P,S) is said to be in Chomsky Normal Form(CNF) if each production in P is one of the forms (1) BC with,b, and C in V N, or (2) a with a V T, or (3) if ε L(G), then S ε is a production, and S does not appear on the right side of any production. : CFG G = (V N,V T,P,S) is said to be in Greibach Normal Form(GNF) if G is ε-free and each non-ε-production in P is of the form aα with a V T and α V N *. < > ::= <S> ::= <> <B> <> ::= a <> a <B> ::= <B> b b <compound-statement> ::= begin <statement-list> end <statement-list> ::= <statement> <statement-list> ; <statement> Extended BNF(EBNF) meta symbol. meta symbol (repetitive part): { } (optional part): [ ] (alternative): ( ) ) <compound-statement> ::= begin <statement> {;<statement>} end ) <if-statement> ::= if <condition> then <statement> [else <statement>] ) <exp> ::= <exp> + <exp> <exp> - <exp> <exp> <exp> <exp> / <exp> <exp> ::= <exp> ( + / ) <exp> 8
9 (Syntax diagram) syntax diagram : :terminal symbol :nonterminal symbol : syntax diagram : terminal a nonterminal a ::= X 1 X 2... X n (1) X i nonterminal : X 1 X 2... X n (2) X i terminal : X 1 X 2... X n ::= α 1 α 2... α n α 1 α 2.. α 3 EBNF ::= {α} EBNF ::= [α] α α EBNF ::= (α 1 α 2 )β α 1 α 2 β 9
10 push-down automata PD: CFG -- push-down list(stack),, (finite state control). top. a 1 a 2... a n Finite state control Z 1 Z 2 Z n stack push-down automata : PD P = (Q, Σ, Γ, δ, q 0, Z 0, F), where, Q :. Σ :. Γ :. δ : Q (Σ {ε}) Γ Q Γ*, q 0 Q : (start state), Z 0 F :, F Q : (final state). δ : Q (Σ {ε}) Γ Q Γ* δ(q,a,z) ={(p 1, α 1 ), (p 2, α 2 ),...,(p n, α n )} : q a top Z, n (p i,α i ). (1) q a p i. (2) top Z α i. push-down automata P configuration : (q, ω, α) where, q : current state ω : input symbol α : contents of stack P (move): 1) a ε: (q, aω, Zα) ( q', ω, γα) 2) a = ε : (q, ε, Z) (q', ε, γ) <===> ε-move * : zero or more moves, + : one or more moves L(P) : the language accepted by PD P. - start state : (q 0, ω, Z 0 ) - final state : (q, ε, ), where q F, α Γ * L(P) = { (q 0, ω, Z 0 ) * (q, ε, α), q F, α Γ * }. 10
11 push-down automata ) P = ({q 0,q 1,q 2 }, {0, 1}, {Z, 0}, δ, q 0, Z, {q 0 }), where, δ(q 0, 0, Z) = {(q 1, 0Z)} δ(q 1, 0, 0) = {(q 1, 00)} δ(q 1, 1, 0) = {(q 2, ε)} δ(q 2, 1, 0) = {(q 2, ε)} δ(q 2, ε, Z) = {(q 0, ε)} : (q 0, 0011, Z) (q 1, 011, 0Z) (q 1, 11, 00Z) (q 2, 1, 0Z) (q 2, ε, Z) (q 0, ε, ε) - 0 n 1 n (n 1) : (q 0, 0 n 1 n, Z) (q 1, 0 n-1 1 n, 0Z) n-1 (q 1, 1 n, 0 n Z) (q 2, 1 n-1, 0 n-1 Z) n-1 (q 2, ε, Z) (q 0, ε, ε) L(P) = {0 n 1 n n 1}. push-down automata PD : Q ( {ε}) Γ * Q Γ * - move stack top string string. (q, aω, αγ) (q', ω, βγ) -stack empty move ) PD = ({q, p}, {a, b}, {a, b, S, Z}, δ, q, Z, {p}) where, δ(q, a, ε) = {(q, a)} δ(q, b, ε) = {(q, b)} δ(q, ε, ε) = {(q, S)} S : center mark δ(q, ε, asa) = {(q, S)} δ(q, ε, bsb) = {(q, S)} δ(q, ε, SZ ) = {(p, ε)} push-down automata aabbaa : (q, aabbaa, Z) (q, abbaa, az) (q, bbaa, aaz) (q, baa, baaz) (q, baa, SbaaZ) (q, aa, bsbaaz) (q, aa, SaaZ) (q, a, asaaz) (q, a, SaZ) (q, ε, asaz) (q, ε, SZ) (q, ε, ε) L = { ωω R ω {a, b} + }. 11
12 push-down automata Le(P) : stack empty PD string., empty string. Le(P) = { ω (q 0, ω, Z 0 ) * (q, ε, ε), q Q}. Le(P') = L(P) P' : P = (Q, Σ, Γ, δ, q 0, Z 0, F) ===> P' = (Q {q e, q'}, Σ, Γ {Z'}, δ', q', Z', φ ), where δ ' : 1) q Q, a Σ {ε}, Z Γ, δ'(q, a, Z) = δ(q, a, Z). 2) δ'(q', ε, Z') = {(q 0, Z 0 Z')}. Z' : bottom marker 3) q F, Z Γ {Z'}, δ'(q, ε, Z) (q e, ε). 4) Z Γ {Z'}, δ'(q e, ε, Z) = {(q e, ε)} context-free, PD,. L(CFG) = L(PD) CFG <===> PD (i) CFG ===> PD (for a given context-free grammar, we can construct a PD accepting L(G).) Top-Down Method --- leftmost derivation, α Bottom-Up Method --- rightmost derivation, α ==> (ii) PD ===> CFG Top-Down Method CFG G Le(R)=L(G) PD R For a given G = (V N, V T, P, S), construct R = ({q}, V T, V N V T, δ, q, S, φ ), where δ : 1) if α P, then δ(q,ε,) (q,α). 2) a V T, δ(q, a, a) = {(q, ε)}. ex) G = ({E, T, F}, {a,, +, (, )}, P, E), P : E E + T T T T F F F (E) a ===> R = ({q}, Σ, Γ, δ, q, E, φ) where δ : 1) δ(q, ε, E) = {(q, E + T), (q, T)} 2) δ(q, ε, T) = {(q, T F), (q, F)} 3) δ(q, ε, F) = {(q, (E)), (q, a)} 4) δ(q, t, t) = {(q, ε)}, t {a, +,, (, )}. 12
13 a + a a : (q, a + a a, E) (q, a + a a, E + T) (q, a + a a, T + T) (q, a + a a, F + T) (q, a + a a, a + T) (q, + a a, + T) (q, a a, T) (q, a a, T F) (q, a a, F F) (q, a a, a F) (q, a, F) (q, a, F) (q, a, a) (p, ε, ε) top. Bottom-Up Method CFG ===> extended PD(rightmost derivation) ex) G = ({E, T, F}, {a,, +, (, )}, P, E), P : E E + T T T T F F F (E) a ===> R = ({q, r}, V T, V N V T {$}, δ, q, $, {r}) δ : 1) δ(q, t, ε) = {(q, t)}, t {a, +,, (, )} shift 2) δ(q, ε, E + T) = {(q, E)} δ(q, ε, T) = {(q, E)} δ(q, ε, T * F) = {(q, T)} δ(q, ε, F) = {(q, T)} δ(q, ε, (E)) = {(q, F)} δ(q, ε, a) = {(q, F)} 3) δ(q, ε, $E) = {(r, ε)} a + a a (q, a + a a, $) (q, + a a, $ a) (q, + a a, $ F) (q, + a a, $ T) (q, + a a, $ E) (q, a a, $ E +) (q, a, $ E + a) (q, a, $ E + F) (q, a, $ E + T) (q, a, $ E + T ) (q, ε, $ E + T a) (q, ε, $ E + T F) (q, ε, $ E + T) (q, ε, $ E) (r, ε, ε) 13
14 PD P L(G) = Le(P) CFG G Given PD P = (Q, Σ, Γ, δ, q 0, Z 0, F) ===> Construct cfg G = (V N, V T, P, S), where (1) V N = {[qzr] q, r Q, Z Γ} {S}. (2) V T = Σ. (3) P : δ(q, a, Z) k 1 (r, X 1...X k ) [qzs k ] a[rx 1 s 1 ][s 1 X 2 s 2 ]... [s k-1 X k s k ] P. s 1, s 2,..., s k Q. δ(q, a, Z) (r, ε) [qzr] a P. q Q S [q 0 Z 0 q] P. (4) S : start symbol. 1) L CFG G L(G). 2) L PD P L(P). 3) L PD P Le(P). 4) L extended PD L(P). 14
Microsoft PowerPoint - chap5.ppt
제 5 장 Context-Free 문법 상지대학교컴퓨터정보공학부고광만 (kkman@mail.sangji.ac.kr) Contents 5.1 서론 5.2 유도와유도트리 5.3 문법변환 5.4 CFG 표기법 5.5 Push Down Automata; PDA 5.6 Context-free 언어와 PDA 언어 제 5 장 : Context-Free Grammar 2
More informationuntitled
3. hmks@dongguk.c.kr..,, Type 3 (N. Chomsky) RLG : A tb, A t LLG : A Bt, A t where, A,B V N nd t V T *. LLG RLG,. ) G : S R S c R Sb L(G) = { n cb n n } is cfl. () A grmmr is regulr if ech rule is i) A
More informationn 정의 정규표현 (Regular Expression) n 정규문법 G 를대수학적인성질로표현 n 정규언어에속해있는스트링의모양을직접기술 n 정규문법은문법이나타내는언어의형태를체계적으로구하여정규표현으로나타낼수있음. 정규문법 (Regular ) 정규표현 (Regular ) 유
Regular Expression and Context-free 상지대학교컴퓨터정보공학부고광만 (kkman@mail.sangji.ac.kr) 정규문법과정규언어 n 정규문법 (Regular ) n 촘스키 (Chomsky, N.) 문법규칙 -Type 3 n 토큰구조표현 ( 어휘분석단계 ) n 정규문법의형태 1 우선형문법 (right-linear grammar;
More information자연언어처리
제 7 장파싱 파싱의개요 파싱 (Parsing) 입력문장의구조를분석하는과정 문법 (grammar) 언어에서허용되는문장의구조를정의하는체계 파싱기법 (parsing techniques) 문장의구조를문법에따라분석하는과정 차트파싱 (Chart Parsing) 2 문장의구조와트리 문장 : John ate the apple. Tree Representation List
More informationEA0015: 컴파일러
5 Context-Free Grammar 무엇을공부하나? 앞에서배운 " 정규식 " 은언어의 " 어휘 (lexeme)" 를표현하는도구로사용되었다. 언어의 " 구문 (syntax)" 은 " 정규언어 " 의범위를벗어나기때문에 " 정규식 " 으로표현이불가능하다. 본장에서배우는 " 문맥자유문법 " 은언어의 " 구문 (syntax)" 을표현할수있는도구이다. 어떤 " 문맥자유문법
More informationMicrosoft PowerPoint - PL_03-04.pptx
Copyright, 2011 H. Y. Kwak, Jeju National University. Kwak, Ho-Young http://cybertec.cheju.ac.kr Contents 1 프로그래밍 언어 소개 2 언어의 변천 3 프로그래밍 언어 설계 4 프로그래밍 언어의 구문과 구현 기법 5 6 7 컴파일러 개요 변수, 바인딩, 식 및 제어문 자료형 8
More informationCS322 중간고사.docx
Midterm Fall 2014 2014 년 10 월 10 월 21 일화요일오후 1:00 2:30 전산학동 E3-1 1501 호 ( 제 1 공동강의실 ) Prof. Choe, Kwang-Moo : : Grading Result: Problem Total 1 /10 /10 2 /10 /10 /10 /30 3 /5 /10 /15 4 /10 /15 /15 /40
More information4.18.국가직 9급_전산직_컴퓨터일반_손경희_ver.1.hwp
2015년도 국가직 9급 컴퓨터 일반 문 1. 시스템 소프트웨어에 포함되지 않는 것은? 1 1 스프레드시트(spreadsheet) 2 로더(loader) 3 링커(linker) 4 운영체제(operating system) - 시스템 소프트웨어 : 운영체제, 데이터베이스관리 프로그램,, 컴파일러, 링커, 로더, 유틸리티 소프트웨 어 등 - 스프레드시트 : 일상
More informationstep 1-1
Written by Dr. In Ku Kim-Marshall STEP BY STEP Korean 1 through 15 Action Verbs Table of Contents Unit 1 The Korean Alphabet, hangeul Unit 2 Korean Sentences with 15 Action Verbs Introduction Review Exercises
More informationλx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z)
λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z) Simple Type System - - 1+malloc(), {x:=1,y:=2}+2,... (stuck) { } { } ADD σ,m e 1 n 1,M σ,m e 1 σ,m e 2 n 2,M + e 2 n
More information<B8AEC6F7C6AEBAE4BEEE20C0CEBCE2>
강의계획서 (Syllabus) 2018 학년도제 1 학기 교과목명 Title) 형식언어 학수번호 No. -Class No.) CSE4031-01 이수구분 Classification) 강의실 / 수업시간 (Classroom & Time) 전공 학점 (Credit) 월 7.0-8.0, 수 7.0-8.0 401-5145( 신공학관 ( 기숙사 ) 5145 강의실 ),401-5145(
More information2015 경제ㆍ재정수첩
Contents 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Part 01 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 Part 02 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62
More information4 CD Construct Special Model VI 2 nd Order Model VI 2 Note: Hands-on 1, 2 RC 1 RLC mass-spring-damper 2 2 ζ ω n (rad/sec) 2 ( ζ < 1), 1 (ζ = 1), ( ) 1
: LabVIEW Control Design, Simulation, & System Identification LabVIEW Control Design Toolkit, Simulation Module, System Identification Toolkit 2 (RLC Spring-Mass-Damper) Control Design toolkit LabVIEW
More informationHW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M.
오늘할것 5 6 HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. Review: 5-2 7 7 17 5 4 3 4 OR 0 2 1 2 ~20 ~40 ~60 ~80 ~100 M 언어 e ::= const constant
More information- 2 -
- 1 - - 2 - - 3 - - 4 - - 1 - - 2 - 구분청구 심결 (B) 취하절차무효미처리 (A) 인용기각각하소계 (C) (D) (E=A-(B+C+D) 2015 505 0 165 0 165 176 116 48 2016 3 0 2 0 2 0 0 1 합계 508 0 167 0 167 176 116 49 구분 심결년 2013 2014 2015 2016
More information중간코드생성
컴파일러구성 제 11 강 결정적구문분석 10.1 10.2 10.3 10.4 Introduction Syntax-Directed Translation Code Generation U-Code Translator Formal Specification lexical structure : regular expression syntactic structure : context-free
More information- 이 문서는 삼성전자의 기술 자산으로 승인자만이 사용할 수 있습니다 Part Picture Description 5. R emove the memory by pushing the fixed-tap out and Remove the WLAN Antenna. 6. INS
[Caution] Attention to red sentence 3-1. Disassembly and Reassembly R520/ 1 2 1 1. As shown in picture, adhere Knob to the end closely into the arrow direction(1), then push the battery up (2). 2. Picture
More informationSIGPLwinterschool2012
1994 1992 2001 2008 2002 Semantics Engineering with PLT Redex Matthias Felleisen, Robert Bruce Findler and Matthew Flatt 2009 Text David A. Schmidt EXPRESSION E ::= N ( E1 O E2 ) OPERATOR O ::=
More information형식 언어
컴파일러개요 아주대학교정보및컴퓨터공학부 목차 컴파일러란 프로그래밍언어 관련프로그램들 컴파일러의일반적인구조 컴파일러자동화도구 Compiler 2 컴파일러란 Compiler A compiler is a computer program which translates programs written in a particular high-level programming
More informationMicrosoft PowerPoint - ch03ysk2012.ppt [호환 모드]
전자회로 Ch3 iode Models and Circuits 김영석 충북대학교전자정보대학 2012.3.1 Email: kimys@cbu.ac.kr k Ch3-1 Ch3 iode Models and Circuits 3.1 Ideal iode 3.2 PN Junction as a iode 3.4 Large Signal and Small-Signal Operation
More information푸른21탄소중립행사내지확정
Carbon Neutral Events / Carbon Free Events Contents 3 11 31 41 47 51 2 01 Part 1 Part. 01 4 Part 1 5 Part 1 6 Part 1 7 Part 1 8 Part 1 9 02 Part 2 Part. 02 12 Part 2 13 Part 2 14 Part 2 15 Part 2 16 Part
More information화판_미용성형시술 정보집.0305
CONTENTS 05/ 07/ 09/ 12/ 12/ 13/ 15 30 36 45 55 59 61 62 64 check list 9 10 11 12 13 15 31 37 46 56 60 62 63 65 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
More informationDIY 챗봇 - LangCon
without Chatbot Builder & Deep Learning bage79@gmail.com Chatbot Builder (=Dialogue Manager),. We need different chatbot builders for various chatbot services. Chatbot builders can t call some external
More information2002.9월작업.doc
2002 [ ] 1...... 1 2.. 2 3.. 3 4. /.. 4 5...... 5 6.. 6 7.. 7 8.. 8 9.... 9 10..... 10 11. 10 12. 11 .,, CI,. Moody s, S&P, Fitch, The Banker 3., 247,620 2138,405, 179,653 1684,656, 197,006 1267,306. 22,657,
More information歯sql_tuning2
SQL Tuning (2) SQL SQL SQL Tuning ROW(1) ROW(2) ROW(n) update ROW(2) at time 1 & Uncommitted update ROW(2) at time 2 SQLDBA> @ UTLLOCKT WAITING_SESSION TYPE MODE_REQUESTED MODE_HELD LOCK_ID1
More information5/12¼Ò½ÄÁö
2010년 5월호 통권 제36호 이플 은 청순하고 소박한 느낌을 주는 소리의 장점을 살려 지은 순 한글 이름으로 고객 여러분께 좋은 소식을 전해드리고자 하는 국제이주공사의 마음입니다. 늦었습니다. 봄도 늦었고, 저희 소식지도 늦었습니다. 봄 소식과 함께 전하려던 소식지가 봄 소식만큼이나 늦어져 버렸습니다. 격월로 나가던 소식지를 앞으로 분기별로 발행할 예정입니다.
More informationPowerPoint 프레젠테이션
Chapter 03 형식언어와유한오토마타 01 형식언어 02 형식문법 03 문법표기법 04 유한오토마타 형식언어를이해할수있다. 형식문법을이해할수있다. 문법의표기법에대해이해할수있다. 유한오토마타에대해이해할수있다. 3.1 형식언어 언어 : 알파벳으로부터생성되는모든문자열들의부분집합 문법 : 언어는문법 (grammar) 에의해서생성되고정의된다. 문법 generation
More informationObservational Determinism for Concurrent Program Security
웹응용프로그램보안취약성 분석기구현 소프트웨어무결점센터 Workshop 2010. 8. 25 한국항공대학교, 안준선 1 소개 관련연구 Outline Input Validation Vulnerability 연구내용 Abstract Domain for Input Validation Implementation of Vulnerability Analyzer 기존연구
More informationuntitled
Mathematics 4 Statistics / 6. 89 Chapter 6 ( ), ( /) (Euclid geometry ( ), (( + )* /).? Archimedes,... (standard normal distriution, Gaussian distriution) X (..) (a, ). = ep{ } π σ a 6. f ( F ( = F( f
More informationSemantic Consistency in Information Exchange
제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 1 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 2 3.1 Operational Semantics 숙대창병모 3 의미론의종류 Operational Semantics 프로그램의동작과정을정의 Denotational
More information03장.스택.key
---------------- DATA STRUCTURES USING C ---------------- 03CHAPTER 1 ? (stack): (LIFO:Last-In First-Out) 2 : top : ( index -1 ),,, 3 : ( ) ( ) -> ->. ->.... 4 Stack ADT : (LIFO) : init():. is_empty():
More information<B1B9BEC7BFF8B3EDB9AEC1FD5FC1A63234C1FD5FBFCF2E687770>
발 간 사 국악학 기초연구 활성화의 장을 마련하기 위한 국악원논문집 은 1989년 제1집을 시작으로 2004년 제16집까지 연1회 발간하였고, 잠시 중단되었던 학술지는 2008년 제17집부터 발간횟수를 연간 2회로 늘려 재발간하고 있습니다. 국악원논문집 은 공모를 통해 원고를 모집하고 편집회의를 통한 1차 심사, 분야별 전문가로 구성된 심사위원의 2차 심사를
More information15강 판소리계 소설 심청전 다음 글을 읽고 물음에 답하시오. [1106월 평가원] 1)심청이 수궁에 머물 적에 옥황상제의 명이니 거행이 오죽 하랴. 2) 사해 용왕이 다 각기 시녀를 보내어 아침저녁으로 문 안하고, 번갈아 당번을 서서 문안하고 호위하며, 금수능라 비
14강 역사영웅소설 15강 판소리계 소설 판소리계 소설 : , 등 일반적으로 판소리 사설의 영향을 받아 소설로 정착된 작품을 가리킨 판소리 : , , , , 등이 사설과 창이 전해지고 있 하층민의 예술로 시작하여 전계층을 아우르는 예술이 되었 상류층, 지배층이 향유층이 되면서 점차 작품의 주제가
More information- 1 - 100% - 2 - - 3 - - 4 - - 5 - μ μ - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - 29
More information최종보고서 /
최종보고서 / 2013.12 ( 뒷면아래 ) - 2 - - 3 - n n Ÿ Ÿ Ÿ Ÿ Ÿ n n - 4 - n n - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - Ÿ Ÿ Ÿ Ÿ Ÿ - 11 - Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ - 12 - α βγ δ - 13 - - 14 - Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ Ÿ
More information2/21
지주회사 LG의 설립과정 및 특징 소유구조를 중심으로 이은정_좋은기업지배구조연구소 기업정보실장 이주영_좋은기업지배구조연구소 연구원 1/21 2/21 3/21 4/21 5/21 6/21 7/21 8/21 9/21 10/21 11/21 12/21 13/21 14/21 15/21 16/21 17/21 18/21 19/21 20/21 [별첨1] 2000.12.31.현재
More information1
1 1....6 1.1...6 2. Java Architecture...7 2.1 2SDK(Software Development Kit)...8 2.2 JRE(Java Runtime Environment)...9 2.3 (Java Virtual Machine, JVM)...10 2.4 JVM...11 2.5 (runtime)jvm...12 2.5.1 2.5.2
More informationfx-82EX_fx-85EX_fx-350EX
KO fx-82ex fx-85ex fx-350ex http://edu.casio.com RJA532550-001V01 ...2... 2... 2... 3... 4...5...5...6... 8... 9...10... 10... 11... 13... 16...17...17... 17... 18... 20 CASIO Computer Co., Ltd.,,, CASIO
More information歯49손욱.PDF
2002 14 C Inventory An Estimation of 14 C Inventory on Each Unit of Wolsong NPP,,, 103-16 14 C 14 C Inventory 14 C Inventory 14 C 14 C, [Inventory] = [ 14 C ] - [ 14 C ] 14 C 14 C 13 C, 14 N 17 O [ 13
More informationPART 8 12 16 21 25 28
PART 8 12 16 21 25 28 PART 34 38 43 46 51 55 60 64 PART 70 75 79 84 89 94 99 104 PART 110 115 120 124 129 134 139 144 PART 150 155 159 PART 8 1 9 10 11 12 2 13 14 15 16 3 17 18 19 20 21 4 22 23 24 25 5
More informationMicrosoft PowerPoint - semantics
제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 Sep. 2007 1 3.1 Operational Semantics 숙대창병모 Sep. 2007 2 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 Sep. 2007 3 의미론의종류 Operational
More informationPowerPoint Presentation
Dependency Parser 자연언어처리 Probabilistic CFG (PCFG) - CFG - PCFG with saw with saw astronomers ears saw stars telescope astronomers ears saw stars telescope PCFG example Repeated work Parsing PCFG: CKY CKY
More informationHWP Document
CODE A00-B99 A00-A09 A00 KOR_TITLE 특정 감염성 및 기생충성 질환 창자 감염 질환 콜레라 A00.0 비브리오 콜레리 01 전형균에 의한 콜레라 A00.0 전형균에 의한 콜레라 A00.1 비브리오 콜레리 01 엘토르형균에 의한 콜레라 A00.1 엘토르형균에 의한 콜레라 A00.9 상세불명의 콜레라 A01 A01.0 장티푸스 장티푸스
More informationMicrosoft PowerPoint - 7-Work and Energy.ppt
Chapter 7. Work and Energy 일과운동에너지 One of the most important concepts in physics Alternative approach to mechanics Many applications beyond mechanics Thermodynamics (movement of heat) Quantum mechanics...
More information6. Separate HDD by pulling in the arrow direction. * Cautions Avoid lifting HDD excessively, because Connector can be damaged ODD Remove
3-1. Disassembly and Reassembly R510 [Caution] Attention to red sentence. 2 2 1. Before disassembling, the AC adaptor and Battery must be separated. 2. AS mark No.1/2 put KNOB-Battery to end of each side,
More informationMicrosoft PowerPoint - chap08.ppt
제 8 장. Cotext-ree 언어의특성 학습목표 upig e 와 Closure 특성을통해 C 와 guge ily 간의관계이해 Regulr 언어에서의특성과유사점 / 상이점을집중적으로이해할것 개요 언어계통에서 C 의위상을점검해봅시다 Regulr deteriistic C C cotext sesitive pupig les Closure properties d decisio
More information歯전용]
2001. 9. 6 1. 1. (1) (1) 1 (2) (2) 2 3 INVESTER PROFESIONAL ORGANIZATION GOVERNMENT CODE COMMITTEE SPECIFICATION CODE LAW LICENSE PERMIT PLANT 4 5 6 7 2. (1) 2. (1) 8 9 (2) (2) 10 (3) ( ). () 20kg/ (P70,
More informationPage 2 of 5 아니다 means to not be, and is therefore the opposite of 이다. While English simply turns words like to be or to exist negative by adding not,
Page 1 of 5 Learn Korean Ep. 4: To be and To exist Of course to be and to exist are different verbs, but they re often confused by beginning students when learning Korean. In English we sometimes use the
More informationMicrosoft PowerPoint - PLT_ch04_KOR
Chapter 4 : 구문(Syntax) Lexical Structure Syntactic Structure: BNF, EBNF, Syntax Diagrams Parse Tree, Syntax Tree, and Ambiguity Parsing Techniques and Tools Lexics vs. Syntax vs. Semantics Introduction
More information<B3EDB9AEC1FD5F3235C1FD2E687770>
경상북도 자연태음악의 소박집합, 장단유형, 전단후장 경상북도 자연태음악의 소박집합, 장단유형, 전단후장 - 전통 동요 및 부녀요를 중심으로 - 이 보 형 1) * 한국의 자연태 음악 특성 가운데 보편적인 특성은 대충 밝혀졌지만 소박집합에 의한 장단주기 박자유형, 장단유형, 같은 층위 전후 구성성분의 시가( 時 價 )형태 등 은 밝혀지지 않았으므로
More informationPrecipitation prediction of numerical analysis for Mg-Al alloys
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
More informationY 1 Y β α β Independence p qp pq q if X and Y are independent then E(XY)=E(X)*E(Y) so Cov(X,Y) = 0 Covariance can be a measure of departure from independence q Conditional Probability if A and B are
More information歯제7권1호(최종편집).PDF
********* (*, **, *** ).., 2002, 7, 1, 1-12. 2-5 80.,.,..,,... :,,. (naming).., (word finding), (lexical look- up), (lexical retrieval), (word recall) (Fried- Oken, 1987). (pause),,, (naming error) (Snyder
More information슬라이드 제목 없음
물리화학 1 문제풀이 130403 김대형교수님 Chapter 1 Exercise (#1) A sample of 255 mg of neon occupies 3.00 dm 3 at 122K. Use the perfect gas law to calculate the pressure of the gas. Solution 1) The perfect gas law p
More informationÅ©·¹Àγ»Áö20p
Main www.bandohoist.com Products Wire Rope Hoist Ex-proof Hoist Chain Hoist i-lifter Crane Conveyor F/A System Ci-LIFTER Wire Rope Hoist & Explosion-proof Hoist Mono-Rail Type 1/2ton~20ton Double-Rail
More information자식농사웹완
윤 영 선 _ 지음 은혜한의원 서울시 마포구 도화1동 550 삼성프라자 308호 Tel : 3272.0120, 702.0120 진료시간 : 오전 9시 30분`~`오후 7시 점심시간 : 오후 1시`~`2시 토 요 일 : 오전 9시 30분`~`오후 3시 (일, 공휴일 휴진`/`전화로 진료 예약 받습니다) 은 혜 한 의 원 은혜한의원 CONTENTS 02 04 07
More information..........-....33
04 06 12 14 16 18 20 22 24 26 Contents 34 38 42 46 50 54 58 62 66 70 74 78 84 88 90 92 94 96 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 01 26 27 02 28 29 30 31 32 33 34 35 36 37 38 39
More informationchungo_story_2013.pdf
Contents 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99
More informationContents 12 13 15 17 70 79 103 107 20 21 24 29 128 137 141 32 34 36 41 46 47 53 55 174 189 230 240 58 61 64 1. 1. 1 2 3 4 2. 2. 2 1 3 4 3. 3. 1 2 3 4 4. 4. 1 2 3 4 5. 5. 1 2 3 1 2 3
More informationhttp://www.forest.go.kr 5 2013~2017 Contents 07 08 10 19 20 30 33 34 38 39 40 44 45 47 49 51 52 53 53 57 63 67 Contents 72 75 76 77 77 82 88 93 95 96 97 97 103 109 115 121 123 124 125 125 129 132 137
More information전반부-pdf
Contents 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
More information<4D6963726F736F667420506F776572506F696E74202D20312E20B0E6C1A6C0FCB8C15F3136B3E2C7CFB9DDB1E25F325FC6ED28C0BA292E70707478>
Contents 3 2016 4 2016 5 2016 6 2016 7 2016 8 2016 9 2016 10 2016 11 2016 12 2016 13 2016 14 2016 15 2016 16 2016 17 2016 18 2016 19 2016 20 2016 21 2016 22 2016 23 2016 24 2016 25 2016 26 2016 27 2016
More information..........- ........
Contents 24 28 32 34 36 38 40 42 44 46 50 52 54 56 58 60 61 62 64 66 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 01 02 24 25 03 04 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
More informationContents 007 008 016 125 126 130 019 022 027 029 047 048 135 136 139 143 145 150 058 155 073 074 078 158 163 171 182 089 195 090 100 199 116 121 01 01 02 03 04 05 06 8 9 01 02 03 04 05 06 10 11 01 02 03
More informationA°ø¸ðÀü ³»Áö1-¼öÁ¤
1 4 5 6 7 8 9 10 11 Contents 017 035 051 067 081 093 107 123 139 151 165 177 189 209 219 233 243 255 271 287 299 313 327 337 349 12 13 017 18 19 20 21 22 23 24 25 26 27 28 29 30 31 035 051 067 081 093
More information±¹³»°æÁ¦ º¹»ç1
Contents 2 2002. 1 116 2002. 1 2002. 1 117 118 2002. 1 2002. 1 119 120 2002. 1 2002. 1 121 122 2002. 1 2002. 1 123 124 2002. 1 2002. 1 125 126 2002. 1 2002. 1 127 128 2002. 1 2002. 1 129 130 2002. 1 2002.
More information¿¡³ÊÁö ÀÚ¿ø-Âü°í ³»Áö.PDF
Contents 01 02 03 6 04 05 7 8 9 01 10 02 03 11 04 01 12 02 13 03 04 14 01 02 03 04 15 05 06 16 07 17 08 18 01 02 03 19 04 20 05 21 06 07 22 08 23 24 25 26 27 28 29 30 31 32 33 01 36 02 03 37 38 01
More information전반부-pdf
Contents 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
More informationMicrosoft PowerPoint - 3. 2016 하반기 크레딧 전망_V3.pptx
Contents 3 2016 4 2016 5 2016 6 2016 7 2016 8 2016 9 2016 10 2016 11 2016 12 2016 13 2016 14 2016 15 2016 16 2016 17 2016 18 2016 19 2016 20 2016 21 2016 22 2016 23 2016 24 2016 25 2016 26 2016 27 2016
More information