Depth Limited Search (DLS) 1: Input: a start state so for each states the successors of s 3: a test goal(s) checking whether s is a goal state non-negative integer Depth Limit 6: Set frontier := {so) 7: while frontier is not empty do 8: select and remove from frontier the path $)....Sk added 9: last to frontier 10: if goal(sk) then 11: return so...sk (and terminate) 12: else if k S not goal {SA, SB, SC} 1 -> SC not goal {SA, SB, SCF} 2 -> SCF not goal {SA, SB SCFG} 3 > SCFG goal {SA, SB} Terminate Please check if my expansion for the frontiers is right. Thanks