Startseite
Forum
Fragen
Suchen
Über Uns
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Berechenbarkeits- und Komplexitätstheorie
»
Zeigen Sie das Sprache rekursive aufzählbar
» Antwort erstellen
» Hallo Gast [
Anmelden
|
Registrieren
]
Antwort erstellen
Benutzername:
(du bist
nicht
eingeloggt!)
Thema:
Nachricht:
HTML ist
nicht
erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt
Smilies:
21 von 33
einfacher Modus
erweiterter Modus
FONT
Arial
Comic
Courier New
Tahoma
Times New Roman
Verdana
SIZE
winzig
klein
mittel
groß
riesig
COLOR
sky blue
royal blue
blue
dark-blue
orange
orange-red
crimson
red
firebrick
dark red
green
limegreen
sea-green
deeppink
tomato
coral
purple
indigo
burlywood
sandy brown
sienna
chocolate
teal
silver
aktuellen Tag schließen
alle Tags schließen
[quote][i]Original von Generator12[/i] Zeigen Sie das die Sprache L := { <M> | M hält für mindestens eine Eingabe } rekursive aufzählbar ist. 1) M gültige Gödelnummer 2) M' simuliert M mit Eingabe w, prüfe ob qaccept/qreject erreicht wird. 1. Fall) Falls qaccept/qreject erreicht wird, so akzeptiere. 2.Fall) Falls keine haltender Zustand erreicht wird, so lehne ab. Könnte man das so zeigen? Oder stimmt es so nicht? LG[/quote]
Dateianhänge
Spamschutz:
Text aus Bild eingeben
URLs automatisch umwandeln:
fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen:
Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen
Der letzte Beitrag
Generator12
Zeigen Sie das Sprache rekursive aufzählbar
Zeigen Sie das die Sprache
L := { <M> | M hält für mindestens eine Eingabe }
rekursive aufzählbar ist.
1) M gültige Gödelnummer
2) M' simuliert M mit Eingabe w, prüfe ob qaccept/qreject erreicht wird.
1. Fall) Falls qaccept/qreject erreicht wird, so akzeptiere.
2.Fall) Falls keine haltender Zustand erreicht wird, so lehne ab.
Könnte man das so zeigen? Oder stimmt es so nicht?
LG
© by
Informatikerboard.de
Forensoftware:
Burning Board
, entwickelt von
WoltLab GmbH