Initial incomplete version of 2nd formal langs lection