S1: Infinite union of regular languages can be context-free. True {ab,aabb,aaabbb......} = {anbn | n>0}
S2: Language obtained after applying Kleen closure on a regular language will always be regular and infinite. No since {phi}* = null only
S1: is true only.