계산이론개요

목차

1.목적

2.수학적 개요

3.집합

4.오토마타

5.함수

6.관계

7.반사성Reflexivity

8.대칭성Symmetry

9.전이성Transitivity

10.그래프

11.트리

12.증명기법

13.Example 1.5

14.언어, 문법, 오토마타

본문내용

컴퓨터 공학 분야에는 몇 가지 공통적인 기본 원리가 존재
기본 원리를 이해하기 위해서는 추상적 모델을 설정해야 한다
추상적 모델 => 하드웨어 및 소프트웨어에서 공통적으로 나타나는 특징들을 표현하기 위한 모델



추상적 모델 => 오토마타
오토마타는 입력, 출력, 기억장소로 구성

형식언어는 프로그래밍언어들의 일반적인 특성들을 추상화한 개념
형식언어는 심볼들과 심볼들의 조합인 문장을 구성하는 형식규칙들의 집합
형식언어는 이 형성규칙들에 의해 생성되는 모든 문자열들의 집합

키워드

언어 문법,   오토마타,   example,   증명기법,   트리,   반사성,   대칭성,   전이성