브라우저보다 빠른!
7 처지: 문맥 자유 문법, 구문 분석, 스택, 튜링 기계, 컴퓨터 과학, 유한 상태 기계, 형식 문법.
문맥 자유 문법
문맥 자유 문법(Context-free grammar, CFG), 문맥 무관 문법은 형식 문법의 한 종류로, 생성 규칙이 다음과 같은 문법을 의미.
새로운!!: 푸시다운 자동 기계와 문맥 자유 문법 · 더보기 »
구문 분석
언어학에서 구문 분석(構文分析)은 문장을 그것을 이루고 있는 구성 성분으로 분해하고 그들 사이의 위계 관계를 분석하여 문장의 구조를 결정하는 것을 말. 컴퓨터 과학에서 파싱((syntactic) parsing)은 일련의 문자열을 의미있는 토큰(token)으로 분해하고 이들로 이루어진 파스 트리(parse tree)를 만드는 과정을 말.
새로운!!: 푸시다운 자동 기계와 구문 분석 · 더보기 »
스택
스택의 구조 스택(stack)은 제한적으로 접근할 수 있는 나열 구조이.
새로운!!: 푸시다운 자동 기계와 스택 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 푸시다운 자동 기계와 튜링 기계 · 더보기 »
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
새로운!!: 푸시다운 자동 기계와 컴퓨터 과학 · 더보기 »
유한 상태 기계
유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는데에 쓰이는 수학적 모델이.
새로운!!: 푸시다운 자동 기계와 유한 상태 기계 · 더보기 »
형식 문법
형식 문법(formal grammar)은 형식 언어를 정의하는 방법으로, 유한개의 규칙을 통해 어떤 문자열이 특정 언어에 포함되는지를 판단하거나, 그 문법으로부터 어떤 문자열을 생성해 낼지를 정. 형식 문법은 그 문법으로부터 문자열들을 생산해 내는 생성 문법(generative grammar)과, 문자열이 특정 언어에 포함되는지를 판단하는 해석 문법(analytic grammar)으로 나눌 수 있.
새로운!!: 푸시다운 자동 기계와 형식 문법 · 더보기 »
