검색 바로가기
본문 바로가기
용어목록
용어제안
공지사항
소개
통합검색
통합검색
용어사전
시사상식
TTA표준
기타
국립국어원
완전 일치
부분 일치
시작 단어
끝단어
색인
ㄱ
ㄴ
ㄷ
ㄹ
ㅁ
ㅂ
ㅅ
ㅇ
ㅈ
ㅊ
ㅋ
ㅌ
ㅍ
ㅎ
0~9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
용어사전
인쇄
수정 문의
관련뉴스
형식 언어, 形式言語, formal language
구조, 범위 등이 명확히 규정되어 있는 언어.
자연 언어
의 문법 구조를 수학적 측면에서 형식화한 것으로서
자연 언어
보다 훨씬 간단한 구조의
인공 언어
로 볼 수 있다. 형식 언어의 이론은 알골 등의
프로그램 작성 언어
에서 제반 문제로 응용되고 있다.
