Entropy Formula for Right-Resolving Sofic Shifts