Voor de Docentendag Wiskunde van de Radboud Universiteit gaf ik op 11 oktober 2022 een lezing over de band tussen wiskunde en informatica.
De powerpoint van de presentatie vind je hier.
In de lezing heb ik een visualisatie van een Turing machine gebruikt. Eentje, die je zelf kan programmeren! Je kunt hem vinden op Turingmachine.io.
De onderstaande Turingmachine-code heb ik gebruikt in het voorbeeld van de unaire optelling.
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: