3.5.6. WindowsΒΆ

Window

Operators

Output sequence length

\(y = \window{f}{label}\ x\)

\(f: X \times \textrm{Opt}(X) \rightarrow Y\)

\(|y| = |x|\)

\(label: \one \rightarrow L\)