A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size

Jainendra K. Navlakha. A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size. BIT, 22(1):17-26, 1982.

Abstract

Abstract is missing.