Synthesis of Σ-automata specified in the first-order logical languages LP and LF - A. N. Chebotarev (Cybernetics and Systems Analysis, 2018)