Difference between r1.23 and the current
@@ -94,9 +94,9 @@
https://foldoc.org/syntactic+salt
}
mklink
[[mathematical_linguistics]]
}
[[syntactic_structure]]
[[syntactic_structure]] // = [[syntax_structure]]? - isa [[구조,structure]]
{MKL
[[구조,structure]]?[[mathematical_linguistics]]
@@ -105,10 +105,12 @@
[[syntactic_category]] =,syntactic_category =,syntactic_category . syntactic_category
{
WtEn:syntactic_category
'''syntactic category'''
WtEn:syntactic_category - [[Date(2024-06-17T04:29:19)]]현재 2018년 삭제기록만...
WpSp:Syntactic_category ?WpEn:Syntactic_category
}
isa [[범주,category]]?
}// syntactic category .... NN:"syntactic category"(보면 통사범주?) Ggl:"syntactic category" Bing:"syntactic category"
= Cmp =
Cmp: [[시맨틱스,semantics]]
pagename TBD, 후보들은 { 통사 구문 통사론 구문론 }
대충
구문/통사: 언어표현의 구조 및 그 구조에 대한 각종 규칙들... 어떤 문장,sentence은 허락되고/옳고, 어떤 건 왜 아닌가? 이런거.
대충
구문/통사: 언어표현의 구조 및 그 구조에 대한 각종 규칙들... 어떤 문장,sentence은 허락되고/옳고, 어떤 건 왜 아닌가? 이런거.
기계적인/수학적인 구조/규칙에 주목한다. 의미,meaning까지 주목하지는 않는다. 의미까지 생각하는 것은 시맨틱스,semantics.(의미,semantics or 의미론,semantics etc.)
-론 을 붙이면 그걸 대루는 학문 이름.Compare: 문법,grammar
PL에선 syntax를 문법으로 번역하는 경우가 많은데... 이유가?? 문법,syntax page mk?
밀접+MKL
기호학,semiotics
기호,symbol - curr 심벌,symbol
언어,language
언어학,linguistics
문장,sentence
단어,word
컴파일러,compiler
PL에선 syntax를 문법으로 번역하는 경우가 많은데... 이유가?? 문법,syntax page mk?
밀접+MKL
기호학,semiotics
기호,symbol - curr 심벌,symbol
언어,language
언어학,linguistics
문장,sentence
단어,word
컴파일러,compiler
1. Sub ¶
Sub:
AST abstract_syntax_tree { https://foldoc.org/abstract syntax tree }
first-order_abstract_syntax (FOAS)
higher-order_abstract_syntax (HOAS) { Higher-order_abstract_syntax = https://en.wikipedia.org/wiki/Higher-order_abstract_syntax }
ASN.1 { ASN.1 }
AST abstract_syntax_tree { https://foldoc.org/abstract syntax tree }
first-order_abstract_syntax (FOAS)
higher-order_abstract_syntax (HOAS) { Higher-order_abstract_syntax = https://en.wikipedia.org/wiki/Higher-order_abstract_syntax }
ASN.1 { ASN.1 }
Abstract_syntax
= https://en.wikipedia.org/wiki/Abstract_syntax
}
= https://en.wikipedia.org/wiki/Abstract_syntax
first-order_abstract_syntax (FOAS)와 - if: structure는 추상적이나 names(identifiers) are still concrete (그래서 name_resolution이 필요)
higher-order_abstract_syntax (HOAS?)로 나뉨. - if: the names themselves are abstract
"abstract syntax"higher-order_abstract_syntax (HOAS?)로 나뉨. - if: the names themselves are abstract
}
/// 위와 반대?
concrete_syntax =,concrete_syntax =,concrete_syntax . concrete_syntax
{
Concrete_syntax redir to Parse_tree (2023-07-21)
... concrete.syntax concrete abstract syntax
}
metasyntax =,metasyntax =,metasyntax . metasyntax
{
다른 syntax를 기술하기 위한 syntax.
concrete_syntax =,concrete_syntax =,concrete_syntax . concrete_syntax
{
Concrete_syntax redir to Parse_tree (2023-07-21)
... concrete.syntax concrete abstract syntax
}
metasyntax =,metasyntax =,metasyntax . metasyntax
{
다른 syntax를 기술하기 위한 syntax.
'syntax에 대한 syntax', hence the name.
Sub:
BNF 등. // metasyntax_notation ie 표기법,notation.
rel. metasyntactic_variable { https://foldoc.org/metasyntactic variable 변수,variable }
BNF 등. // metasyntax_notation ie 표기법,notation.
rel. metasyntactic_variable { https://foldoc.org/metasyntactic variable 변수,variable }
https://foldoc.org/metasyntax
Up: 메타,meta syntax( curr 신택스,syntax )
}
concrete_syntax
{
source_code 얘기. DEL OK
https://foldoc.org/concrete syntax
... concrete syntax
}
transfer_syntax
{
network transmission 얘기. DEL OK
https://foldoc.org/transfer syntax
... transfer syntax
}
syntactic_sugar
{
https://foldoc.org/syntactic sugar
https://en.wikipedia.org/wiki/Syntactic_sugar
}
syntactic_salt
{
https://foldoc.org/syntactic salt
}
Up: 메타,meta syntax( curr 신택스,syntax )
}
concrete_syntax
{
source_code 얘기. DEL OK
https://foldoc.org/concrete syntax
... concrete syntax
}
transfer_syntax
{
network transmission 얘기. DEL OK
https://foldoc.org/transfer syntax
... transfer syntax
}
syntactic_sugar
{
https://foldoc.org/syntactic sugar
https://en.wikipedia.org/wiki/Syntactic_sugar
}
syntactic_salt
{
https://foldoc.org/syntactic salt
}
syntactic_structure // = syntax_structure? - isa 구조,structure
{
MKL
구조,structure?
mathematical_linguistics
{
MKL
구조,structure?
mathematical_linguistics
syntactic_category =,syntactic_category =,syntactic_category . syntactic_category
{
syntactic category
syntactic_category - 2024-06-17현재 2018년 삭제기록만...
Syntactic_category ?
Syntactic_category
isa 범주,category?
}// syntactic category .... syntactic category(보면 통사범주?) syntactic category syntactic category
{
syntactic category
syntactic_category - 2024-06-17현재 2018년 삭제기록만...
Syntactic_category ?
Syntactic_category
isa 범주,category?
}// syntactic category .... syntactic category(보면 통사범주?) syntactic category syntactic category
4. Twins ¶
Syntax_(disambiguation)
// 논리,logic 논리학,logic 형식언어,formal_language 형식체계,formal_system - 의 syntax:
Syntax_(logic)
통사론
Syntax
https://foldoc.org/syntax
{
주어진 언어,language에서, 문법,grammar으로 기술된(described), 옳은(valid) 문자열,string의 구조,structure.
언어의 의미,meaning는 semantics에 의해 주어짐.
}
// 논리,logic 논리학,logic 형식언어,formal_language 형식체계,formal_system - 의 syntax:
Syntax_(logic)
통사론
Syntax
https://foldoc.org/syntax
{
주어진 언어,language에서, 문법,grammar으로 기술된(described), 옳은(valid) 문자열,string의 구조,structure.
언어의 의미,meaning는 semantics에 의해 주어짐.
}