Digital Intelligence

기억장소 할당 - 변수의 값을 기억시킬 기억장소를 할당(allocation)하면 변수의 메모리 위치가 바인딩됨 - 변수의 필요성이 없어지면 할당된 기억장소가 반납됨 생명 시간(lifetime) - 변수의 값과 기억장소가 바인딩되어 있는 시간간격 - 생명시간에 따른 변수 분류 : 정적변수, 스택변수, 명시적 히프변수, 묵시적 히프변수 1. 정적 변수(static variable) 기억장소가 실행 이전에 바인딩되어 실행종료까지 계속되는 변수이며, 실행시간 전체에 걸친 생명시간을 가진다. 해당 단위 프로그램이 실행중이 아닌 동안에도 바인딩이 유지됨. C/C++, Java에서는 static을 지역변수의 선언 앞에 붙이면 정적 변수로 선언된다. 전역 변수도 정적 변수로 볼 수 있다 (1) 장점 프로그램 실행중 기..

형 바인딩 - 대부분의 언어에서 변수의 형은 정적으로 바인딩 됨 - 동적 형 바인딩 언어에서는 실행시 지정문에 의하여 변수값이 주어지면 그 값에 따라 변수에 형이 바인딩. - 동적 형 바인딩 언어 : APL, SNOBOL4, Perl 장점 - 융통성이 많은 프로그램을 작성할 수 있다 - 어떤 형 매개변수도 받아들일 수 있는 프로시저가 가능하다 단점 - 컴파일러 오류검사능력 저하 - 실행시의 형 조사로 인해 실행속도 저하 - 변수형에 대한 설명자를 실행시에도 유지해야 한다 - 변수의 기억장소가 가변적이어야 한다

폰 노이만 구조의 메모리 셀을 추상화한 것변수의 속성 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) : 프로그램에 나타나는 변수, 프로시저, 문 등의 실체(Entity)가 가지게 되는 성질 - 변수의 속성 : 이름, 값, 형, 저장위치 등 - 프로시저의 속성 : 이름, 매개변수, 매개변수 전달방식, 수행할 코드 - 명령문 : 수행연산 - 정적 속성 : 정적으로 바인딩되는 속성 - 동적 속성 : 동적으로 바인딩되는 속성 바인딩(Binding) : 실체의 속성을 특정한 값으로 정하는 것. 실체들이 쓰이기 전에 반드시 속성이 결정되어 있어야 하며, 실체의 속성을 특정한 값으로 정하는 것. 각 실체의 바인딩 정보의 저장장소를 설명자(descriptor)라고 함. - 정적 바인딩 : 실행 이전에 바인딩이 이루어 지는 것 - 동적 바인딩 : 실행시에 이루어지는 바인딩 바인딩 시각(Bind..

문장의 의미와는 무관하게, 문법규칙에만 합당하면 언어로서 적합함 ∙ 메타 기호(metasymbol) : 각진 괄호나 ‘→’, ‘|’들은 모두 기호를 위한 기호, 신택스 정의 기호를 위한 기호를 메타기호. ∙ 문맥무관형 문법의 문법 규칙에는 메타기호 “→”이 오고, 이것의 좌측에는 하나의 문법 구조명이 오며 우측에 구조명이나 다른 기호들이 온다. ∙ 비종결자(nonterminal) : 문법 구조명 ∙ 종결자(terminal) : 단어 혹은 토큰 기호 ∙ 유도(derivation) : 어떠한 문장이 주어졌을 때 그 문장이 그 언어에서 쓰일 수 있는지 판정하기 위해 문법 규칙을 사용하여 으로부터 시작하여 왼쪽의 것을 오른쪽으로 대치해 나가는 과정. > 주어진 문장이 문법규칙에 합당한지를 확인하는 과정 > 문법..

식별자(identifier) SUM, A, B와 같은 일반적으로 프로그래머가 정의하는 변수들 상수(constant) 1, 2, 3, 'abc'와 같이 정수형 상수, 실수형 상수, 문자형 상수들 예약어(reserved word) DO, IF, WHILE들과 같이 언어 구현시 이미 정의되는 지정어 연산자(operator) -, +, *, / 등과 같이 연산시 사용되는 기호들 구분자(delimiter) (, [, ;, :, , 등과 같이 단어와 단어를 구분하기위해 사용되는 기호들

1. 개념의 단순 명료함과 일관성 2. 신택스의 명확성 3. 응용성 4. 추상화 지원 5. 검증의 용이성 6. 작성환경지원 7. 호환성 8. 효율성

"배커스 나우어 형"이라고 읽음. 프로그래밍 언어의 형식적 정의에 사용되는 표기법 EBNF는 반복되는 부분을 표시하기 위한 메타기호를 포함한 표기법 BNF에서 사용되는 메타기호 3가지 (1) ::= (2) | (3) 문법규칙의 좌측에는 하나의 문법구조명이 나타나고, 우측에는 구조명이나 다른기호들이 온다. 문법구조명을 비종결자(nonterminal), 단어 혹은 토큰기호를 종결자(terminal)라고 한다. 언어에는 종결자만이 나타나며, 비종결자는 문법을 정의하기 위한 것임. EBNF(Extended BNF)에 사용되는 메타기호 2가지 (1) {} 기호 : 0번 이상의 반복을 의미. 중괄호 내에 포함된 모든 연산자는 좌결합적이라고 가정함 (2) [] 기호 : 선택사항을 의미 신택스 도표(Syntax Dia..