https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=RechtsreduktionRechtsreduktion - Versionsgeschichte2026-05-30T10:24:30ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Rechtsreduktion&diff=432507&oldid=previmported>Crazy1880: Veraltetes HTML (LintError)2022-02-08T17:39:50Z<p>Veraltetes HTML (<a href="/index.php/Spezial:LintErrors/obsolete-tag" class="new" title="Spezial:LintErrors/obsolete-tag (Seite nicht vorhanden)">LintError</a>)</p>
<p><b>Neue Seite</b></p><div>{{Belege fehlen}}<br />
'''Rechtsreduktion''' ist ein Begriff aus der [[Theoretische Informatik|Theoretischen Informatik]] und bezeichnet eine umgedrehte [[Rechtsableitung]].<br />
<br />
Beim Bottom-Up-[[Parser|Parsing]] werden keine Ableitungen vom Startsymbol der [[Formale Grammatik|Grammatik]] aus zur Eingabe berechnet, sondern Reduktionen von der Eingabe zum Startsymbol. Im Zusammenhang mit [[LR-Parser|LR(k)-Parsing]] spricht man deshalb bei einer umgedrehten Rechtsableitung <div class="center"><math>\alpha \beta w \Leftarrow_r \alpha A w</math></div> auch von einer Rechtsreduktion, bei der nach der Regel <math>A \rightarrow \beta</math> reduziert wurde.<br />
<br />
*<math>\alpha</math> repräsentiert den Parse-Stack unterhalb des Handles.<br />
*<math>\beta</math> ist das Handle.<br />
*<math>w</math> ist der noch nicht abgearbeitete Teil der Eingabe.<br />
<br />
[[Kategorie:Compilerbau]]</div>imported>Crazy1880