A node ν with label in Nℓ × Nr translates to
configuration , via its shortest path to the root. The
overlined symbols denote the integers between 0 and n corresponding to d1⋯dk′e1⋯em′ ∈ p +s*.
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.