{"title":"Border crossings","authors":"J. Eijck","doi":"10.7208/chicago/9780226450117.003.0003","DOIUrl":"https://doi.org/10.7208/chicago/9780226450117.003.0003","url":null,"abstract":"It is well established by now that computer science has a number of concerns in common with natural language understanding. Common themes show up in particular with algorithmic aspects of text processing. This chapter gives an overview of border crossings from NLP to CS and back. Starting out from syntactic analysis, we trace our route via a philosophical puzzle about meaning, Hoare correctness rules for dynamic semantics, error state analysis of presupposition, equational reasoning about state change, programming with frameworks originally devised for natural language semantics, and the logic of incremental processing. In many cases methods and perspectives developed on one side of the border proved quite useful on the other side, although usually it becomes clear after a while that tools have to be redesigned to fit. The chapter ends with a sketch of the emerging contours of a ‘proper treatment of context in natural language’ that is more than just an application of a logic designed for program analysis. 1 The borderline between natural languages and programming languages One of the earliest examples of work on the borderline of natural language analysis and computer science is the mathematical theory of languages proposed by Noam Chomsky in the 1950s [7, 8]. Chomsky proposed to use context free rules as a grammar formalism: ‘S −→ NP VP’ is an example of a rule saying that a sentence S consists of a nominal phrase NP followed by a verb phrase VP. Further rules of the same form then describe the internal structure of NP and VP. The context free rules can be used to assign syntax trees to sentences:","PeriodicalId":225714,"journal":{"name":"Shakespeare and the Challenge of the Contemporary","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127525436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}