Back to Results
First PageMeta Content
Computability theory / Computer science / Models of computation / Alan Turing / Tag system / Halting problem / Computational complexity theory / Description number / Non-deterministic Turing machine / Turing machine / Theoretical computer science / Theory of computation


Fundamenta Informaticae[removed]–[removed]
Add to Reading List

Document Date: 2012-11-13 10:48:00

Open Document

File Size: 175,69 KB

Share Result on Facebook

Country

Ireland / /

/

Facility

University of Seville / University College Cork / /

IndustryTerm

basic simulation algorithm / simulation algorithm / bi-tag systems / /

Organization

Damien Woods‡ Department of Computer Science / Irish Research Council for Science / Engineering and Technology / University of Seville / Computer Science and Artificial Intelligence / IOS Press Four Small Universal Turing Machines Turlough Neary∗† Boole Centre for Research / Boole Centre for Research / /

Person

Damien Woods / /

Position

tape head / σr σl tape head / simulated tape head / head / /

ProvinceOrState

U9 / 3 / C. / Quebec / British Columbia / /

Technology

simulation algorithm / av / simulation / same basic simulation algorithm / /

SocialTag