떡밥위키
최근 변경
최근 토론
특수 기능
파일 올리기
작성이 필요한 문서
고립된 문서
고립된 분류
분류가 되지 않은 문서
편집된 지 오래된 문서
내용이 짧은 문서
내용이 긴 문서
차단 내역
RandomPage
라이선스
IP 사용자
216.73.216.107
설정
다크 모드로 전환
로그인
서버 점검 공지
|
개인정보 처리방침 개정 안내
형식 언어
(r1 문단 편집)
닫기
RAW 편집
미리보기
== 개요 == 형식 언어(形式言語, formal language)는 알파벳 및 특수 기호를 포함하는 예약된 기호열 집합에 기반하여 결합(추론 또는 연산)을 사용해, 구조와 범위를 무결성에 기반하여 명확하게 규정하고 정의한 인공적 언어(aritificial language)를 말한다. 형식 언어 이론(形式言語理論, formal language theory)은 형식 언어 문법에 대해 다루는 논리적 이론이다. [[논리학]], [[언어학]], [[수학]], [[컴퓨터과학]] 등에서 주로 다루며, 컴퓨터 [[프로그래밍 언어]]와 수학의 기호 체계는 형식 언어의 대표적인 예다.
요약
문서 편집을
저장
하면 당신은 기여한 내용을
CC BY-NC-SA 2.0 KR
또는
기타 라이선스 (문서에 명시된 경우)
로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다. 이
동의는 철회할 수 없습니다.
비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(216.73.216.107) 주소 전체가 영구히 기록됩니다.
저장
사용자
216.73.216.107
IP 사용자
로그인
회원가입
최근 변경
[불러오는 중...]
최근 토론
[불러오는 중...]