TODO Try to break the read Check if the configuration is correct. s(initialState) is a subseteq of Q(states) Try to add string that has characters that don' belove to the alphabet