- if the number of begin states is different from one raise an error message - if not all the symbols of the alphabet are covered then raise a warning