From mechanical to theoretical: Aspects of the origins of Theoretical Computer Science

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    54 Downloads (Pure)

    Abstract

    Some aspects of the prehistory and the background of Theoretical Computer Science are discussed. We consider the introduction of notations to describe dynamic processes, the change to the algorithmic specification of problems and the attempts to develop programs to make programming easier. The impact of Chomsky's theory of generative grammar, its reception and its relationship with the BNF-description are discussed. Observations on formal language theory and its development into Theoretical Computer Science conclude this (sketchy) survey.
    Original languageEnglish
    Title of host publicationEssays on concepts, formalisms, and tools
    Subtitle of host publicationA collection of papers dedicated to Leo A.M. Verbeek
    EditorsP.R.J. Asveld, A. Nijholt
    Place of PublicationAmsterdam
    PublisherCenter for Mathematics and Computer Science
    Pages9-42
    Number of pages34
    ISBN (Print)90-6196-326-5
    Publication statusPublished - 1987

    Publication series

    NameCWI-Tract
    PublisherCenter for Mathematics and Computer Science
    Volume42

    Keywords

    • HMI-IE: Information Engineering

    Fingerprint

    Dive into the research topics of 'From mechanical to theoretical: Aspects of the origins of Theoretical Computer Science'. Together they form a unique fingerprint.

    Cite this