Se agrega docu interna y se valida si el alfabeto es null o si no hay un estado se aceptacion
validaciones del automata si es vacio