Wenn Sie erweisen sich als Sprache entscheidbar ist, was machst du effektiv?

Question

Wenn Sie eine Sprache beweisen entscheidbar ist, was Sie eigentlich tun?

Answer 1

Wenn Sie zu fragen, wie es gemacht wird, ich bin nicht sicher, aber ich kann überprüfen.

Grundsätzlich ist entscheidbar die Sprache, für die man einen Algorithmus konstruieren (d.h. Turing Maschine), die für jeden endlichen Eingangshalt wird (mit der Annahme oder Zurückweisung des Eingangs). Unentscheidbar ist die Sprache, die nicht entscheidbar ist.

http://en.wikipedia.org/wiki/Recursive_language ... aber mehr zum Thema leicht gefunden werden kann. Auf diesem Link gibt es nur eine kurze Erwähnung des Wortes.

P. S. Also, wenn oben genannte Algorithmus konstruiert, sind Sie im Grunde, dass Sprache beweisen entscheidbar.