El dönteni, hogy egy (, ), * karakterekből álló S string érvényes-e. A * jelentése lehet (, ) vagy üres.