上述の規則群はlkの本質を変えることなく修正可能である。