#noindex
[[형식언어,formal_language]]를 정의하는 방법.

MKL
WtEn:grammar_formalism

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으로 분류.

Rel
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
 {
 '''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"

----
<<tableofcontents>>

= CFG =
[[문맥자유문법,context-free_grammar,CFG]]

= CSG =
문맥 의존 문법
문맥 민감 문법

[[문맥인식문법,context-sensitive_grammar,CSG]]
{
문맥인식문법 context-sensitive grammar CSG

http://www.aistudy.com/linguistics/context_sensitive_grammar.htm
[[WpKo:문맥_의존_문법]]
[[WpEn:Context-sensitive_grammar]]

Up: [[형식문법,formal_grammar]]
}

= bottom-up grammar =
https://proofwiki.org/wiki/Definition:Formal_Grammar/Bottom-Up

----

WpKo:형식_문법
WpEn:Formal_grammar
{
grammar란: [[알파벳,alphabet]]으로 이루어진 [[문자열,string]]
 이 언어 [[syntax]]에 맞는지 확인하는 방법
 을 언어 syntax에 맞게 만들어 내는 방법
과 관련.
}
https://encyclopediaofmath.org/wiki/Grammar,_formal
https://planetmath.org/formalgrammar
https://everything2.com/title/formal+grammar
https://proofwiki.org/wiki/Definition:Formal_Grammar

http://www.aistudy.com/linguistics/formal_grammar.htm

같은 formal이 언급: [[형식체계,formal_system]]

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