non-deterministic langs