Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: universal turing machine

Sortuj według:

Ogranicz wyniki do:

CCS(25,12) is Turing-complete

Gorrieri R.

Fundamenta Informaticae

2017

Vol. 154, nr 1/4

145--166

CCS(h,k) is the CCS subcalculus which can use at most h constants and k actions. We show that CCS(25,12) is Turing-complete by simulating Neary and Woods’ universal Turing machine with 15 states and 2 symbols.