Decidability problems for actor systems