Complex sentence: Program synthesis is closely related to the formal specification, which is the starting point of program synthesis.
Split into simpler sentences: Program synthesis is closely related to the formal specification. Formal specification is the starting point of program synthesis.