Structuring Operational Semantics: Simplification and Computation