Enkele onderwerpen uit de theorie der berekenbaarheid

P.R.J. Asveld

    Research output: Book/ReportReportOther research output

    Abstract

    Deze bundel bevat de volgende hoofdstukken: (1) Afsluitingsprincipes van binaire relaties; (2) Relaties tussen formaliseringen van het begrip "berekenbaar" -- enkele voor de hand liggende opmerkingen over Turing-machines; (3) Definities van Turing-machines; (4) $\mu$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische $nL$-systemen ($n=0,1,2$).
    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente, Department of Applied Mathematics
    Number of pages68
    Publication statusPublished - 1974

    Keywords

    • EWI-3665
    • HMI-SLT: Speech and Language Technology

    Cite this

    Asveld, P. R. J. (1974). Enkele onderwerpen uit de theorie der berekenbaarheid. Enschede: University of Twente, Department of Applied Mathematics.