IIm18-Kreativaufgabe5

Aus ProgrammingWiki

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">
       
</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