Syntaktický diagram: Porovnání verzí

Smazaný obsah Přidaný obsah
m <source> -> <syntaxhighlight> (phab:T237267)
m typografie za použití AWB
Řádek 1:
'''Syntaktické diagramy''' jsou grafickou reprezentací [[bezkontextová gramatika|bezkontextových gramatik]]. Lze je považovat za grafický protějšek [[metajazyk]]ů jako [[Backusova-NaurovaBackusova–Naurova forma]] (BNF) nebo [[rozvinutá Backusova-NaurovaBackusova–Naurova forma]] (EBNF). Zatímco pro zpracování počítačem, např. při konstrukci [[překladač]]ů, jsou vhodnější textové reprezentace gramatik jako BNF nebo EBNF, pro člověka je zpravidla srozumitelnější grafická reprezentace například syntaktickými diagramy. K prvním použitím syntaktických diagramů patří kniha „Pascal User Manual“ od [[Niklaus Wirth|Niklause Wirtha]]<ref name="Wirth1974">[http://e-collection.library.ethz.ch/eserv/eth:3059/eth-3059-01.pdf Niklaus Wirth: ''Programming Language Pascal.'' (červenec 1973)]</ref> (diagramy začínají na stránce 47) a manuál interpretu příkazů [[CANDE]] firmy Burroughs.<ref name="burroughs71">http://bitsavers.org/pdf/burroughs/B6500_6700/5000318_B6700_CANDE_Oct72.pdf</ref> K novějším příkladům použití syntaktických diagramů patří kanonické definice [[JavaScript Object Notation|JSON]] formátů pro výměnu dat.
 
== Princip syntaktických diagramů ==
Řádek 9:
== Příklad ==
 
[[Backusova-NaurovaBackusova–Naurova forma|BNF]] reprezentace gramatiky pro [[Výraz (programování)|aritmetický výraz]] může vypadat takto:
 
<syntaxhighlight lang="bnf">
Řádek 20:
</syntaxhighlight>
 
Tuto gramatiku lze vyjádřit také v [[Rozvinutá Backusova-NaurovaBackusova–Naurova forma|EBNF]]:
 
<syntaxhighlight lang="ebnf">
Řádek 40:
 
* [[Rekurzivní přechodová síť]]
* [[Backusova-NaurovaBackusova–Naurova forma]] (BNF)
* [[Rozvinutá Backusova-NaurovaBackusova–Naurova forma]] (EBNF)
 
=== Reference ===