Màquina d'estats finits no determinista generalitzada