Deciding reachability problems in Turing-complete fragments of Mobile Ambients