V tomto článku představujeme formální model pro stratifikační závislostní popis přirozeného jazyka. Tento model je motivován elementární metodou redukční analýzy, která umožňuje zachytit závislostní strukturu věty.
Model je založen na obohacených restartovacích automatech, které dané větě (na základě možných redukcí) přiřazují množinu paralelnách závislostních struktur. Tyto struktury zachycují korespondenci mezi závislostními stromy pro různé roviny syntaxe, jmenovitě povrchové a hloubkové syntaxe.