Which of the following is not decidable:
A) Given a Turing machine M, a string S and an integer k, M accepts S within k steps
B) Equivalence of two given turing machines
C) Language accepted by a given finite state machine is not empty
D) Language generated by a context free grammar is not empty