형식언어와 오토마타, 저자 Peter Linz, 홍릉과학출판사 다운받기 형식언어와 오토마타, 저자 Peter Linz, 홍릉과학출판사『형식언어와 오토마타』는 형식 언어, 오토마타, 계산가능성과 관련된 내용들에 대한 입문 과목을 위하여 구성된 책이다. 컴퓨터 과학 혹은 컴퓨터 공학을 전공하는 2,3학년 학생들을 대상으로 계산이론의 개요부터 유한 오토마타, 정규 언어와 정규 문법, 정규 언어의 성질, 푸시다운 오토마타 등에 대한 내용을 자세하게 정리하였다. 정의와 정리들을 명확하게 기술하고 증명에 대한 동기를 제시하였으며, 문제 형식의 실례가 되는 예제를 통해 공부하는데 도움을 준다.1 계산이론 개요 2 유한 오토마타 3 정규 언어와 정규 문법 4 정규 언어의 성질 5 문맥-자유 언어 6 문맥-자유 문법의 단순화와 정규형 7 푸시다운 오토마타 8 문맥-자유 언어의 성질 9 튜링 기계 10 튜링 기계의 다른 모델 11 형식 언어의 계층과 오토마타 12 알고리즘적인 계산의 한계 13 다른 계산 모델 14 계산 복잡도의 개관 부록 A 유한-상태 변환기 부록 B JFLAP : 추천의 글 해답 참고문헌 찾아보기
자료 (압축파일).zip
댓글 없음:
댓글 쓰기