김형준의 개발자 블로그

1장인공지능은 인간의 지능 활동을 컴퓨터에 접목하는 기술이다.답: O인공지능의 역사는 그리 오래되지 않았으나, 약 150년 정도의 전통을 가지고 있다.답: X, 인공지능 연구는 1950년대부터 시작되었다.4차 산업혁명은 인공지능 기술과 관련이 깊다.답: O최근 인간 두뇌를 구현하기 위한 연구가 진전되어, 이미 감정이나 의식을 가진 인공지능이 개발되어 있다.답: X, 인간과 같은 감정·의식을 가진 인공지능은 아직 개발되지 않았다.좌뇌는 음악과 문학 등의 예술적 사고나 추상적인 사고를 담당한다.답: X, 예술적·추상적 사고는 우뇌의 기능이다.민스키는 비교적 초기 인공지능 연구자에 속하는 인물로서 인공지능 연구에 큰 공헌을 하였다.답: O인공지능 바둑 프로그램인 알파고는 인공지능 초창기인 1970년대에 개발되..

1장인공지능은 인간의 지능 활동을 컴퓨터에 접목하는 기술이다.답: O인공지능의 역사는 그리 오래되지 않았으나, 약 150년 정도의 전통을 가지고 있다.답: X, 인공지능 연구는 1950년대부터 시작되었다.4차 산업혁명은 인공지능 기술과 관련이 깊다.답: O최근 인간 두뇌를 구현하기 위한 연구가 진전되어, 이미 감정이나 의식을 가진 인공지능이 개발되어 있다.답: X, 인간과 같은 감정·의식을 가진 인공지능은 아직 개발되지 않았다.좌뇌는 음악과 문학 등의 예술적 사고나 추상적인 사고를 담당한다.답: X, 예술적·추상적 사고는 우뇌의 기능이다.민스키는 비교적 초기 인공지능 연구자에 속하는 인물로서 인공지능 연구에 큰 공헌을 하였다.답: O인공지능 바둑 프로그램인 알파고는 인공지능 초창기인 1970년대에 개발되..

1. Actual Type (실제 타입)정의actual type은 특정 표현식 또는 변수(, 등)가실제로 계산되거나 결정되는 타입을 의미한다.특징하위 노드에서 합성(synthesized) 되어 상위로 전달됨값이나 연산 결과를 기반으로 결과 타입이 결정됨컴파일러의 타입 추론 결과라고 볼 수 있음예시3 + 5 → actual type = inta * b → a와 b의 타입에 따라 결정 → 자식 이나 에서 계산된 타입을 받아옴2. Expected Type (기대 타입)정의expected type은 특정 표현식이 위치한 문맥에서**“이 자리에 와야 하는 타입”**을 의미한다.특징상위 노드에서 하위 노드로 전달되는 상속(inherited) 속성타입 검사 시 기준(Constraint) 역할 수행타입 오류 검출에 ..

1. 개념 정의BNF는 문법 규칙을 재귀적 구조로 명시하는 형식 문법 표기법이다.모든 반복, 선택, 그룹 구조를 비단말 기호와 재귀 규칙만으로 표현해야 한다.반면 EBNF는 BNF를 확장한 표기법으로,반복·선택·옵션 등을 **메타 기호(meta-symbol)**로 직접 표현할 수 있도록 설계되었다.2. 표현 방식 차이(1) BNF 방식 BNF에서는 다음과 같이 재귀를 통해 반복을 표현한다. → + → 특징:반복 구조를 표현하려면 자기 자신을 다시 호출하는 규칙 필요문법이 길어지고, 직관성이 떨어질 수 있음모든 구조를 동일한 형식으로 표현 → 엄격하지만 장황함 (2) EBNF 방식 EBNF에서는 반복을 다음과 같이 간단히 표현한다. → {(+ | -) }특징:{ } : 0번 이상 반복( ) : 그룹화..

> 정의BNF(Backus–Naur Form)는 프로그래밍 언어 및 형식 언어의 문법(Grammar)을 형식적으로 기술하기 위한 표기법이다.문자열이 어떤 규칙을 만족할 때 “올바른 문장인지”를 판단할 수 있도록, 언어의 구조를 수학적으로 명확하게 정의한다.BNF는 주로 컴파일러 설계, 파서(Parser) 구현, 언어 명세 작성에서 사용되며, 문장의 생성 규칙을 집합 형태로 표현한다.> 구성 요소BNF는 다음 세 가지 핵심 요소로 구성된다.비단말 기호 (Non-terminal symbol)다른 기호로 치환될 수 있는 추상적인 기호보통 꺾쇠()로 표현예: , 단말 기호 (Terminal symbol)더 이상 분해되지 않는 실제 문자 또는 토큰예: +, if, a, 1생산 규칙 (Production rule)..