---
title: "@피터린츠 #형식언어 #오토마타 #계산이론 #정규문법"
url: "https://notes.junghanacs.com/bib/20240715T114820"
author: "Junghan Kim"
date: "2024-07-15T11:48:00+09:00"
lastmod: "2024-12-05T16:09:00+09:00"
tags: ["bib","formallanguage"]
description: "형식언어와 오토마타, 정규문법, 계산이론의 핵심 개념을 체계적으로 익히게 하는 고전적 입문서다."
---

> [!abstract] 이 노트에 대하여
> 
> 형식언어와 오토마타, 정규문법, 계산이론의 핵심 개념을 체계적으로 익히게 하는 고전적 입문서다.

An Introduction to Formal Languages and Automata

이론에 대한 노트가 하나 있어야 할 것 같다. 이해를 깊게 하기 위해서

## 형식언어와 오토마타 노트 Grib, John

([Grib n.d.](https://notes.junghanacs.com/bib/20240715T114820#citeproc_bib_item_2))

## 형식언어와 오토마타 - #계산이론 #정규문법

([피터 린츠 2017](https://notes.junghanacs.com/bib/20240715T114820#citeproc_bib_item_1))

-   피터 린츠

### 1 계산이론 개요

### 2 유한 오토마타

### 3 정규 언어와 정규 문법

### 4 정규 언어의 성질

### 5 문맥-자유 언어

### 6 문맥-자유 문법의 단순화와 정규형

### 7 푸시다운 오토마타

### 8 문맥-자유 언어의 성질

## 관련메타

-   [#형식언어](https://notes.junghanacs.com/meta/20240928T182650)

## BIBLIOGRAPHY

- 피터 린츠. 2017. *형식언어와 오토마타 - #계산이론 #정규문법*. Seoul. <https://www.kyobobook.co.kr/product/detailViewKor.laf?barcode=9791156005414>.
- Grib, John. n.d. “형식언어와 오토마타 노트.” Accessed May 30, 2022. <https://johngrib.github.io/wiki/study-formal-languages-and-automata/>.