thamster's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | thamster's comments

thamster on May 26, 2017 | parent | context [–] | on: Viper: a new programming language from Ethereum

This is handled in university CS algorithms courses. In such a case, dovetailing or interleaving the execution of the TM on the input would be used. Sipser pp. 150–152 https://courses.engr.illinois.edu/cs373/sp2009/lectures/old/...

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