Verificación de que exista un elemento en el alfabeto o en los estados de aceptación