Invia SMS: Teória vyčísliteľnosti