Turing Maschine

[Wirtschaftsinformatiker]

Ist meine Lösung richtig?
Der Prof hat gesagt, dass es nicht vollständig ist und Fehler hat. Kann mir einer helfen? Er meinte auch für 2. Teil kann man auch Satz von Rice verwenden.

 

[mihe7]

Ich werde Dir hier keine Lösung posten, aber ich habe Dich im anderen Thread schon zweimal darauf hingewiesen, dass Du erst einmal die Frage beantworten könntest, wann L aufzählbar ist... (Definition)

 

[Wirtschaftsinformatiker]

Ich werde Dir hier keine Lösung posten, aber ich habe Dich im anderen Thread schon zweimal darauf hingewiesen, dass Du erst einmal die Frage beantworten könntest, wann L aufzählbar ist... (Definition)

Eine Sprache L ist aufzählbar, wenn es eine Turingmaschine M gibt, die L akzeptiert, also eine mit L(M) = L

 

[mihe7]

Folglich brauchst Du eine entsprechende Turingmaschine A, die genau die in L genannten Turingmaschinen akzeptiert. Wie geht das?

 

[Wirtschaftsinformatiker]

Folglich brauchst Du eine entsprechende Turingmaschine A, die genau die in L genannten Turingmaschinen akzeptiert. Wie geht das?

Folglich brauchst Du eine entsprechende Turingmaschine A, die genau die in L genannten Turingmaschinen akzeptiert. Wie geht das?

A=L(M)

 

[mihe7]

Stichwort: Simulieren einer TM

 

[Wirtschaftsinformatiker]

Stichwort: Simulieren einer TM

Ich weiß nicht, wie ich eine TM simulieren kann

 

[mihe7]

Schau mal in Deine Unterlagen, da solltest Du was dazu finden. Ich denke aber nicht, dass Du das im Detail angeben musst.

 

[Wirtschaftsinformatiker]

Schau mal in Deine Unterlagen, da solltest Du was dazu finden. Ich denke aber nicht, dass Du das im Detail angeben musst.

 

[Wirtschaftsinformatiker]

Ist es richtig?

 

[mihe7]

Sieht gut aus.