The paper is devoted to the consideration of the problem of formal specifications implementability and program synthesis.