For a non-ambiguous language in which all productions for a non-terminal produce distinct strings: the string produced by one production will not start with the same symbol as the string produced by another production.
Pentru un lumbaj neambiguu, în care toate producțiile unui neterminal sunt cuvinte distincte: cuvântul generat de o producție nu începe cu același simbol cu care începe alt cuvânt generat de orice altă producție.