-
Weighted Specifications over Nested Words
International audience -
Visibly Pushdown Transducers with Well-nested Outputs
Visibly pushdown transducers (VPTs) are visibly pushdown automata extended with outputs. They have been introduced to model transformations of nested words, i.e. words...
