본문 바로가기
반응형

백과사전

동적 형 바인딩(Dynamic Type Binding) 형 바인딩 - 대부분의 언어에서 변수의 형은 정적으로 바인딩 됨 - 동적 형 바인딩 언어에서는 실행시 지정문에 의하여 변수값이 주어지면 그 값에 따라 변수에 형이 바인딩. - 동적 형 바인딩 언어 : APL, SNOBOL4, Perl 장점 - 융통성이 많은 프로그램을 작성할 수 있다 - 어떤 형 매개변수도 받아들일 수 있는 프로시저가 가능하다 단점 - 컴파일러 오류검사능력 저하 - 실행시의 형 조사로 인해 실행속도 저하 - 변수형에 대한 설명자를 실행시에도 유지해야 한다 - 변수의 기억장소가 가변적이어야 한다 더보기
변수 (Variables) 폰 노이만 구조의 메모리 셀을 추상화한 것변수의 속성 1. 이름 : 개체 식별을 위한 문자 스트링 2. 값 : 기억장소에 저장된 내용 3. 형 : 값의 범위와 값에 대한 정의 4. 위치 : 변수와 연관된 기억장소의 주소 5. 범위 : 프로그램 내의 유효구역 6. 생명시간 : 기억장소 점유시간 변수의 선언 명시적 선언 : 선언 후 사용 묵시적 선언 : 명시적 선언 없이 바로 사용 변수의 값 - 지정문에 의해서 변수의 값이 부여(바인딩)됨 - 지정하는 메모리 위치(r-값:right-hand side value)에 지정하는 값(변수,l-값:left-hand side value)을 저장하는 것 예) 지정문 x := y; - 오른쪽(y) : r-값(right-hand side value) : 변수의 값 - 왼쪽(.. 더보기
속성과 바인딩(Attribute and Binding) 속성(Attribute) : 프로그램에 나타나는 변수, 프로시저, 문 등의 실체(Entity)가 가지게 되는 성질 - 변수의 속성 : 이름, 값, 형, 저장위치 등 - 프로시저의 속성 : 이름, 매개변수, 매개변수 전달방식, 수행할 코드 - 명령문 : 수행연산 - 정적 속성 : 정적으로 바인딩되는 속성 - 동적 속성 : 동적으로 바인딩되는 속성 바인딩(Binding) : 실체의 속성을 특정한 값으로 정하는 것. 실체들이 쓰이기 전에 반드시 속성이 결정되어 있어야 하며, 실체의 속성을 특정한 값으로 정하는 것. 각 실체의 바인딩 정보의 저장장소를 설명자(descriptor)라고 함. - 정적 바인딩 : 실행 이전에 바인딩이 이루어 지는 것 - 동적 바인딩 : 실행시에 이루어지는 바인딩 바인딩 시각(Bind.. 더보기
문맥 무관형 문법 (context-free grammer) 문장의 의미와는 무관하게, 문법규칙에만 합당하면 언어로서 적합함 ∙ 메타 기호(metasymbol) : 각진 괄호나 ‘→’, ‘|’들은 모두 기호를 위한 기호, 신택스 정의 기호를 위한 기호를 메타기호. ∙ 문맥무관형 문법의 문법 규칙에는 메타기호 “→”이 오고, 이것의 좌측에는 하나의 문법 구조명이 오며 우측에 구조명이나 다른 기호들이 온다. ∙ 비종결자(nonterminal) : 문법 구조명 ∙ 종결자(terminal) : 단어 혹은 토큰 기호 ∙ 유도(derivation) : 어떠한 문장이 주어졌을 때 그 문장이 그 언어에서 쓰일 수 있는지 판정하기 위해 문법 규칙을 사용하여 으로부터 시작하여 왼쪽의 것을 오른쪽으로 대치해 나가는 과정. > 주어진 문장이 문법규칙에 합당한지를 확인하는 과정 > 문법.. 더보기
토큰(Token) 식별자(identifier) SUM, A, B와 같은 일반적으로 프로그래머가 정의하는 변수들 상수(constant) 1, 2, 3, 'abc'와 같이 정수형 상수, 실수형 상수, 문자형 상수들 예약어(reserved word) DO, IF, WHILE들과 같이 언어 구현시 이미 정의되는 지정어 연산자(operator) -, +, *, / 등과 같이 연산시 사용되는 기호들 구분자(delimiter) (, [, ;, :, , 등과 같이 단어와 단어를 구분하기위해 사용되는 기호들 더보기
프로그래밍 언어의 요건 1. 개념의 단순 명료함과 일관성 2. 신택스의 명확성 3. 응용성 4. 추상화 지원 5. 검증의 용이성 6. 작성환경지원 7. 호환성 8. 효율성 더보기
BNF ( EBNF ) 표기법 ( (Extended) Backus-Naur Form )) "배커스 나우어 형"이라고 읽음. 프로그래밍 언어의 형식적 정의에 사용되는 표기법 EBNF는 반복되는 부분을 표시하기 위한 메타기호를 포함한 표기법 BNF에서 사용되는 메타기호 3가지 (1) ::= (2) | (3) 문법규칙의 좌측에는 하나의 문법구조명이 나타나고, 우측에는 구조명이나 다른기호들이 온다. 문법구조명을 비종결자(nonterminal), 단어 혹은 토큰기호를 종결자(terminal)라고 한다. 언어에는 종결자만이 나타나며, 비종결자는 문법을 정의하기 위한 것임. EBNF(Extended BNF)에 사용되는 메타기호 2가지 (1) {} 기호 : 0번 이상의 반복을 의미. 중괄호 내에 포함된 모든 연산자는 좌결합적이라고 가정함 (2) [] 기호 : 선택사항을 의미 신택스 도표(Syntax Dia.. 더보기
그리스 문자 (Greek Alphabet) 그리스 문자 (Greek Alphabet) Wikipedia -> http://en.wikipedia.org/wiki/Greek_alphabet Search Results -> http://greek-language.com/alphabet/ -> http://biblescripture.net/Greek.html 더보기
반응형

티스토리툴바