Digital Intelligence

프로세스간 통신기법 분류 - 공유기억장치(shared memory)기법 : 프로세스간 공유되는 변수를 이용하여 값을 전달 - 메시지시스템(message system)기법 : 프로세스는 메시지처리기능을 가지며, 통신은 OS가 담당하며, 프로세스간에 통신링크가 구현됨. 통신링크의 논리적 구현 1. 어떻게 링크가 설정되는가 2. 한 링크가 2개 이상의 프로세스와 관계할 수 있는가 3. 모든 통신의 쌍(pair) 사이에 얼마나 많은 링크가 있을 수 있는가 4. 링크의 용량은 얼마인가? 5. 메시지의 크기는 얼마인가? 6. 링크가 단일방향인가 양방향인가? 링크의 논리적 구현과 송/수신 연산을 위한 여러 가지 방법 1. 직접 통신 / 간접 통신 2. 프로세스 전송 / 우편함 전송 3. 대칭 통신 / 비대칭 통신 4..

다수의 프로세스가 하나의 데이터객체를 공유하는 경우, 한 쪽 프로세스는 판독을 하려 하고, 다른 한 쪽 프로세스는 기록을 하려고 할 때 발생하는 문제.조건 : 판독을 동시에 하는 경우 이상 없음. 판독과 기록 / 기록과 기록인 경우가 문제. 해결방법 : 기록기가 공유객체에 배타적 접근을 하도록 해야 한다. 1. 기록기가 이미 공유객체를 사용하도록 허가되지 않았다면, 판독기는 대기하지 않는다. 2. 일단 기록기가 준비되었다면, 기록을 가능한한 빨리 수행한다.( 기록기 작업중에는 어떤 판독기도 읽기 시작 불가 )

장치의 범주 - 전용장치(dedicated devices) 한 번에 단지 하나의 작업에만 할당된다. - 공유장치(shared devices) 여러 프로세스에 할당된다. 요구를 인터리빙(Interleaving). - 가상장치(virtual devices) 전용장치와 공유장치의 조합. 스풀링(Spooling). 순차접근 저장장치 테이프 장치에서 레코드간 이동시에 헤드가 멈출 시간(IRG:InterRecord Gap)이 필요함. - 전송률(transfer rate) = 밀도(density) X 전송속도(transport speed) 직접접근 저장장치 드럼, 디스크 등의 임의접근저장장치(random access storage devices). - 고정헤드방식 접근시간(access time) = 회전지연시간(se..

Toward a Single Global Company Reporting Model Until recently, countries required public companies doing business in their jurisdictions to comply with their own national “Generally Accepted Accounting Principles” or GAAP. In the early 1970s, many national securities regulators and accounting standards-setting bodies began to recognize the need for a common set of reporting standards, given the ..

푸시다운 오토마타의 7개 구성요소 M=(Q, Σ, T, δ, q0, z0, F) Q : 상태들의 유한집합 Σ : 입력기호들의 유한집합 T : 스택기호들의 유한집합 δ : 전이함수 Q X (∑∪{ε}) X T -> Q X T* q0 ∈ Q : 시작(start state)상태 z0 ∈ T: 스택의 시작기호 F ⊆ Q : 종결상태(final state)의 집합 전이함수δ (q,a,z) = {(p1,r1),(p2,r2),...,(pm,rm)}에서 - m = 1 이면 결정적 푸시다운 오토마타(DPDA:Deterministic Push-Down Automata) - m ≥ 2 이면 비결정적 푸시다운 오토마타(NPDA:Non-Deterministic Push-Down Automata)

- Immediate Left-Recursion : A -> Aα 형태의 생성규칙 - Indirect Left-Recursion : A =(+)=> Aα 형태의 유도과정이 존재하는 경우 문제점 Top-Down구문분석시, 같은 생성규칙이 반복 적용되어 무한루프 제거방법 right-recursion으로 변환함

같은 기호들을 prefix로 갖는 2개 이상의 생성규칙이 존재할 경우, 공통된 prefix를 인수분해하는 것을 left-factoring이라고 한다. 구문분석기가 어떤 생성규칙을 적용해야할 지 결정할 수 없어서, 규칙의 선택값을 순차적으로 재시도하게 되는 현상(backtracking)을 방지하기 위해서 left-factoring을 수행한다. 입력 : 문법 G 출력 : 동일한 left-factoring된 문법 방법 begin repeat Find the production A -> αβ1|αβ2||...|αβn|γ (*γ는 문자열*) Find the longest prefix α ; If α ≠ ε then replace all tha A -> αβ1|αβ2||...|αβn|γ by A -> αA'|γ A..

단일생성규칙(single production, unit production) 오른편이 단 하나의 Non-Terminal로 구성되는 생성규칙을 말한다.CFG G(VN, VT, P, S)가 어떤 A∈ VN에 대하여 A=(+)=>A형태의 유도과정을 가지지 않을 때, cycle-free라고 하며, 만약 G가 cycle-free이며, ε-free, 그리고 불필요한 기호를 가지지 않으면 그 문법은 proper하다고 한다. 제거방법 오른편에 Non-terminal 기호가 한개만 나오는 생성규칙을 찾아서, 그 자리를 다른 생성규칙들로 대체함으로써 제거한다.