Chomsky-normal-form derivation length
ID: chomsky-normal-form-derivation-length
A Chomsky-normal-form parse tree for a word of length has terminal productions and binary productions. Every derivation represented by the tree therefore has exactly steps.
New to topics? Read the docs here!