diff options
Diffstat (limited to 'macros/mtex/documentation/mdocanhc.tex')
-rw-r--r-- | macros/mtex/documentation/mdocanhc.tex | 204 |
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 + |