Enkele onderwerpen uit de theorie der berekenbaarheid

P.R.J. Asveld

Enkele onderwerpen uit de theorie der berekenbaarheid

P.R.J. Asveld

Research output: Book/Report › Report › Other 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 language	Undefined
Place of Publication	Enschede
Publisher	University of Twente
Number of pages	68
Publication status	Published - 1974

Keywords

EWI-3665
HMI-SLT: Speech and Language Technology

Cite this

@book{dfffefd019624e52b5d1c882cf2dfe21,

title = "Enkele onderwerpen uit de theorie der berekenbaarheid",

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) \$\textbackslash{}mu\$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische \$nL\$-systemen (\$n=0,1,2\$).",

keywords = "EWI-3665, HMI-SLT: Speech and Language Technology",

author = "P.R.J. Asveld",

year = "1974",

language = "Undefined",

publisher = "University of Twente",

address = "Netherlands",

}

TY - BOOK

T1 - Enkele onderwerpen uit de theorie der berekenbaarheid

AU - Asveld, P.R.J.

PY - 1974

Y1 - 1974

N2 - 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$).

AB - 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$).

KW - EWI-3665

KW - HMI-SLT: Speech and Language Technology

M3 - Report

BT - Enkele onderwerpen uit de theorie der berekenbaarheid

PB - University of Twente

CY - Enschede

ER -