Definition. Finite Unambiguity 2025-02-12 Β· intrinsically-correct lambekd finite Define a grammar π΄ to be finitely unambiguous if π΄&π΄β π΄. There is likely a better name for this.