I think that SSS is a little easier to follow, while Mohri is more complete.
It was helpful to me to have both, as details skipped over in one proof were often highlighted or better explained in its corresponding description. For someone whose training was not theoretical computer science, SSS left me with a better understanding most of the time.
It was helpful to me to have both, as details skipped over in one proof were often highlighted or better explained in its corresponding description. For someone whose training was not theoretical computer science, SSS left me with a better understanding most of the time.