Sample question of automata theory & formal language

A man at the left river bank have wolf, goat and cabbage.he want to cross the river (right river bank). there was a small boat that only can load him and 1 of the item at 1 time.but that man worry wolf will eat goat if he cross with cabbage first.he also worry goat will eat cabbage if he cross with wolf first. What model suitable for this case?DFA, NFA, CFG, PDA or Turing Machine.please justify..

This question wrecking my nerve in exam hall.my  face become red when submit answer sheet.
Hopefully i will not repeat this paper.
Huhhh!!!