형식문법,formal_grammar

Difference between r1.37 and the current

@@ -2,4 +2,7 @@
[[형식언어,formal_language]]를 정의하는 방법.
MKL
WtEn:grammar_formalism

Sub:
[[생성문법,generative_grammar]] - 문법으로부터 [[문자열,string]]을 생성
@@ -75,5 +78,4 @@

Up: [[문법,grammar]] ?
[[형식,form]]?


형식언어,formal_language를 정의하는 방법.


Sub:
생성문법,generative_grammar - 문법으로부터 문자열,string을 생성
해석문법,analytic_grammar - 문자열이 특정 언어에 포함되는지를 판단 ... aka analytic_formal_grammar ? chk
다른 ko 번역: 분석문법 (aistudy)
parsing_expression_grammar (PEG)
WpEn:Parsing_expression_grammar

촘스키_위계,Chomsky_hierarchy에서 형식문법을 0~3 type으로 분류.


MKL
string_rewriting_system SRS
{
string rewriting system
Rel
string_rewriting
MW:StringRewritingSystem
} // string rewriting system Ggl:string rewriting system

WpKo:L-system
MW:LindenmayerSystem
} // Lindemayer system Ggl:Lindemayer system



[edit]

1. CFG

[edit]

2. CSG

[edit]

3. bottom-up grammar