From Edward A. Hirsch to Alexander, Oleg, Sergey, Yura
date: 15 May 2007 14:22
subject: 25 Kbucks for 2 states
Is it possible to (dis)prove universality by automated case enumeration?..
----- Forwarded message from <...> -----
> From: <...>
> To: > Subject: [CiE] The 2,3 Turing Machine Research Prize
(
Read more... )