प्रजनक व्याकरण के सिद्धांत और गणितीय तर्कशास्त्र की एक शाखा के रूप में औपचारिक भाषा के सिद्धांत की आधारशिला नॉम चॉम्स्की ने रखी थी।