Difference between r1.22 and the current
@@ -2,9 +2,25 @@
pagename TBD, 후보들은 { 통사 구문 통사론 구문론 }
[[구문,syntax]] ... Srch:구문
Compare: [[문법,grammar]]
''PL에선 syntax를 문법으로 번역하는 경우가 많은데... 이유가?? [[문법,syntax]] page mk?''
----
<<tableofcontents>>
= Sub =
[[구문,syntax]] ... Srch:구문
대충
구문/통사: 언어표현의 구조 및 그 구조에 대한 각종 규칙들... 어떤 [[문장,sentence]]은 허락되고/옳고, 어떤 건 왜 아닌가? 이런거.
기계적인/수학적인 구조/규칙에 주목한다. [[의미,meaning]]까지 주목하지는 않는다. 의미까지 생각하는 것은 [[시맨틱스,semantics]].([[의미,semantics]] or [[의미론,semantics]] etc.)
-론 을 붙이면 그걸 대루는 학문 이름.
''PL에선 syntax를 문법으로 번역하는 경우가 많은데... 이유가?? [[문법,syntax]] page mk?''
참고: [[문법,grammar]]페이지 맨 위
참고: [[문법,grammar]]페이지 맨 위 ...에 따르면 '''syntax'''의 [[명세,specification]]가 grammar.
밀접+MKL
[[기호학,semiotics]]
[[기호,symbol]] - curr [[심벌,symbol]]
[[언어,language]]
[[언어학,linguistics]]
[[문장,sentence]]
[[단어,word]]
[[컴파일러,compiler]]
<<tableofcontents>>
= Sub =
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_category =,syntactic_category =,syntactic_category . syntactic_category
{
syntactic_category
Syntactic_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에 의해 주어짐.
}