Two-Dimensional Typewriter Automata
A typewriter automaton is a special variant of a two-dimensional automaton that receives two-dimensional words as input and is only capable of moving its input head through its input word in three directions: downward, leftward, and rightward. In addition, downward and leftward moves may only be mad...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Smith, Taylor J |
| description | A typewriter automaton is a special variant of a two-dimensional automaton
that receives two-dimensional words as input and is only capable of moving its
input head through its input word in three directions: downward, leftward, and
rightward. In addition, downward and leftward moves may only be made via a
special "reset" move that simulates the action of a typewriter's carriage
return.
In this paper, we initiate the study of the typewriter automaton model and
relate it to similar models, including three-way two-dimensional automata,
boustrophedon automata, and returning automata. We study the recognition powers
of the typewriter automaton model, establish closure properties of the class of
languages recognized by the model, and consider operational state complexity
bounds for the specific operation of row concatenation. We also provide a
variety of potential future research directions pertaining to the model. |
| doi_str_mv | 10.48550/arxiv.2207.10016 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2207_10016</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2207_10016</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-f04b5470bf059ce52cff7c62a03072f713d3095a5da292206f81f7f3bb5f3a193</originalsourceid><addsrcrecordid>eNotzrsOgjAUgOEuDgZ9ACdNnMHTlrYyGu8JiQs7OUBP0kSEFLy9vdfp3_58jE04RPFSKVigf7hbJASYiANwPWTz7N6EG1fbS-eaC55n2bO1d-9662era9_U2OOIDQjPnR3_G7Bst83WhzA97Y_rVRqiNjokiAsVGygIVFJaJUoiU2qBIMEIMlxWEhKFqkKRvAmalpwMyaJQJJEnMmDT3_arzFvvavTP_KPNv1r5AoYVOOw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Two-Dimensional Typewriter Automata</title><source>arXiv.org</source><creator>Smith, Taylor J</creator><creatorcontrib>Smith, Taylor J</creatorcontrib><description>A typewriter automaton is a special variant of a two-dimensional automaton
that receives two-dimensional words as input and is only capable of moving its
input head through its input word in three directions: downward, leftward, and
rightward. In addition, downward and leftward moves may only be made via a
special "reset" move that simulates the action of a typewriter's carriage
return.
In this paper, we initiate the study of the typewriter automaton model and
relate it to similar models, including three-way two-dimensional automata,
boustrophedon automata, and returning automata. We study the recognition powers
of the typewriter automaton model, establish closure properties of the class of
languages recognized by the model, and consider operational state complexity
bounds for the specific operation of row concatenation. We also provide a
variety of potential future research directions pertaining to the model.</description><identifier>DOI: 10.48550/arxiv.2207.10016</identifier><language>eng</language><subject>Computer Science - Formal Languages and Automata Theory</subject><creationdate>2022-07</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2207.10016$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2207.10016$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Smith, Taylor J</creatorcontrib><title>Two-Dimensional Typewriter Automata</title><description>A typewriter automaton is a special variant of a two-dimensional automaton
that receives two-dimensional words as input and is only capable of moving its
input head through its input word in three directions: downward, leftward, and
rightward. In addition, downward and leftward moves may only be made via a
special "reset" move that simulates the action of a typewriter's carriage
return.
In this paper, we initiate the study of the typewriter automaton model and
relate it to similar models, including three-way two-dimensional automata,
boustrophedon automata, and returning automata. We study the recognition powers
of the typewriter automaton model, establish closure properties of the class of
languages recognized by the model, and consider operational state complexity
bounds for the specific operation of row concatenation. We also provide a
variety of potential future research directions pertaining to the model.</description><subject>Computer Science - Formal Languages and Automata Theory</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotzrsOgjAUgOEuDgZ9ACdNnMHTlrYyGu8JiQs7OUBP0kSEFLy9vdfp3_58jE04RPFSKVigf7hbJASYiANwPWTz7N6EG1fbS-eaC55n2bO1d-9662era9_U2OOIDQjPnR3_G7Bst83WhzA97Y_rVRqiNjokiAsVGygIVFJaJUoiU2qBIMEIMlxWEhKFqkKRvAmalpwMyaJQJJEnMmDT3_arzFvvavTP_KPNv1r5AoYVOOw</recordid><startdate>20220720</startdate><enddate>20220720</enddate><creator>Smith, Taylor J</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20220720</creationdate><title>Two-Dimensional Typewriter Automata</title><author>Smith, Taylor J</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-f04b5470bf059ce52cff7c62a03072f713d3095a5da292206f81f7f3bb5f3a193</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Computer Science - Formal Languages and Automata Theory</topic><toplevel>online_resources</toplevel><creatorcontrib>Smith, Taylor J</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Smith, Taylor J</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Two-Dimensional Typewriter Automata</atitle><date>2022-07-20</date><risdate>2022</risdate><abstract>A typewriter automaton is a special variant of a two-dimensional automaton
that receives two-dimensional words as input and is only capable of moving its
input head through its input word in three directions: downward, leftward, and
rightward. In addition, downward and leftward moves may only be made via a
special "reset" move that simulates the action of a typewriter's carriage
return.
In this paper, we initiate the study of the typewriter automaton model and
relate it to similar models, including three-way two-dimensional automata,
boustrophedon automata, and returning automata. We study the recognition powers
of the typewriter automaton model, establish closure properties of the class of
languages recognized by the model, and consider operational state complexity
bounds for the specific operation of row concatenation. We also provide a
variety of potential future research directions pertaining to the model.</abstract><doi>10.48550/arxiv.2207.10016</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2207.10016 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2207_10016 |
| source | arXiv.org |
| subjects | Computer Science - Formal Languages and Automata Theory |
| title | Two-Dimensional Typewriter Automata |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-10T11%3A31%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Two-Dimensional%20Typewriter%20Automata&rft.au=Smith,%20Taylor%20J&rft.date=2022-07-20&rft_id=info:doi/10.48550/arxiv.2207.10016&rft_dat=%3Carxiv_GOX%3E2207_10016%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |