@23: Taky diky za odpoved a budu se muset zamyslet. Mozna na to koukam moc z pozice prakticke realizace veci ktere jsem videl a me zajimaji a ne z pohledu abstrakce.
Pokud mam frazovy strom jako strukturu ulozenou v pameti, tak veci jako kontrakce hran mi prijdou ze se daji provadet ciste zmenou pohledu na tu strukturu, ve stejnem smyslu jako jedna struktura muze byt videna jako seznam, strom, binarni strom, cons, mnozina, property list nebo jine veci - a tudiz reprezentaci frazoveho stromu se mi zda ze je i reprezentace AST, byt nemusi byt optimalni ani unikatni.
Trivialita presunu od __LINE__ k cislu ve frazovem stromu v ramci gramatiky mi stale neni zrejma.
Predpokladam ze ani u programovacich jazyku se netrva na AST coby stromu - minimalne DAG, v nekterych pripadech i cykly (byt to nemusi byt platny program, ale interpretovat a nekdy kompilovat muze jit).
ČLÁNKY DO MAILU