| 000 | 00000cam c2200205 c 4500 | |
| 001 | 000046089399 | |
| 005 | 20210813103720 | |
| 007 | ta | |
| 008 | 210812s2017 ulka b 001c kor | |
| 020 | ▼a 9791156005414 ▼g 93000 | |
| 035 | ▼a (KERIS)BIB000014604700 | |
| 040 | ▼a 241008 ▼c 241008 ▼d 211009 | |
| 041 | 1 | ▼a kor ▼h eng |
| 082 | 0 4 | ▼a 005.13/1 ▼2 23 |
| 085 | ▼a 005.131 ▼2 DDCK | |
| 090 | ▼a 005.131 ▼b 2017 | |
| 100 | 1 | ▼a Linz, Peter ▼0 AUTH(211009)74385 |
| 245 | 1 0 | ▼a 형식언어와 오토마타 / ▼d Peter Linz 저 ; ▼e 김응모 [외]역 |
| 246 | 1 9 | ▼a An introduction to formal languages and automata ▼g (6th ed.) |
| 246 | 3 9 | ▼a Introduction to formal languages and automata |
| 260 | ▼a 서울 : ▼b 홍릉과학출판사, ▼c 2017 | |
| 300 | ▼a xiv, 473 p. : ▼b 삽화 ; ▼c 26 cm | |
| 500 | ▼a 공역자: 엄영익, 박희진, 배상원 | |
| 500 | ▼a 부록: A. 유한-상태 변환기(Finite-state transducers), B. JFLAP: 추천의 글(JFLAP: a recommendation) | |
| 504 | ▼a 참고문헌(p. [465])과 색인수록 | |
| 650 | 0 | ▼a Formal languages |
| 650 | 0 | ▼a Machine theory |
| 700 | 1 | ▼a 김응모, ▼e 역 |
| 700 | 1 | ▼a 엄영익, ▼g 嚴泳翊, ▼d 1960- ▼0 AUTH(211009)124677 |
| 700 | 1 | ▼a 박희진, ▼e 역 |
| 700 | 1 | ▼a 배상원, ▼e 역 |
| 900 | 1 0 | ▼a 린즈, 피터, ▼e 저 |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 005.131 2017 | 등록번호 111881267 (11회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 005.131 2017 | 등록번호 121257939 (23회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 005.131 2017 | 등록번호 111881267 (11회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 005.131 2017 | 등록번호 121257939 (23회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
저자소개
피터 린츠(지은이)
<형식언어와 오토마타>
김응모(옮긴이)
성균관대학교 컴퓨터공학과 교수
목차
1 계산이론 개요 2 유한 오토마타 3 정규 언어와 정규 문법 4 정규 언어의 성질 5 문맥-자유 언어 6 문맥-자유 문법의 단순화와 정규형 7 푸시다운 오토마타 8 문맥-자유 언어의 성질 9 튜링 기계 10 튜링 기계의 다른 모델 11 형식 언어의 계층과 오토마타 12 알고리즘적인 계산의 한계 13 다른 계산 모델 14 계산 복잡도의 개관 부록 A 유한-상태 변환기 부록 B JFLAP : 추천의 글 해답 참고문헌 찾아보기