Resultado de la búsqueda: un automata no deterministico reconoce entradas a partir de un alfabeto