Lo unico que faltaria es ver para parabraMasCorta de un autómata no deterministico