A TM is recursive iff it halts for every input string (either in accept or reject state).
Here, a computable function is defined in a similar way.
PREVIOUS YEAR SOLVED PAPERS MCQ - GATE 2017 Shift 1
Reentrant property is provided, so that a process who owns a lock, can acquire same lock multiple times. Here it is non-reentrant as given, process cant own same lock multiple times. So if a thread tries to acquire already owned lock, will get blocked, and this is a deadlock.
Hence correct answer is x=1, y=1.
(p → q) → r is contradiction only when
And now for the above combination, the expression is always true when q is true. When q is false in the above combination (third one) will be false.
| P | q | r |
| T | T | F |
| F | T | F |
| F | F | F |


Shortest path from B to C are two B-A-C and B-C both of weight '3'