a$)$ Define what is meant by an atomic formula in first order logic. b$)$ Define what is

meant by a first order formula. c$)$ Give at least $2$ laws of first order logic containing

at least one quantifier each.

a$)$ Define what is meant by a configuration of a two tape deterministic Turing

machine $M=($:$Q,,,,q_0,q_a,q_r$:$).$ b$)$ Give an explanation for all components

$($what is the current state, what are the contents of the tapes and where the heads

are$).$ c$)$ Assume, that babain${}^{**}.$ Give the starting configuration of $M$ for the input

baba.