Decidability Problems for Actor Systems