observe_db

Part 1. 파일(file) 하나의 단위로 처리될 수 있는 이름이 부여된 데이터의 집합 파일 연산 열기(open) 닫기(close) 생성(create) 삭제(destroy) 복사(copy) 이름변경(rename) 내용보기(list) 파일 내의 데이터 항목에 대한 연산 읽기(read) 쓰기(write) 갱신(update) 삽입(insert) 삭제(delete) 파일의 종류 연속된 byte로 구성된 파일 record로 구성된 파일: DB의 파일 Tree 정보를 저장하는 파일: B+ Tree 자료구조 디렉토리(directory, folder) 파일 시스템에 있는 파일에 대한 정보를 포함하고 있는 파일 디렉토리 정보 파일 이름 위치 크기 타입 소유권 접근권한 접근, 수정 및 생성 시각 파일 시스템(file s..

5/19 SLR 파싱 테이블의 구성 LR(0) 아이템 문법 G의 생성규칙 오른쪽 임의의 위치에 점이 찍혀 있는 규칙 점은 진행의 정도를 나타낸다. SLR 방법의 중심 개념 바이어블 프리픽스를 인식하는 결정 유한 오토마톤(DFA) 구성 아이템들은 SLR파서의 상태에 해당하는 집합 NFA의 상태에 해당 부분집합구성 방법으로 아이템들을 함께 묶음. Closure 연산 Closure(I): 아이템 집합의 구성 I에 있는 모든 아이템을 closure(I)에 넣는다. A->a●Bβ가 closure(I)에 속해있고 B->γ가 closure(I)에 없을 경우 Goto 연산 goto(I, X): I는 아이템 집합. X는 문법기호 goto(I, X)는 A->a●Bβ가 I에 있을 때 모든 아이템 A->aX●β의 closur..

보호되어 있는 글입니다.

5/12 5/18 인식기(Recognizer): 입력으로 string을 받아 그 언어의 문장이면 "YES", 아니면 "NO"를 출력하는 프로그램 튜링머신(type0)-A에 선형 종속(type1)-푸시다운 오토마타(type2)-유한 오토마타(type3) 유한 오토마타(Finite Automata. FA) 알파벳Σ에 대한 유한 오토마타 M = (Q,Σ, δ, q0, F) Q: state의 유한 집합 Σ: 입력 알파벳의 유한 집합 δ: 사상함수 q0 ∈Q: 시작 상태 F ⊆Q: 종결 상태의 집합 사상함수 δ: Q * Σ-> 2^Q ex) δ(q, a) = {p1, p2...pn} 결정적 유한 오토마타(DFA) 결정적이다 - δ(q, a)가 한상태 만을 갖는 경우 - δ(q, a) = {p} 대신에 "δ(q, ..