Digital Intelligence

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 기호가 한개만 나오는 생성규칙을 찾아서, 그 자리를 다른 생성규칙들로 대체함으로써 제거한다.

ε-생성규칙을 제거하는 방법은 간단하다. 모든 S에 ε을 대입하면 된다. CFG G=(VN,VT,P,S)가 다음 중 한 가지 조건만을 만족할 경우에 ε-free문법이라고 한다 1. P가 생성규칙을 갖지 않는다. 2. 시작기호 S만이 S->ε 인 ε생성규칙을 가질 경우, 다른 생성규칙의 오른쪽에 S가 나타나지 않는다.

모호한 문법(Ambiguous Grammer) 동일한 문자열에 대하여 상이한 분석나무가 나타날 수 있는 문법 모호한 문법은 모호하지 않은 동등한 문법으로 바꿀 수 있으나, 모든 경우에 그러하지는 않다. 모호성 제거 연산에 우선순위를 부여하거나 모호성 제거규칙을 만든다. 연산우선순위만으로는 모호하지 않은 문법을 만들 수 없고, 결합법칙(associativity)을 사용함 결합법칙(associativity) 연산자의 우선순위가 같은 경우에 왼쪽에서 오른쪽으로 계산할지(좌측결합,left associative), 오른쪽에서 왼쪽으로 계산(우측결합,right associative)할지를 결정하는 규칙. 하나의 context-free언어를 생성하는 모든 문법이 모호하다면, 이 언어를 본질적으로 모호하다(inhere..

파일관리 시스템의 요소 - 액세스방식 : 저장되어 있는 데이터에 접근하는 방식 - 파일관리 : 파일을 저장,참조,공유할 수 있는 기법을 제공 - 보조기억장치관리 : 저장공간 할당 등을 관리 - 파일 무결성 유지 : 파일의 정보가 소실되지 않도록 보장함 파일관리 시스템의 기능 - 사용자간 전송/공유(판독,기록,수행), 백업 및 복구, 기호화된 이름 사용, 장치독립성, 암호화와 해독, 사용자 인터페이스, 파일 생성/수정/제거 등 블록킹(Blocking) - 물리적 레코드(Physical record) : 블록(Block). 장치에 출력되거나 입력되는 실제 정보의 단위 - 논리적 레코드(Logical record) : 사용자 관점에서 한 단위로 취급되는 자료의 단위 - 블로킹되지 않은 레코드 : 물리적 레코드..