상세정보
- home
- 상세정보
형식언어와 오토마타
Linz, Peter
- 책이미지
-
- 서평쓰기
- 서평쓰기
| 자료유형 | 단행본 |
|---|---|
| 개인저자 | Linz, Peter 장직현 김응모 엄영익 한광록 |
| 서명/저자사항 | 형식언어와 오토마타 / Peter Linz 저 ; 장직현 [외]역. |
| 발행사항 | 서울 : 홍릉과학, 2012. |
| 형태사항 | xiv, 447 p. : 삽화 ; 26 cm. |
| 원서명 | (An) introduction to formal languages and automata(5th ed.) |
| ISBN | 9788997570034 |
| 일반주기 |
공역자: 김응모, 엄영익, 한광록
부록: 1, 유한-상태 변환기. - 2, JFLAP : 추천의 글 |
| 서지주기 | 참고문헌(p. [441]), 색인(p. [443]-447) 포함 |
| 비통제주제어 | 형식언어,오토마타,계산이론,수학논리,컴퓨터공학 |
초록
목차 일부
『형식언어와 오토마타』는 형식 언어, 오토마타, 계산가능성과 관련된 내용들에 대한 입문 과목을 위하여 구성된 책이다. 컴퓨터 과학 혹은 컴퓨터 공학을 전공하는 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 : 추천의 글
해답
참고문헌
찾아보기
퀵메뉴 열기
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가