개발/프밍론

정규 언어, 정규 문법, 유한 오토마타의 동치 관계 전체 문법이 주어지면 문법으로 부터 토큰들을 분리해내고 이 토큰들을 정규 문법으로 표현 토큰에 대한 정규 문법을 정규 표현으로 표시. 이 정규 표현을 인식하는 인식기를 만들면 을 주면 언어가 주어지면, 이를 정규표현으로 변환 정규표현을 인식하는 NFA을 구성, NFA를 DFA로 변환, DFA를 최소화 하면 어휘 분석기 를 만들 수 있음 정규 문법, 정규 표현, 유한 오토마타의 관계가 서로 동치관계 임을 증명 정규문법 ⇒ 정규표현 정규표현 ⇒ 유한오토마타 유한 오토마타 ⇒ 정규문법 정규문법 ⇒ 정규표현으로변환 정규표현에의해서 정의된 문법G에 의해 생성 되는 언어 L(G)가 무엇인지를 알기 위해서는, 정규 문법을 정규 표현으로 변환 정규 문법을 계수(coe..

프로그래밍 언어론 - 데이터 타입 프로그램의 모든 데이터에는 데이터 타입(Type)이 있다 즉 데이터 타입은 그 타입의 변수가 가질 수 있는 값들의 집합이다. 데이터 타입의 종류 기본 데이터 타입 정수 타입, 부동 소수점 타입과 같이 해당 언어에서 기본적으로 제공 사용자 정의 데이터 타입 레코드 타입과 같이 기본 데이터 타입을 이용하여 사용자가 생성 정수 타입 주요 관심사항은 정수 값을 표현하는 데 사용하는 바이트 수 FORTRAN과 같은 언어는 한 가지 크기만을 제공 Java와 C와 같은 언어는 여러 가지 크기를 제공 오버 플로우 : 해당 타입이 제공하는 범위를 넘어서면 오버플로우가 발생한다 비부호 정수 타입 C나 C++에서 제공 0과 양의 정수만 표현하며, unsigned로 시작하는 타입 부동 소수점..