I did it! Here's a state diagram of a complete best-of-5-sets tennis match: checkmyworking.com/misc/tennis.svg (warning: massive SVG, will kill phones)