IIm18-Kreativaufgabe5

Wiki-Quelltext dieser Seite.

Die Kreativ Aufgabe 5 befasst sich mit der der Codierung dem Parsen und Übersetzen von UTM´s.
==Teilaufgabe 1==
Definition der kfG mittels der TI-Werkzeuge Atocc oder FLACI.

<popup name="Umsetzung">
    ''1.'' mit AToCC: Definition der Grammatik aus der Aufgabenstellung.
    [[Bild:S3fagawa_Definition_kfgEdit.png]]
    ''2.'' mit FLACI: Definition der Grammatik.
    Die Definition in FLACI erfolgte analog.
</popup>

==Teilaufgabe 2==
Definition der Übergangsfunktion der Turingmaschine M.

<popup name="Umsetzung">
    Die Definition der TM wurde mittels AutoEDIT von AtoCC vorgenommen.
    [[Bild:S3fagawa_Definition_M.png]]
</popup>

==Teilaufgabe 3==
Codierung von M per Hand und Verifizierung von <M> und Variationen von <M>.

<popup name="Umsetzung der Codierung">
    Mittels der Grammatik und der vorgegebenen Kodierungsregeln der Aufgabenbeschreibung, wurde die Automatendefinition aus Aufgabe 2 in eine Folge 
    von Einsen und Nullen übersetzt.

    Übergang 1		Ü-Trenner
    1 0 11 0 11 0 11 0 11 0
    Übergang 2		Ü-Trenner
    11 0 1  0  1 0  1 0  1 0
    Übergang 3		Ü-Trenner
    11 0 11 0111 0 11 0 11 0
    Übergang 4		
    111 0 11 0  1 0 11 0  1 
    Trenner-Übergänge
    00
    Endzustand 1 E-Trenner	Endzustand 2
    1            0 		11

    <M>:
    10110110110111011101011101101011011011101101110110111011010100110111    
</popup>


<popup name="Verifizierung der Codierung">
    ''1'' Bei der Verifizierung mittels kfgEdit muss <M> vollständig aufgebaut werden können. Hierbei tritt jedoch bei kfgEdit ein Fehler auf, 
    dieser sagt, dass die eingegebene Satzform nicht ableitbar ist.
    [[Bild:S3fagawa_Ableitung_m.png]]
    ''2'' Bei der Verifizierung mittels FLACI wurde die <M> richtig abgeleitet.
    [[Bild:S3fagawa_Ableitungsbaum_von_M.png]]
    Auf der Abbildung ist nicht der vollständige Ableitungsbaum zu sehen dieser kann aber mittels der Definition aus Teilaufgabe 1 und <M> aus 
    Teilaufgabe 2 von FLACI generiert werden. Aufgrund der Tatsache, dass AtoCC den Ableitungsbaum nicht erstellen kann wurde der Rest
    der Kreativaufgabe mit FLACI fortgesetzt.
</popup>


<popup name="Umsetzung der Codierung">
    test    
</popup>

==Teilaufgabe 4==
Entwicklung eines Compiler der syntaktisch Korrekte Codierung von M in AtoCC Representation übersetzt. Als Parser soll ein LALR(1)-Parser für G entwickelt werden.

Erweiterung der TM