Decidability and Reducibility Flashcards
1
Q
What is a decidable language?
A
There is a Turing machine that always halts with this language
1
Q
What is the halting problem?
A
Is it possible to write a program that determines whether another program halts?
2
Q
What are the three things under decidable?
A
Acceptance, Emptiness and Equivalence
3
Q
A