C. Б.
Программист Джон Тромп придумал универсальную вычислительную машину UM (www.cwi.nl/~tromp/cl/CL.ps), основанную только на двух командах и реализующую комбинаторную логику S-K. Ее удалось закодировать 371 битом. Для сравнения: знаменитой машине Тьюринга потребовалось для этого 5495 битов.
