---
title: "† #형식언어"
url: "https://notes.junghanacs.com/meta/20240928T182650"
author: "Junghan Kim"
date: "2024-09-28T18:26:00+09:00"
lastmod: "2025-06-18T00:00:00+09:00"
tags: ["formallanguage","meta"]
description: "형식언어를 규칙에 따라 만들어진 문자열의 체계로 보고, 수학기초론·오토마타·언어학과 잇는다."
---

> [!abstract] 이 노트에 대하여
> 
> 형식언어는 규칙에 따라 구성된 문자열의 집합이라는 관점에서 출발한다. 수학기초론과 오토마타, 계산가능성, 언어학으로 이어지는 핵심 연결을 묶어 둔다.

## 관련메타

-   [†#수리논리학 #기호논리학 #수학기초론](https://notes.junghanacs.com/meta/20240522T143732)
-   [0=45 † #language #언어](https://notes.junghanacs.com/meta/20250424T230131)
-   [†#대형 #언어모델](https://notes.junghanacs.com/meta/20250327T135707)
-   [†#메타언어](https://notes.junghanacs.com/meta/20241024T135637)
-   [†#언어학 #인지언어 #전산언어](https://notes.junghanacs.com/meta/20241010T062839)

## BIBLIOGRAPHY

- “형식 언어 Formal Language.” 2024. [https://ko.wikipedia.org/w/index.php?title=%ED%98%95%EC%8B%9D_%EC%96%B8%EC%96%B4&oldid=37534803](https://ko.wikipedia.org/w/index.php?title=%ED%98%95%EC%8B%9D_%EC%96%B8%EC%96%B4&oldid=37534803).
- Grib, John. n.d. “형식언어와 오토마타 노트.” Accessed May 30, 2022. <https://johngrib.github.io/wiki/study-formal-languages-and-automata/>.

## 형식 언어 Formal Language

([“형식 언어 Formal Language” 2024](https://notes.junghanacs.com/meta/20240928T182650#citeproc_bib_item_1))

-   수학, 컴퓨터 과학, 언어학에서 형식 언어(形式言語, formal language)란, 특정한 법칙들에 따라 적절하게 구성된 문자열들의 집합을 말한다. 이는 수학기초론, 언어학, 정보이론의 핵심적 개념이며, 계산가능성 이론과 밀접하게 관련되어 있다.
-   

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

([Grib n.d.](https://notes.junghanacs.com/meta/20240928T182650#citeproc_bib_item_2))

-   Grib, John

## KEYWORDS

-   [bib/ @맥레인 #수학형식과기능 #형식언어 '2024-06-18 #2025-05-23](https://notes.junghanacs.com/bib/20240618T125104)
-   [bib/ @피터린츠 #형식언어 #오토마타 #계산이론 #정규문법 '2024-07-15](https://notes.junghanacs.com/bib/20240715T114820)
-   [bib/ @정주희 #수리논리 #집합론 #머신러닝 #수학 '2024-09-08 #2026-08-05](https://notes.junghanacs.com/bib/20240908T145849)
-   [botlog/ §memex-kb: 형식 사이에서 정본을 지키는 문서 작업장 '2026-02-23 #2026-07-28](https://notes.junghanacs.com/botlog/20260223T040400)
-   [notes/ @힣: 베리코딩 - 형식증명 검증가능한 바이브코딩 - 책임 신뢰 경계 '2024-07-05 #2026-08-05](https://notes.junghanacs.com/notes/20240705T220648)
-   [notes/ #변환: #수학수식 #형식언어 '2024-08-29 #2025-05-16](https://notes.junghanacs.com/notes/20240829T193505)
-   [notes/ #LLM: #형식논리 #조직모드 '2024-11-29 #2024-11-29]
-   [notes/ #비형식논리: #전기차 vs. #인공지능 #위험성 #비교 - 거짓 동등성 '2025-05-29 #2025-05-29](https://notes.junghanacs.com/notes/20250529T154234)
-   [notes/ @힣: 글리치 토큰 — 형식의 경계가 무너진 자리와 학습 코퍼스의 하수구 '2025-10-30 #2026-08-10](https://notes.junghanacs.com/notes/20251030T011104)