English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present a novel normal form for (total deterministic) macro treetransducers (mtts), called depth proper normal form. If an mtt is in thisnormal form, then it is guaranteed that each parameter of each state of the mttappears at arbitrary depth in the output trees of that state. Intuitively, ifsome parameter only appears at certain bounded depths in the output trees of astate, then this parameter can be removed by in-lining the corresponding outputpaths at each call site of that state. We use regular look-ahead in order todetermine which of the paths should be in-lined. As a consequence of changingthe lookahead, a parameter that was previously appearing at unbounded depths,may be appearing at bounded depths for some new look-ahead; for this reason,our construction has be iterated in order to obtain an mtt in depth-normalform. Using the normal form, we can decide whether the translation of an mtthas linear height increase or has linear size-to-height increase.

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers