언어학,linguistics
natural_language 자연어, 자연언어, natural_language = https://en.wiktionary.org/wiki/natural_language
//위아래서로관계mk//
형식언어,formal_language
{
MKLINK
formalized_language와? { https://encyclopediaofmath.org/wiki/Formalized_language 형식화,formalization 언어,language }
형식체계,formal_system
형식문법,formal_grammar - 문법,grammar
프로그래밍언어,programming_language

Some links
Cone_(formal_languages)

https://encyclopediaofmath.org/wiki/Formal_language
Up: 형식,form 언어,language
}

query_language
문법
단어,word { https://encyclopediaofmath.org/wiki/Word }
{
기호,symbols들의 집합,set이 알파벳,alphabet이며, 알파벳의 유한 개의 순서쌍,ordered_pair(curr 튜플,tuple)을 단어,word라 한다.
이 용어를 사용할 때에는 (i.e. 순서쌍이 아닌 단어란 용어를 쓸 때에는) 다중순서쌍
을 그냥
으로 나타낸다.

i.e. ordered pair와 word는 본질은 같고 표기법,notation 차이.

ordered n-pair, n-tuple	(a1, …, an)
word (of length n)	a1 … an

단어는 그 길이,length로 구분할 수 있는데, 길이가 n인 단어들 전체의 집합을
으로 나타낸다. 따라서 모든 단어들의 집합은 다음과 같다.
저자에 따라 길이가 0인 공단어(수학백과 링크는 공집합,empty_set) ∅도 단어로 본다. (띄어쓰기 같은, 아무 형태가 없는 기호를 사용하기도 한다) 이 때는 모든 단어들의 집합은 다음과 같다.
(단어들의 합성)
단어를 합성(합성,composition?합성,synthesis? concatenation? 영어?)하여 새로운 단어를 얻을 수 있다.
(...)
단어들을 합성하는 함수
는 결합법칙,associativity을 만족시킨다. 또 공단어는 항등원,identity_element 역할을 한다.
(mk page 공단어,empty_word? { cmp 공문자열,empty_string })

(언어와 문법)
(여기서 말하는 건 좁은 뜻의 언어) (형식언어?)
알파벳 A를 사용하는 언어,language란, 모든 단어들의 집합 A^*의 한 부분집합,subset L을 뜻한다.
이 때 L을 서술하는 '효과적인 과정'을 문법,grammar이라고 한다.
형식체계,formal_system도 언어를 사용한다.
}

알파벳,alphabet { https://encyclopediaofmath.org/wiki/Alphabet }
{
기호,symbol들의 집합,set을 알파벳이라고 한다.
알파벳의 유한 개의 순서쌍,ordered_pair을 단어,word라 한다.

} // alphabet

문자열 or 스트링 string
문장,sentence (curr see 품사pumsa, 논리학,logic#s-2)
방언, 사투리, dialect

번역,translation

컴퓨터 언어의 구분

일단 레벨,level에 따라, // 다른분류들 추가TODO
상위언어 high-level language
하위언어 low-level language

대체적으로,
상위언어는 사람들이 읽고 쓰기 편한 언어,
하위언어는 컴퓨터가 이해하는 언어, 기계어. // machine_language or machine_code
상층부 언어는 그 아래 언어로 번역된다 - translation, compilation. 그 번역기는 (보통) 컴파일러,compiler. 기타 어셈블러,assembler 등

• ↑인간적
  
• pseudocode
  
• PL statement
  
• assembly language statement
  
• machine code / machine language
  
• ↓기계적
  
  

ADD:
기계어,machine_language - language보다는 instruction?
{
or machine_code ? http://foldoc.org/machine language redir to http://foldoc.org/machine code
사실 이건 language보다는 code가 더 어울리는?
topix:
opcode op_code operation_code
operand - parameter 의 일종 ?
rel. mklink:
instruction - opcode , operand 로 구성?
instruction_set
instruction_set_architecture ISA 명령어집합구조,instruction_set_architecture,ISA
프로세서,processor or 마이크로프로세서,microprocessor
CPU central_processing_unit
microcode
}
DSL,domain_specific_language // 특정영역에서... Up: 영역,domain?
어셈블리,assembly??? or 어셈블리어,assembly_language
{
어셈블러,assembler { http://foldoc.org/assembler (short) }

공개 서적

초보자를 위한 PC 어셈블리어 (PC Assembly Language)
한국어번역 pdf
지은이 : Paul A. Carter
번역자 : 이재범
2006년 7월 23일
https://kevin0960.tistory.com/entry/초보자를-위한-PC-어셈블리어-PC-Assembly-Language

보유서적

IBM PC 어셈블리 프로그래밍 5판
Peter Abel

http://foldoc.org/assembly language - aka assembly_code { A symbolic representation of the 기계어,machine_language of a specific processor. }
}

Sub:
자연어,natural_language vs 인공어,artificial_language
형식언어,formal_language
artificial_language , constructed_language (conlang) // artificial_language constructed_language
메타언어,metalanguage
{
metalanguage
https://foldoc.org/metalanguage
}

번역,translation 관련: 컴파일러,compiler 인터프리터,interpreter 어셈블러,assembler 링커,linker

언어모델 language_model or 언어모형,language_model - writing
abstract family of languages (AFL)
Abstract_family_of_languages
AFL_operations - AFL 연산,operation
regular_language
정규언어,regular_language maybe
regular language
regular_language
Regular_language
MKL 정규식,regular_expression,regexp

Twins:
https://planetmath.org/language
http://www.scholarpedia.org/article/Language