가톨릭대학교 성심로고

로컬네비게이션

전체메뉴

전체메뉴

검색

상세정보

형식언어와 오토마타

Linz, Peter

상세정보
자료유형단행본
개인저자Linz, Peter
장직현
김응모
엄영익
한광록
서명/저자사항형식언어와 오토마타 / Peter Linz 저 ; 장직현 [외]역.
발행사항서울 : 홍릉과학, 2012.
형태사항xiv, 447 p. : 삽화 ; 26 cm.
원서명(An) introduction to formal languages and automata(5th ed.)
ISBN9788997570034
일반주기 공역자: 김응모, 엄영익, 한광록
부록: 1, 유한-상태 변환기. - 2, JFLAP : 추천의 글
서지주기참고문헌(p. [441]), 색인(p. [443]-447) 포함
비통제주제어형식언어,오토마타,계산이론,수학논리,컴퓨터공학
서비스 이용안내
  • 보존서고도서 신청보존서고도서 신청
  • 서가에 없는 도서서가에 없는 도서
  • 야간대출 이미지야간대출
  • 인쇄인쇄

전체

전체 소장정보 목록
No. 등록번호 청구기호 소장처 도서상태 반납예정일 예약 서비스 매체정보
1 E427853 001.641 L7622i5장 중앙도서관/제2자료실(4F)/ 대출중 2022-12-14 예약가능
(1명 예약중)
인쇄
2 E427854 001.641 L7622i5장 c.2 중앙도서관/제2자료실(4F)/ 대출중 2022-12-15
인쇄

초록

목차 일부


『형식언어와 오토마타』는 형식 언어, 오토마타, 계산가능성과 관련된 내용들에 대한 입문 과목을 위하여 구성된 책이다. 컴퓨터 과학 혹은 컴퓨터 공학을 전공하는 2,3학년 학생들을 대상으로 계산이론의 개요부터 유한 오토마타, 정규 언어와 정규 문법, 정규 언어의 성질, 푸시다운 오토마타 등에 대한 내용을 자세하게 정리하였다. 정의와 정리들을 명확하게 기술하...

목차 전체


『형식언어와 오토마타』는 형식 언어, 오토마타, 계산가능성과 관련된 내용들에 대한 입문 과목을 위하여 구성된 책이다. 컴퓨터 과학 혹은 컴퓨터 공학을 전공하는 2,3학년 학생들을 대상으로 계산이론의 개요부터 유한 오토마타, 정규 언어와 정규 문법, 정규 언어의 성질, 푸시다운 오토마타 등에 대한 내용을 자세하게 정리하였다. 정의와 정리들을 명확하게 기술하고 증명에 대한 동기를 제시하였으며, 문제 형식의 실례가 되는 예제를 통해 공부하는데 도움을 준다.

목차

목차 일부


1 계산이론 개요
2 유한 오토마타
3 정규 언어와 정규 문법
4 정규 언어의 성질
5 문맥-자유 언어
6 문맥-자유 문법의 단순화와 정규형
7 푸시다운 오토마타
8 문맥-자유 언어의 성질
9 튜링 기계
10 튜링 기계의 다른 모델
11 형식 언어의 계층과 오토마타
12 알고리즘적인 계산의 한계
13 다른 계산 모델
14 계산 복잡도의 개관

부록 A 유...

목차 전체


1 계산이론 개요
2 유한 오토마타
3 정규 언어와 정규 문법
4 정규 언어의 성질
5 문맥-자유 언어
6 문맥-자유 문법의 단순화와 정규형
7 푸시다운 오토마타
8 문맥-자유 언어의 성질
9 튜링 기계
10 튜링 기계의 다른 모델
11 형식 언어의 계층과 오토마타
12 알고리즘적인 계산의 한계
13 다른 계산 모델
14 계산 복잡도의 개관

부록 A 유한-상태 변환기
부록 B JFLAP : 추천의 글

해답
참고문헌
찾아보기
  

*주제와 무관한 내용의 서평은 삭제될 수 있습니다.

서평추가

서평추가
별점
총 10점 중 별0점
  • 별5점
  • 총 10점 중 별9점
  • 별4점
  • 총 10점 중 별7점
  • 별3점
  • 총 10점 중 별5점
  • 별2점
  • 총 10점 중 별3점
  • 별1점
  • 총 10점 중 별1점
  • 총 10점 중 별0점
제목입력
본문입력

글자수:0
맨 위로가기 버튼