Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP - A. N. Chebotarev (Cybernetics and Systems Analysis, 2019)