Define a formal language for the framework of Social Security Numbers, consisting of the format AAA-GG-SSSS, where each AAA is a 3-digit combination of numbers, GG a 2-digit combination of numbers, and SSSS a 4-digit combination of numbers. It yields potential Social Security Numbers (pSSNs). While valid social security numbers have certain restrictions on the combination of numbers, this framework considers only the particular format that valid SSNs need to adhere to.