형식언어,formal_language를 정의하는 방법.
Sub:
생성문법,generative_grammar - 문법으로부터 문자열,string을 생성
해석문법,analytic_grammar - 문자열이 특정 언어에 포함되는지를 판단 ... aka analytic_formal_grammar ? chk
촘스키_위계,Chomsky_hierarchy에서 형식문법을 0~3 type으로 분류.
생성문법,generative_grammar - 문법으로부터 문자열,string을 생성
해석문법,analytic_grammar - 문자열이 특정 언어에 포함되는지를 판단 ... aka analytic_formal_grammar ? chk
촘스키_위계,Chomsky_hierarchy에서 형식문법을 0~3 type으로 분류.
Rel
Lindemayer_system / L-system
{
tmp bmks en
https://news.ycombinator.com/item?id=38331750
https://vsekar.me/blog/log_coffee/chapter_0.html
Lindemayer_system / L-system
{
tmp bmks en
https://news.ycombinator.com/item?id=38331750
https://vsekar.me/blog/log_coffee/chapter_0.html
MKL
string_rewriting_system SRS
LindenmayerSystem
} // Lindemayer system Lindemayer system
string_rewriting_system SRS
{
string rewriting system
Rel
string_rewriting
StringRewritingSystem
} // string rewriting system string rewriting system
L-systemstring rewriting system
Rel
string_rewriting
StringRewritingSystem
} // string rewriting system string rewriting system
LindenmayerSystem
} // Lindemayer system Lindemayer system