This is a translated article into Russian. The original: https://www.cs.utexas.edu/~bornholt/post/synthesis-explained.html - View it on GitHub