Typ-0 Grammatik < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Ich habe die Aussage:
x [mm] \to [/mm] y sprich x produziert y, y ist in einen Schritt ableitbar von x [mm] \Rightarrow \exists r(u,v)\in [/mm] R [mm] \to x=(x_{1}ux_{2})\wedge y=(x_{1}vx_{2})\wedge x_{1},x_{2}\in V^{*}.
[/mm]
Kann man mir diesen logischen Ausdruck erklären und wozu man ihn verwendet.
Ich bin der Meinung das diese Definition erlaubt eine Regel der Typ-0 Grammatik so zu verändern, dass diese der Vorschrift der Typ-1 entspricht und damit aus der Typ-0 Grammatik eine Typ-1 Grammatik wird.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:21 Do 27.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
