A new proof technique to establish equivalence of the original and the generated λ-free CFG with linear increase in size
Article
Navlakha, J. (1982). A new proof technique to establish equivalence of the original and the generated λ-free CFG with linear increase in size
. BIT, 22(1), 17-26. 10.1007/BF01934392
Navlakha, J. (1982). A new proof technique to establish equivalence of the original and the generated λ-free CFG with linear increase in size
. BIT, 22(1), 17-26. 10.1007/BF01934392