KidCat

Regular expression Regular expression ( 정규 표현 ) Regular expressions 은 언어를 표현하는 algebraic 방법이다. algebraic 은 대수적이란 뜻인데, 수학적 증명정도로 생각하면 될 것 같다. 우리는 이전에 Regular grammar 를 통해 Regular language 를 정의했다. 그렇다면 Regular grammar 를 통해 정의한 것과 Regular expression 을 통해 언어를 정의한 것을 다를까? 그렇지 않다. 그저 서로 다른 사람이 연구해서 정의를 한 것일뿐, grammar 를 통해서 표현 가능하다면 전부 expression 으로도 표현 가능하고, 둘이 같음은 증명되었다. 이에 대한 이론은 Kleene Theory 를 공부한..

계산 이론, 오토마타 이론 형식 언어 ( Formal Language ) 문법 계산 이론, 오토마타 이론 계산 이론 ( Theory of Compuation ) : 컴퓨터 과학에서 어떤 문제를 컴퓨터로 풀 수 있는지, 얼마나 효율적으로 풀 수 있는지를 탐구하는 이론 오토마타 이론 ( Theory of Automata ) : 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학 여기서 "계산 능력이 있는 추상 기계들" 을 Automata 라고 한다. Automata 자체가 복수 표현이고 단수 표현은 Automation 이다. Automata 도 모델이 다양한데, 다른 모델의 기계가 할 수 있는 것과 없는 것을 구분하는 것이 컴퓨터 과학의 근본적인 의문중에 하나이다. ..

컴파일러란? 컴파일러가 필요한 이유 컴파일러의 구성과 역할 컴파일러란? 컴파일러 : 어떤 언어 X 를 다른언어 Y로 번역해주는 컴퓨터 '프로그램' 여기서 말하는 언어는 우리가 생각하는 언어와 다를 수 있다. 일반적으로 생각하지 못하는 어떤 것도 언어의 범주에 포함될 수 있음을 알아야 한다. 컴파일러 과목에서는 이러한 언어들 중에 '프로그래밍 언어' 에 대해 집중적으로 다룬다. 컴파일러가 필요한 이유 폰 노이만 아키텍처에서는 프로그램을 작성하는데 코드들이 필요하다. 실제 컴퓨터가 명령을 이해하고 실행하려면 이진코드 ( 기계어 ) 가 필요한데, 인간이 이 이진코드로 프로그램을 작성하는 것은 비효율적이다. 이 비효율적인 일을 좀 더 효율적으로 하기 위해 나온것이 '어셈블리어 ( Assembly Language..