Let A = { < B,w > | B is a DFA that rejects the string w}. Suppose we are trying to construct a TM M that decide A as follows:

M = "On input < B,w > where B is a DFA that rejects the string w:

1. Do something
2. Do some other things"

What is wrong with the above machine?

	a.	It should be M = "On input < B,w > where B is a DFA and w is a string:..."
	b.	It should be M = "On input < B,w > where B is a DFA that accepts the string w: ..."
	c.	Nothing wrong with TM M.
	d.	The input format is incorrect.