Slide 6
Slide 6 text
Turing completeness
Turing complete examples: All the common general purpose programming languages.
C/C++, Java, Python, Go
But also lots of other less practical (for programmers) environments.
One Instruction Set Computer (OISC), X86 MMU, Conway’s Game of Life
Some domains benefit from bounded computation:
An HTTP parser guaranteeing no packet can DDOS the environment
Syscall/Kernel tracing DSL with bounded/enforced maximum overhead