MURAL - Maynooth University Research Archive Library



    Four Small Universal Turing Machines


    Neary, Turlough and Woods, Damien (2009) Four Small Universal Turing Machines. Fundamenta Informaticae, 91 (1). pp. 123-144. ISSN 0169-2968

    [img]
    Preview
    Download (179kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    We present universal Turing machines with state-symbol pairs of (5, 5), (6, 4), (9, 3) and (15, 2). These machines simulate our new variant of tag system, the bi-tag system and are the smallest known single-tape universal Turing machines with 5, 4, 3 and 2-symbols, respectively. Our 5-symbolmachine uses the same number of instructions (22) as the smallest known universal Turing machine by Rogozhin. Also, all of the universalmachines we present here simulate Turing machines in polynomial time.

    Item Type: Article
    Additional Information: Note that the pdf has incorrect page numbers
    Keywords: 2-tag system; Bi-tag systems; Computational complexity; Polynomial time; Post system; Small universal Turing machine;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 12416
    Identification Number: https://doi.org/10.3233/FI-2009-0036
    Depositing User: Damien Woods
    Date Deposited: 14 Feb 2020 15:14
    Journal or Publication Title: Fundamenta Informaticae
    Publisher: IOS Press
    Refereed: Yes
    URI:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads