Abstrakt
Článek popisuje rozšíření precedenčního grafu o přímé precedence, jejichž cílem je modelovat stavové přechody. Jsou zde uvedena pravidla pro udržování tranzitivního uzávěru takového grafu včetně formálních důkazů jejich správnosti a časové složitosti.