Fuzzy linear automata testing

The article deals with the problem of synthesis of tests for fuzzy linear automata (FLA). Now several varieties of FLA are used as models of real fuzzy systems. The article introduces and investigates one particular type of FLA. The fuzziness of the behavior of the automaton is suggested to appear due to the use of elements of a special type in the characteristic matrices. Each such element is a certain set of elements of the field over which the FLA is given. During the functioning of the FLA (at each clock cycle) an alternative matrix element is replaced randomly by one of the elements of the alternative set. The notion of the FLA acceptable fault is introduced. Substantially it means replacing the alternative elements of matrices by one element of the sets corresponding to them. The method of the tests synthesis for detecting faults of this type is proposed. This method reduces to solving systems of linear algebraic equations. The method is oriented to $\mu$-definite and synchronized FLA and synthesizes tests of sufficiently short length (not more than FLA dimension).