Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic - A. N. Chebotarev (Cybernetics and Systems Analysis, 2017)