Formal Languages and Linguistic Descriptions
{'Code': '04040500', 'Directorate': {'Abbreviation': 'SBE', 'LongName': 'Direct For Social, Behav & Economic Scie'}, 'Division': {'Abbreviation': 'BCS', 'LongName': 'Division Of Behavioral and Cognitive Sci'}}
{'SignBlockName': 'Paul G. Chapin', 'PO_EMAI': None, 'PO_PHON': None}
Abstract narrative                                                                                                                                                   After an initial burst of activity in the 1960s, when it                   was founded, the field of mathematical linguistics has been                     comparatively quiescent in the past decade or so.  Nonetheless,                 a few researchers have kept active in the field, and have                       periodically produced results which have had a major impact on                  general concerns of linguistic theory, such as the demon-                       stration that the generative power of transformational                          grammars, without special constraints, is greater than                          supposed, and the proof of the basic learnability theorem.                                                                                                           The Principal Investigator of this proposal is one of                      those researchers who have continued to explore the mathe-                      matical properties of grammatical systems.  He is a leading                     authority on the theory of computational complexity as it                       applies to formal grammars and parsing systems.  He has now                     formulated the outlines of a new approach to the formal des-                    cription of syntactic structures, which incorporates as key                     elements a novel notation which combines the expressions of                     first-order logic with the the expressions of conventional                      phrase-structure grammars, and a view of languages as families                  of finite approximations, in place of the conventional mathe-                   matical view of a language as an infinite set of finite                         strings.                                                                                                                                                             The aim of the project is to develop the investigator's                    approach into a formal system which can be used as a tool for                   linguistic description, and which can be studied for its                        mathematical properties in new and potentially revealing ways.                  The investigator is being assisted in this endeavor by a                        collaborator who is an accomplished descriptive and theoretical                 linguist.                                                                                                                                                            The project has the potential to make significant new                      contributions to linguistic theory and also to computational                    linguistics.
{'FirstName': 'William', 'LastName': 'Rounds', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'William C Rounds', 'EmailAddress': 'rounds@umich.edu', 'NSF_ID': '000086977', 'StartDate': '07/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Regents of the University of Michigan - Ann Arbor', 'CityName': 'ANN ARBOR', 'ZipCode': '481091079', 'PhoneNumber': '7347636438', 'StreetAddress': '1109 GEDDES AVE, SUITE 3300', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Michigan', 'StateCode': 'MI', 'CONGRESSDISTRICT': '06', 'CONGRESS_DISTRICT_ORG': 'MI06', 'ORG_UEI_NUM': 'GNJ7BBP73WE9', 'ORG_LGL_BUS_NAME': 'REGENTS OF THE UNIVERSITY OF MICHIGAN', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '1311', 'Text': 'Linguistics'}, {'Code': '2860', 'Text': 'THEORY OF COMPUTING'}, {'Code': '6856', 'Text': 'ARTIFICIAL INTELL & COGNIT SCI'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1986&All=true', 'xml': '8617131.xml'}