summaryrefslogtreecommitdiff
path: root/macros/mtex/documentation/mdocanhc.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/mtex/documentation/mdocanhc.tex')
-rw-r--r--macros/mtex/documentation/mdocanhc.tex204
1 files changed, 204 insertions, 0 deletions
diff --git a/macros/mtex/documentation/mdocanhc.tex b/macros/mtex/documentation/mdocanhc.tex
new file mode 100644
index 0000000000..fc7a7278e8
--- /dev/null
+++ b/macros/mtex/documentation/mdocanhc.tex
@@ -0,0 +1,204 @@
+\heading{Anhang C:\quad Darstellung der Syntax in \BNF}
+\abschnitt
+Anhang C enth"alt die vollst"andige Beschreibung der Syntax in
+\BNF. Die Nichtterminalzeichen sind alphabetisch aufgelistet,
+um das Aufsuchen bestimmter Nichtterminalsymbole zu erleichtern.
+Das Startsymbol $S$ der Grammatik ist \nl{music input}.
+\abschnitt
+
+
+\def\T{|}
+$$\align
+\nm{accid} ::=& \nm{accidental} \nm{simple note} \T
+ \nm{octave} \nm{accidental}
+ \nm{simple note} \T\\
+ &\nm{accidental} \nm{octave} \nm{simple note}\\
+\nm{accidental} ::=& {\bf x} \T {\bf{xx}} \T {\bf{b}} \T {\bf{bb}} \T
+ {\bf{n}}\\
+\nm{articulation group} ::=&
+\bs{\bf stac} \nm{melody} \bs{\bf noaccent}\T
+\bs{\bf staccatissimo} \nm{melody} \bs{\bf noaccent}\T\\
+& \bs{\bf tenuto} \nm{melody} \bs{\bf noaccent}\\
+\nm{barline} ::=& \strich\ \T\ \strich\strich\ \T
+\ \gleich\ \T\ \strich\strich\dpkt\ \T
+ \ \dpkt\strich\strich\ \T
+ \ \dpkt\strich\strich\dpkt
+ \\
+\nm{begin} ::=& {\hbox{\bf!!}} \T \bs{\bf beginsong}\\
+\nm{block} ::=& \nm{melody} \T \nm{two} \T \nm{vocal}\\
+\nm{caesura} ::=& {\bf 0p}\\
+\nm{change} ::=& \nm{clef} \T \nm{signature} \T \nm{metre} \T \nm{change}
+ \nm{change}\\
+\nm{chord} ::=& \bs{\bf chord}\lk%
+ \nm{several notes}\rk \T \nm{chord} \nm{chord}\\
+\nm{clef} ::=& \bs{\bf treble} \T \bs{\bf bass} \T \bs{\bf baritone} \T
+ \bs{\bf alto} \T \bs{\bf mezzo} \T \bs{\bf soprano} \T
+ \bs{\bf tenor} \\
+\nm{digit} ::=& {\bf 0} \T {\bf 1} \T
+ {\bf 2} \T {\bf 3} \T {\bf 4} \T {\bf 5} \T {\bf 6} \T {\bf 7}
+ \T {\bf 8} \T {\bf 9}\\
+\nm{dot} ::=& {\hbox{\bf.}}\\
+\nm{duration} ::=& {\bf 1} \T
+ {\bf 2} \T {\bf 4} \T {\bf 8} \T {\bf 6} \T {\bf 3} \T {\bf 5}
+ \T {\bf 7} \\
+\nm{end} ::=& {\hbox{\bf!!}} \T \bs{\bf endsong}\\
+\nm{explanation} ::=& \bs{\bf text}\lk\nm{text}\rk \T
+ \bs{\bf text}\lk\nm{place} \nm{text}\rk \T\\
+ &\nm{recital} \T
+ \lk\nm{place} \nm{recital}\rk\\
+\nm{group} ::=& \nm{simple nested group} \T
+ \nm{mismatched group} \T\\
+ &\nm{articulation group} \T \nm{group} \nm{group}
+ \\
+\nm{heading} ::=& \bs{\bf title}\lk\nm{text}\rk \T
+ \bs{\bf poet}\lk\nm{text}\rk \T
+ \bs{\bf composer}\lk\nm{text}\rk\\
+\nm{letter} ::=& {\bf a} \T
+ {\bf b} \T {\bf c} \T {\bf d} \T {\bf e} \T {\bf f} \T {\bf g}
+ \T {\bf h} \T {\bf i} \T {\bf j} \T {\bf k} \T {\bf l}
+ \T {\bf m} \T {\bf n} \T {\bf o} \T {\bf p} \T {\bf q} \T {\bf r}
+ \T {\bf s} \T {\bf t} \T {\bf u} \T {\bf v} \T {\bf w} \T {\bf x}
+ \T {\bf y} \T {\bf z} \T \\
+ &{\bf A} \T {\bf B} \T {\bf C} \T {\bf D}
+ \T {\bf E} \T {\bf F} \T {\bf G} \T {\bf H} \T {\bf I} \T {\bf J}
+ \T {\bf K} \T {\bf L} \T {\bf M} \T {\bf N} \T {\bf O} \T {\bf P}
+ \T {\bf Q} \T {\bf R} \T {\bf S} \T {\bf T} \T {\bf U} \T {\bf V}
+ \T {\bf W} \T {\bf X} \T {\bf Y} \T {\bf Z}\\
+\nm{melody} ::=& \nm{primitives} \T \nm{group} \T \nm{change} \T
+ \nm{explanation}\\
+\nm{metre} ::=& \bs{\bf meter} \lk\nm{number} \slash \nm{number}\rk \T
+ \bs{\bf allabreve}
+ \T \bs{\bf hC} \T \bs{\bf dC}\\
+\nm{mismatched group} ::=& \bs{\bf group}\lk\nm{primitives}\rk
+ \nm{special group} \T\\
+ &\bs{\bf group}\lk%
+ \nm{chord}\rk \nm{special group}\\
+\nm{music input} ::=& \nm{begin} \nm{piece} \nm{end}
+\endalign$$
+\vfill\eject
+$$\align
+\nm{nested group} ::=& \nm{primitives} \T \nm{explanation} \T
+\nm{change} \T\\
+&\nm{simple nested group} \T \nm{articulation group} \T\\
+ &\nm{nested group} \nm{nested group}
+\\
+\nm{note} ::=& \nm{simple note} \T
+ \nm{note specification} \nm{simple note}
+\\
+\nm{note specification} ::=& \nm{octave} \T \nm{accidental} \T
+ \nm{duration} \T \nm{punctuation} \T\\
+ &\nm{note specification} \nm{note specification}\\
+\nm{number} ::=& \nm{digit} \T \nm{digit} \nm{number}\\
+\nm{octave} ::=& {\hbox{\bf,}} \T {\hbox{\bf{,,}}} \T
+ {\hbox{\bf{,,,}}} \T {\hbox{\bf `}}
+ \T {\hbox{\bf{`}{`}}} \T
+ {\hbox{\bf{{`}{`}{`}}}} \T {\hbox{\bf{{`}{`}{`}{`}}}}\\
+\nm{omission} ::=& \slash\\
+\nm{piece} ::=& \nm{several system} \T
+ \nm{system} \T \nm{heading} \nm{piece}\\
+\nm{place} ::=& \bs{\bf\us}\T
+\bs{\bf\us l} \T \bs{\bf\us c} \T \bs{\bf\us r} \T
+\bs{\bf\us n} \T \bs{\bf\us v} \T \bs{\hbox{\bf\os\ }} \T
+\bs{\hbox{\bf\os\ l}} \T
+ \bs{\hbox{\bf\os\ c}} \T \bs{\hbox{\bf\os\ r}} \T
+ \bs{\hbox{\bf\os\ n}} \\
+\nm{preliminary data} ::=& \nm{voice} \T \nm{clef} \T \nm{signature} \T
+ \nm{metre} \T
+ \nm{explanation} \T\\
+ &\nm{preliminary data} \nm{preliminary data}\\
+\nm{primitives} ::=& \nm{note} \T
+ \nm{rest} \T \nm{caesura} \T \nm{barline}
+ \T \nm{primitives} \nm{primitives}\\
+\nm{punctuation} ::=& \nm{dot} \T \nm{dot} \nm{punctuation} \\
+\nm{recital} ::=&
+\bs{\bf dacapo} \T \bs{\bf dalsegno} \T
+ \bs{\bf unisono} \T \bs{\bf cantusfirmus} \T
+ \bs{\bf crescendo} \T\\
+& \bs{\bf decrescendo} \T \bs{\bf diminuendo} \T
+ \bs{\bf forte} \T
+ \bs{\bf fortissimo} \T\\
+& \bs{\bf fortissimoposs} \T \bs{\bf mezzoforte} \T
+ \bs{\bf mezzopiano} \T
+ \bs{\bf piano} \T\\
+& \bs{\bf pianissimo} \T
+ \bs{\bf pianissimoposs} \T
+ \bs{\bf fortepiano} \T
+ \bs{\bf forzato} \T\\
+& \bs{\bf rinforzando} \T \bs{\bf sforzato} \T
+ \bs{\bf sforz} \T
+ \bs{\bf decr} \T \bs{\bf rallentando} \T\\
+& \bs{\bf ritardando} \T \bs{\bf ritenuto} \T
+ \bs{\bf tr} \T \bs{\bf staccato} \T
+\bs{\bf fine} \T
+ \bs{\bf tacet} \\
+\nm{rest} ::=& \nm{rest specification} {\bf p} \T {\bf{p}} \\
+\nm{rest specification} ::=& \nm{duration} \T
+ \nm{punctuation} \T \nm{rest specification}
+ \nm{rest specification}\\
+\nm{several accid} ::=& \nm{accid} \T \nm{accid} \nm{several accid}\\
+\nm{several notes} ::=& \nm{note} \T \nm{note} \nm{several notes}\\
+\nm{several system} ::=& \bs{\bf system}
+ \lk\nm{system}\rk \T\\
+ &\bs{\bf system} \lk\nm{system}\rk
+ \nm{several system}
+\\
+\nm{sign} ::=&
+ \bs{\bf C} \T \bs{\bf G} \T \bs{\bf D} \T \bs{\bf A} \T \bs{\bf E}
+ \T \bs{\bf H} \T \bs{\bf Fis} \T
+ \bs{\bf Cis} \T\\
+ &\bs{\bf a} \T \bs{\bf e} \T
+ \bs{\bf h} \T \bs{\bf fis} \T
+ \bs{\bf cis} \T \bs{\bf gis} \T \bs{\bf dis} \T
+ \bs{\bf ais} \T\\
+ &\bs{\bf Ces} \T
+ \bs{\bf Ges} \T \bs{\bf Des} \T \bs{\bf As} \T
+ \bs{\bf Es} \T \bs{\bf B} \T
+ \bs{\bf F} \T\\
+ &\bs{\bf as} \T \bs{\bf es} \T
+ \bs{\bf b} \T \bs{\bf f} \T
+ \bs{\bf c} \T \bs{\bf g} \T \bs{\bf d}
+\endalign$$
+\vfill\eject
+$$\align
+\nm{signature} ::=& \bs{\bf signature}\lk\nm{several accid}\rk \T
+ \nm{sign}\\
+\nm{sign number} ::=& \nm{number} {\hbox{\bf-}} \nm{number} \T
+ \nm{sign number} {\bf,} \nm{number} {\hbox{\bf-}} \nm{number}
+\\
+\nm{simple nested group} ::=& \bs{\bf beam}\lk%
+ \nm{nested group}\rk \T
+ \bs{\bf slur}\lk\nm{nested group}\rk \T\\
+ &\bs{\bf cresc}\lk\nm{nested group}\rk \T
+ \bs{\bf descresc}\lk\nm{nested group}\rk\\
+ &\bs{\bf chord}\lk\nm{several notes}\rk\\
+\nm{simple note} ::=& {\bf c} \T {\bf d} \T {\bf e} \T {\bf f}
+ \T {\bf g} \T {\bf a} \T {\bf h} \\
+\nm{songtext} ::=& \nm{text} \T
+ \nm{place}\nm{text} \T
+ \nm{omission} \T
+ \nm{songtext} \nm{songtext}\\
+\nm{special character} ::=&\ {\hbox{\bf,}}\ \T\ {\hbox{\bf;}}\ \T
+ \ {\hbox{\bf.}}\ \T \ {\hbox{\bf!}}\ \T \ \blank\ \T
+ \ {\hbox{\bf?}}\ \T\ {\hbox{\bf*}}\ \T\ {\hbox{\bf+}}\ \T
+ \ {\hbox{\bf-}}\ \T \ {\hbox{\bf`}}\ \T
+ \ {\hbox{\bf'}}\ \T\ \bs\ \T\ {\hbox{\bf\~\ }}\\
+\nm{special group} ::=& \bs{\bf gslur}\lk\nm{sign number}\rk \T
+ \bs{\bf gbeam}\lk\nm{sign number}\rk \T\\
+ &\bs{\bf gcresc}\lk\nm{sign number}\rk \T
+ \bs{\bf gdecresc}\lk\nm{sign number}\rk \T\\
+ &\nm{special group}\nm{special group}\\
+\nm{system} ::=& \nm{block} \T \nm{preliminary data} \nm{block}\\
+\nm{text} ::=& \nm{word} \T \nm{special character} \T
+ \nm{text} \nm{text}\\
+\nm{two} ::=& \bs{\bf two}\lk\nm{melody}\rk \lk%
+ \nm{melody}\rk\\
+\nm{vocal} ::=& \bs{\bf vocal}\lk\nm{melody}\rk \lk%
+ \nm{songtext}\rk \T
+\bs{\bf vocal}\lk\nm{two}\rk \lk%
+ \nm{songtext}\rk\\
+\nm{voice} ::=& \bs{\bf voice}\lk\nm{text}\rk\\
+\nm{word} ::=& \nm{letter} \T \nm{digit} \T \nm{letter} \nm{word} \T
+ \nm{digit} \nm{word}
+\endalign$$
+\vfill\eject
+