Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr 오토마타 및 형식언어 김 현 성 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr.

Slides:



Advertisements
Similar presentations
Copyright © 2006 The McGraw-Hill Companies, Inc. Programming Languages 프로그래밍 언어론 2nd edition Tucker and Noonan 1 장 소 개 A good programming language is a.
Advertisements

Tel. 02)  동화 새롭게 바라보기 1 박명옥 ( 호곡중학교 )
Dept. Computer Engineering DBLAB 정보처리개론 담당 교수 : 김정석 2009 년도 1 학기.
DNN 을 활용한 메일 분류 임영욱 백창훈 정강우.
모자보호시설 경주 애가원 학번 : 05V0081 이름 : 황 주영. 기관 소개 사회복지법인 자선단 산하 경주애가원은 1957 년 4 월 6 일 ‘ 경주모자원 ’ 이란 이름으로 한국전쟁 미망인의 생계유지 및 자립을 지원, 현재 조소득 모자세대의 기본적인 생계수준을 보장하고.
1/6 종합설계프로젝트 경일대학교 컴퓨터공학과 김 현성. 2/6 강의 개요 1주1주 종합설계의 개요 ( 엔지니어와 창의적 공학설계 ) 팀 구성 ( 조장, 발표자, 서기 ) - 조별 브레인스토밍 시작 공지 2주2주 창의적 문제해결 과정 창의적 공학설계를 위한 팀웍 팀원간의.
인사전문교육 공무원 임용제도 ㅇ 2005년도 중앙인사위원회 업무계획을 보고 드리겠습니다. 인사정책과 양홍주.
근로기준법 (임금체불, 해고 및 주40시간제).
직장내 성희롱 예방교육 제주지방노동사무소.
언어와 문법 (languages, grammar)
라포르시안 뉴스레터 e마케팅 소개서 ㈜올댓닥터스
사이버 수사 및 디지털 증거수집 실태조사 곽병선 노명선 이종찬 권양섭.
‘1+3 방과후학교’운영 영재학생 당기고 부적응학생 끌어주는 부천부곡중학교 경기도교육청지정 방과후학교 시범학교
제10회 부모님과 함께 읽는 과학도서 독서감상문 대회
전남행복수업 design 독서ㆍ토론 수업 지원 자료 활용 목포유달초등학교 김미향.
전남행복수업 design, 독서·토론수업 연구의 개요를 말씀드리겠습니다..
행동강령 해설 기 획 조 정 실.
Chapter 9. 컴퓨터설계기초 9-1 머리말 9-2 데이터 처리장치 (Datapath)
Compiler Lecture Note, Inroduction to FL theory
Compiler Lecture Note, Inroduction to FL theory
“자연어처리” 소개 (Natural Language Processing)
4장. 목표설정 목표란 무엇인가? 산출 목표 성과 목표.
성창기업 설비관리분야 신입사원 모집 사업분야 소개
Multimedia Lab. Introduction
Procedural Modeling of Buildings
프로그래밍 언어론 2004년 가을학기 창 병 모 숙명여대 컴퓨터과학과.
Discrete Math II Howon Kim
2016 “ 경제교육 봉사단 대학생 (재)광주광주광주원 경제교육센터 지원대상 모집일정 활동혜택 활동내용 지원시 유의사항
컴퓨터 구조학 정보보호학과.
2. 형식언어 (Formal Language)
오토메타 형식언어 2003년도 제 2학기.
제 5장. Context-Free Languages
Sung-Hae Jun 자연어 처리의 이해 Sung-Hae Jun
Chapter 7. PUSHDOWN AUTOMATA Exercises
Multimedia 영어 교육 Solution
컴퓨터 시스템의 개요.
Chapter 2. Finite Automata Exercises
Discrete Math II Howon Kim
아날로그 VS 디지탈 -. Analog Vs Digital -. 디지털 논리에 대하여 -. 메모리에 대하여
자동제어 영남대학교 기계공학부 정 병 묵.
이산수학(Discrete Mathematics)
컴퓨터 시스템 개관 시스템 프로그래밍 - Lecture #1 신라대학교 컴퓨터공학과 시스템 프로그래밍.
Digital System Experiment Lab. Orientation
㈜아워홈 대표이사 직인 생략 수 신 : 학교장 귀하 참 조 : 식품영양학과 사무실 / 취업 지원실
학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해
A Web-Based Little Man Computer Simulator
매스커뮤니케이션 신문 목원대학교 서 진 희.
Discrete Math II Howon Kim
이산수학(Discrete Mathematics)
컴퓨터 저녁반 강의 안내 기본 소개 컴퓨터저녁기초반 교육과정 주차별 강의계획안 문의 : 과천시시설관리공단
역사논술 팝업북아트 입체로 만드는 나만의 역사책!! 경기도 부천시 소사구 송내동 /2층
3. 정규 언어(Regular Language)
언어교육 게임SW를 위한 음성인식 기술 IT 신성장 동력 분야별 기술개발 계획(안)
서울디지털대학교 상대평가 성적입력 방법 교무처 교무행정팀.
Discrete Math II Howon Kim
그래프와 트리 (Graphs and Trees)
Can Digital Computers Think? - Summary
국제물류.
이산수학 (Discrete Mathematics)
Chapter 5. Context-Free Language Exercises
제12장. Algorithmic Computation의 한계
의사결정지원시스템 6조 오나연 송혜정 신은수 오경석
강의#1 수업계획서 수업계획서 설명 사람은 이렇게 살아야 한다..
9장. 프로그램 평가.
유예 X-FILE *조사자* 1301권희원 1315이예지 1317장아정 1322홍자현.
Compiler: Overview Seong Jong Choi Multimedia Lab.
제10장. Other Models of TM’s 학습목표
통계학과 전공탐색 이해교실.
“용산복지재단과 함께 꿈을 이룹니다” 함 께 이 룸.
매출채권보험 제도 안내 4대 효과 중소기업 사장님들의 든든한 우산 판매위험 보장 사후관리 매출증대 대출금리 우대 매출채권보험
Presentation transcript:

Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr 오토마타 및 형식언어 김 현 성 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr

교재 및 참고문헌 교재 형식언어와 오토마타(An Introduction to Formal Languages and Automata, Peter Linz) 장직현 외 3명 공저 사이텍미디어 참고문헌 오토마타와 형식언어, 김철언 오토마타와 계산이론, 김대수 형식언어와 오토마타론, 신영길 외

취업자 과제물 1장에서 10장까지 각 장당 A4 2페이지를 손으로 정리하여 제출 제출기한 : 기말고사 끝나기 전까지 제출방법 : 우편제출 or 직접 방문 제출

사람의 언어 1더하기 2는 뭐야? 뭐라고?

컴퓨터의 언어 1+2=? 100 001 010 프로그래밍 언어 3 011

과목소개 Theory Application Discrete Mathematics Automata Computation Complexity Application Programming Languages Database, Network ...

Background Knowledge Mathematical Preliminaries Sets Functions Relations Graphs and Trees

Three Basic Concepts(1/2) Languages Grammars Automata

Automata(1/2) Abstract model of a digital computer Input file Storage Control unit Output

Automata(2/2) 1 q1 q0 q2 1 1

Three Basic Concepts(2/2) Languages Grammars Automata

Grammar, Languages, Recognizer Grammar Language Recognizer Type 0 recursively enumerable sets Turing machine Type 1 context-sensitive language Linear bounded automata Type 2 context-free language Pushdown automata Type 3 regular language Finite automata

Chomsky’s Language Hierarchy Regular Languages Context-free Languages Context-sensitive Languages Unrestricted Languages

Applied Area Compiler Digital Design Finite Automata lexical analysis (parser) Digital Design binary adder

평가 중간고사 30 % 기말고사 30% 과제물 30% 과제물 : 매주 1회 정도 출석 10%