Grammatiken: Unterschied zwischen den Versionen
K |
K |
||
| (4 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
[[Kategorie:Theoretische_Informatik]] | [[Kategorie:Theoretische_Informatik]] | ||
| + | [[Kategorie:LaTeX]] | ||
| − | + | [[Datei:LaTeX_G.gif]] (LaTeX-Formel: <span style="background-color:#eee;padding:2px 5px;">G\ = ( V\ , \Sigma , P\ , S\ )</span>) | |
| − | [[Datei:LaTeX_G.gif]] | ||
<math>V\ </math> endliche Menge der Variablen, nicht terminal Symbole<br/> | <math>V\ </math> endliche Menge der Variablen, nicht terminal Symbole<br/> | ||
| Zeile 20: | Zeile 20: | ||
<math> REC\ \ </math> Menge der rekursive aufzählbaren Sprachen<br/> | <math> REC\ \ </math> Menge der rekursive aufzählbaren Sprachen<br/> | ||
<math> RE\ \ </math> Menge der Sprachen<br/> | <math> RE\ \ </math> Menge der Sprachen<br/> | ||
| + | |||
| + | ==Links== | ||
| + | *[[LaTeX Befehle]] | ||
| + | *[https://www.codecogs.com/latex/eqneditor.php codecogs - LaTeX-Generator] | ||
Aktuelle Version vom 11. April 2019, 08:22 Uhr
(LaTeX-Formel: G\ = ( V\ , \Sigma , P\ , S\ ))
<math>V\ </math> endliche Menge der Variablen, nicht terminal Symbole
<math>\Sigma\ </math> endliche Menge von terminal Symbolen, Alphabet
<math>P\ </math> Regeln
<math>S\ </math> Startsymbol , <math>S\ </math>
Je nach Spracheklasse unterliegen Grammtikregeln einer gewissen Form.
<math> REG \subset DCFL \subset CFL \subset DCSL \subseteq CSL \subset REC \subset RE </math>
<math> REG\ </math> Menge der regulären Sprachen
<math> DCFL\ </math> Menge der deterministisch kontextfreien Sprachen
<math> CFL\ </math> Menge der kontextfreien Sprachen
<math> DCSL\ </math> Menge der deterministisch kontext-sensitiv Sprachen
<math> CSL\ </math> Menge der kontext-sensitiv Sprachen
<math> REC\ \ </math> Menge der rekursive aufzählbaren Sprachen
<math> RE\ \ </math> Menge der Sprachen
