Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Turing Machines are just one of many computational models. Others offer more parallelism. Two examples:

In lambda calculus, disjoint redexes can be reduced in parallel.

And in interaction nets, all active pairs can be reduced in parallel [1].

[]1 https://en.wikipedia.org/wiki/Interaction_nets



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: