Op 20 juni was ik weer te gast bij de lerarenopleiding bij de Master Docent Wiskunde aan de Fontys Hogeschool in Sittard.
De slides kun je hier vinden.
In het college hebben we gewerkt met een turing machine emulator, die te vinden is op turingmachine.io
De code voor de unaire optelling staat hieronder.
input: '11s111 '
blank: ' '
start state: start
table:
start:
1 : {write: 1, R: start}
s : {write: 1, R: A}
A:
1 : {write: 1, R: A}
' ': {write: ' ',L: B}
B:
1 : {write: ' ',L: C}
C:
1 : {write: 1 ,L: C}
' ': {write: ' ',R: halt}
halt:Wanneer je met je leerlingen aan de slag wil met turingmachines, dan kun je bij WikiWijs een fijne lessenserie vinden. Let op: het materiaal is gedateerd, dus sommige links van dit materiaal werken niet meer. De wiskundige inhoud blijft natuurlijk tijdloos.
https://maken.wikiwijs.nl/46166/14_H12_Turingmachines
De λ-calculus is genoemd, maar vanwege de complexiteit en de beschikbare tijd zijn we er niet op in gegaan. Hieronder een aantal bronnen waarmee je wat meer kan leren over de λ-calculus van Church.