1 // Default texts for the math documentator of the Faust compiler.
2 // Copyright (C) 2009 GRAME, Centre National de Creation Musicale
5 // German translation by Albert Gräf, Dept. of Music Informatics,
6 // Johannes Gutenberg University Mainz, Feb 15, 2010. (UTF8)
9 // double quotes are useful to visualize spaces and tabulations
10 // at the beginning or at the end of strings.
18 :copyright "Copyright"
25 :faustapply "Der Wert eines Faust-Programms ist das Resultat der Anwendung des Signalumwandlers, der durch den an den Bezeichner \texttt{process} gebundenen Ausdruck gegeben ist, auf Eingabe-Signale mit der durch $f_S$ gegebenen Abtastfrequenz."
27 :faustpresentation "Faust (\emph{Functional Audio Stream}) ist eine funktionale Programmiersprache, die für die synchrone Echtzeit-Verarbeitung und Synthese-Anwendungen entworfen wurde. Ein Faust-Programm ist eine Menge von Bindungen von Bezeichnern an Ausdrücke, die Signalumwandler bezeichnen. Ein Signal $s$ in $S$ bildet diskrete Zeitwerte $t \in \mathbb{Z}$ auf Werte $s(t) \in \mathbb{R}$ ab\footnote{Faust nimmt an, dass $\forall \, s \in S, \forall \, t \in \mathbb{Z}, s(t) = 0 \mathrm{\ falls\ } t < 0$.}, während ein Signalumwandler eine Funktion von $S^n$ in $S^m$ ist, wobei $n,m\in \mathbb{N}$. Siehe das Faust-Handbuch für weitere Informationen (\textsf{http://faust.grame.fr})."
29 :causality "Für jede aus einem Faust-Ausdruck abgeleitete mathematische Formel wird in diesem Dokument angenommen, das sie (in einer im\-ple\-men\-tie\-rungs\-ab\-hän\-gi\-gen Weise) durch den Faust-Compiler normalisiert wurde."
31 :blockdiagrams "Ein Blockdiagramm ist eine graphische Repräsentation der Faust-Bindung eines Bezeichners I an einen Ausdruck E; jeder Graph wird in eine mit I etikettierte Box gesetzt. Unterausdrücke von E werden rekursiv angezeigt, solange das gesamte Bild auf eine Seite passt."
33 :faustdocdir "Das \texttt{\faustdocdir/}-Verzeichnis kann auch die folgenden Unterverzeichnisse enthalten:"
35 " \item \texttt{cpp/} für Faust-kompilierten Code; "
36 " \item \texttt{pdf/} enthält dieses Dokument; "
37 " \item \texttt{src/} für alle verwendeten Faust-Quellen (auch Bibliotheken); "
38 " \item \texttt{svg/} für Blockdiagramme, die im Scalable Vector Graphics-Format kodiert sind (\textsf{http://www.w3.org/Graphics/SVG/});"
39 " \item \texttt{tex/} für die \LaTeX-Quellen dieses Dokuments."
42 :foreignfun "die "ff"-Präfix in einem Funktionsnamen steht für C++ "foreign function"."
45 "$\forall \, x \in \mathbb{R}$, "
46 " \begin{displaymath}"
48 " \left\{\begin{array}{cl}"
49 " \lfloor x \rfloor & \mbox{falls \,} x > 0 \\"
50 " \lceil x \rceil & \mbox{falls \,} x < 0 \\"
51 " 0 & \mbox{falls \,} x = 0 \\"
52 " \end{array}\right.."
55 :operators "Dieses Dokument verwendet die folgenden Ganzzahl-Operatoren: "
56 :optabtitle "\emph{Operator} & \emph{Name} & \emph{Semantik} \\"
57 :intplus "$\oplus$ & umkreistes Plus & ganzzahlige Addition \\"
58 :intminus "$\ominus$ & umkreistes Minus & ganzzahlige Substraktion \\"
59 :intmult "$\odot$ & umkreister Punkt & ganzzahlige Multiplikation \\"
60 :intdiv "$\oslash$ & umkreister Schrägstrich & ganzzahlige Division \\"
61 :intand "$\wedge$ & Wedge & bitweises \texttt{\&} (und) \\"
62 :intor "$\vee$ & Vee & bitweises \texttt{|} (oder) \\"
63 :intxor "$\veebar$ & unterstrichenes Vee & bitweises \texttt{\^} (exklusives oder) \\"
66 // Auto-documentation section.
68 :thisdoc "Dieses Dokument bietet eine mathematische Beschreibung des in der \texttt{\faustfilename}-Datei gespeicherten Faust-Programmtextes. Siehe die Anmerkungen in Abschnitt\,\ref{notice} (Seite\,\pageref{notice}) für weitere Einzelheiten."
70 :autoeqntitle "\section{Mathematische Definition von \texttt{process}}"
72 :autoeqntext "Das \emph{\faustprogname}-Programm wertet den durch \texttt{process} bezeichneten Signalumwandler aus, der wie folgt mathematisch definiert ist:"
74 :autodgmtitle "\section{Blockdiagramm von \texttt{process}}"
76 :autodgmtext "Das Blockdiagramm von \texttt{process} wird in Abbildung\,\ref{figure1} (Seite\,\pageref{figure1}) gezeigt."
78 :autontctitle "\section{Anmerkungen}"
80 :autontctext "Dieses Dokument wurde mit Faust Version \faustversion\ am \faustdocdate\ generiert."
82 :autolsttitle1 "\section{Liste des Faust-Programmcodes}"
84 :autolsttext1 "Dieser Abschnitt enthält die Auflistung des Faust-Programmcodes, der zur Generierung dieses Dokuments verwendet wurde."
86 :autolsttitle2 "\section{Listen des Faust-Programmcodes}"
88 :autolsttext2 "Dieser Abschnitt enthält die Auflistungen des Faust-Programmcodes, der zur Generierung dieses Dokuments verwendet wurde, inklusive Abhängigkeiten."
91 // Titles for each type of formulas.
93 :inputsigtitle1 "Eingabe-Signal"
94 :inputsigtitle2 "Eingabe-Signale"
95 :outputsigtitle1 "Ausgabe-Signal"
96 :outputsigtitle2 "Ausgabe-Signale"
97 :constsigtitle1 "Konstante"
98 :constsigtitle2 "Konstanten"
99 :uisigtitle1 "Benutzerschnittstellen-Eingabe-Signal"
100 :uisigtitle2 "Benutzerschnittstellen-Eingabe-Signale"
101 :intermedsigtitle1 "Zwischen-Signal"
102 :intermedsigtitle2 "Zwischen-Signale"
104 :lateqcomment "% Menge von Faust-Formeln (entsprechend einer <equation>-Markierung)."
105 :emptyformulafield "keines"
106 :defaultvalue "Defaultwert"
110 :rootlevel "(auf Top-Ebene)"
112 :dgmcaption "Blockdiagramm von"