Autômatos finitos não determinísticos