The CYK Algorithm