Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics