A Formulation of Composition for Cellular Automata on Groups

We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato [10] and Manzini [6] for linear cellular automata, we extend the notion to general cellular automata on groups and...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEICE Transactions on Information and Systems 2014/03/01, Vol.E97.D(3), pp.448-454
Hauptverfasser: INOKUCHI, Shuichi, ITO, Takahiro, FUJIO, Mitsuhiko, MIZOGUCHI, Yoshihiro
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 454
container_issue 3
container_start_page 448
container_title IEICE Transactions on Information and Systems
container_volume E97.D
creator INOKUCHI, Shuichi
ITO, Takahiro
FUJIO, Mitsuhiko
MIZOGUCHI, Yoshihiro
description We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato [10] and Manzini [6] for linear cellular automata, we extend the notion to general cellular automata on groups and investigated their properties. We observe the all unions and compositions generated by one-dimensional 2-neighborhood cellular automata over Z2 including non-linear cellular automata. Next we prove that the composition is right-distributive over union, but is not left-distributive. Finally, we conclude by showing reformulation of our definition of cellular automata on group which admit more than three states. We also show our formulation contains the representation using formal power series for linear cellular automata in Manzini [6].
doi_str_mv 10.1587/transinf.E97.D.448
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1541410369</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1541410369</sourcerecordid><originalsourceid>FETCH-LOGICAL-c556t-f2dfc2e740f83768eed457e306d8eaa494c602e83cb1851490adac4931093f973</originalsourceid><addsrcrecordid>eNpdkE1LxDAQhoMouK7-AU89emnNNEmbgJel-yUseNFziGmiXdqmJunBf2_d1RU8DcP7PsPwIHQLOAPGy_voVR-a3mYrUWbLjFJ-hmZQUpYCKeAczbCAIuWM5JfoKoQ9xsBzYDP0sEjWzndjq2Lj-sTZpHLd4EJzWK3zSWXadop9shij61RUyRRsvBuHcI0urGqDufmZc_SyXj1X23T3tHmsFrtUM1bE1Oa11bkpKbaclAU3pqasNAQXNTdKUUF1gXPDiX4FzoAKrGqlqSCABbGiJHN0d7w7ePcxmhBl1wQ9_aV648YggVGggEkhpmp-rGrvQvDGysE3nfKfErD8ViV_VclJlVzKSdUEbY_QPkT1Zk6I8rHRrfmPkD_0VNHvykvTky-rPHk5</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1541410369</pqid></control><display><type>article</type><title>A Formulation of Composition for Cellular Automata on Groups</title><source>J-STAGE (Japan Science &amp; Technology Information Aggregator, Electronic) Freely Available Titles - Japanese</source><source>EZB-FREE-00999 freely available EZB journals</source><creator>INOKUCHI, Shuichi ; ITO, Takahiro ; FUJIO, Mitsuhiko ; MIZOGUCHI, Yoshihiro</creator><creatorcontrib>INOKUCHI, Shuichi ; ITO, Takahiro ; FUJIO, Mitsuhiko ; MIZOGUCHI, Yoshihiro</creatorcontrib><description>We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato [10] and Manzini [6] for linear cellular automata, we extend the notion to general cellular automata on groups and investigated their properties. We observe the all unions and compositions generated by one-dimensional 2-neighborhood cellular automata over Z2 including non-linear cellular automata. Next we prove that the composition is right-distributive over union, but is not left-distributive. Finally, we conclude by showing reformulation of our definition of cellular automata on group which admit more than three states. We also show our formulation contains the representation using formal power series for linear cellular automata in Manzini [6].</description><identifier>ISSN: 0916-8532</identifier><identifier>EISSN: 1745-1361</identifier><identifier>DOI: 10.1587/transinf.E97.D.448</identifier><language>eng</language><publisher>The Institute of Electronics, Information and Communication Engineers</publisher><subject>automata ; Cellular automata ; Division ; Formulations ; groups ; models of computation ; Nonlinearity ; Power series ; Representations ; Unions</subject><ispartof>IEICE Transactions on Information and Systems, 2014/03/01, Vol.E97.D(3), pp.448-454</ispartof><rights>2014 The Institute of Electronics, Information and Communication Engineers</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c556t-f2dfc2e740f83768eed457e306d8eaa494c602e83cb1851490adac4931093f973</citedby><cites>FETCH-LOGICAL-c556t-f2dfc2e740f83768eed457e306d8eaa494c602e83cb1851490adac4931093f973</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,1876,4009,27902,27903,27904</link.rule.ids></links><search><creatorcontrib>INOKUCHI, Shuichi</creatorcontrib><creatorcontrib>ITO, Takahiro</creatorcontrib><creatorcontrib>FUJIO, Mitsuhiko</creatorcontrib><creatorcontrib>MIZOGUCHI, Yoshihiro</creatorcontrib><title>A Formulation of Composition for Cellular Automata on Groups</title><title>IEICE Transactions on Information and Systems</title><addtitle>IEICE Trans. Inf. &amp; Syst.</addtitle><description>We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato [10] and Manzini [6] for linear cellular automata, we extend the notion to general cellular automata on groups and investigated their properties. We observe the all unions and compositions generated by one-dimensional 2-neighborhood cellular automata over Z2 including non-linear cellular automata. Next we prove that the composition is right-distributive over union, but is not left-distributive. Finally, we conclude by showing reformulation of our definition of cellular automata on group which admit more than three states. We also show our formulation contains the representation using formal power series for linear cellular automata in Manzini [6].</description><subject>automata</subject><subject>Cellular automata</subject><subject>Division</subject><subject>Formulations</subject><subject>groups</subject><subject>models of computation</subject><subject>Nonlinearity</subject><subject>Power series</subject><subject>Representations</subject><subject>Unions</subject><issn>0916-8532</issn><issn>1745-1361</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><recordid>eNpdkE1LxDAQhoMouK7-AU89emnNNEmbgJel-yUseNFziGmiXdqmJunBf2_d1RU8DcP7PsPwIHQLOAPGy_voVR-a3mYrUWbLjFJ-hmZQUpYCKeAczbCAIuWM5JfoKoQ9xsBzYDP0sEjWzndjq2Lj-sTZpHLd4EJzWK3zSWXadop9shij61RUyRRsvBuHcI0urGqDufmZc_SyXj1X23T3tHmsFrtUM1bE1Oa11bkpKbaclAU3pqasNAQXNTdKUUF1gXPDiX4FzoAKrGqlqSCABbGiJHN0d7w7ePcxmhBl1wQ9_aV648YggVGggEkhpmp-rGrvQvDGysE3nfKfErD8ViV_VclJlVzKSdUEbY_QPkT1Zk6I8rHRrfmPkD_0VNHvykvTky-rPHk5</recordid><startdate>2014</startdate><enddate>2014</enddate><creator>INOKUCHI, Shuichi</creator><creator>ITO, Takahiro</creator><creator>FUJIO, Mitsuhiko</creator><creator>MIZOGUCHI, Yoshihiro</creator><general>The Institute of Electronics, Information and Communication Engineers</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>2014</creationdate><title>A Formulation of Composition for Cellular Automata on Groups</title><author>INOKUCHI, Shuichi ; ITO, Takahiro ; FUJIO, Mitsuhiko ; MIZOGUCHI, Yoshihiro</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c556t-f2dfc2e740f83768eed457e306d8eaa494c602e83cb1851490adac4931093f973</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><topic>automata</topic><topic>Cellular automata</topic><topic>Division</topic><topic>Formulations</topic><topic>groups</topic><topic>models of computation</topic><topic>Nonlinearity</topic><topic>Power series</topic><topic>Representations</topic><topic>Unions</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>INOKUCHI, Shuichi</creatorcontrib><creatorcontrib>ITO, Takahiro</creatorcontrib><creatorcontrib>FUJIO, Mitsuhiko</creatorcontrib><creatorcontrib>MIZOGUCHI, Yoshihiro</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEICE Transactions on Information and Systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>INOKUCHI, Shuichi</au><au>ITO, Takahiro</au><au>FUJIO, Mitsuhiko</au><au>MIZOGUCHI, Yoshihiro</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Formulation of Composition for Cellular Automata on Groups</atitle><jtitle>IEICE Transactions on Information and Systems</jtitle><addtitle>IEICE Trans. Inf. &amp; Syst.</addtitle><date>2014</date><risdate>2014</risdate><volume>E97.D</volume><issue>3</issue><spage>448</spage><epage>454</epage><pages>448-454</pages><issn>0916-8532</issn><eissn>1745-1361</eissn><abstract>We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato [10] and Manzini [6] for linear cellular automata, we extend the notion to general cellular automata on groups and investigated their properties. We observe the all unions and compositions generated by one-dimensional 2-neighborhood cellular automata over Z2 including non-linear cellular automata. Next we prove that the composition is right-distributive over union, but is not left-distributive. Finally, we conclude by showing reformulation of our definition of cellular automata on group which admit more than three states. We also show our formulation contains the representation using formal power series for linear cellular automata in Manzini [6].</abstract><pub>The Institute of Electronics, Information and Communication Engineers</pub><doi>10.1587/transinf.E97.D.448</doi><tpages>7</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0916-8532
ispartof IEICE Transactions on Information and Systems, 2014/03/01, Vol.E97.D(3), pp.448-454
issn 0916-8532
1745-1361
language eng
recordid cdi_proquest_miscellaneous_1541410369
source J-STAGE (Japan Science & Technology Information Aggregator, Electronic) Freely Available Titles - Japanese; EZB-FREE-00999 freely available EZB journals
subjects automata
Cellular automata
Division
Formulations
groups
models of computation
Nonlinearity
Power series
Representations
Unions
title A Formulation of Composition for Cellular Automata on Groups
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T06%3A29%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Formulation%20of%20Composition%20for%20Cellular%20Automata%20on%20Groups&rft.jtitle=IEICE%20Transactions%20on%20Information%20and%20Systems&rft.au=INOKUCHI,%20Shuichi&rft.date=2014&rft.volume=E97.D&rft.issue=3&rft.spage=448&rft.epage=454&rft.pages=448-454&rft.issn=0916-8532&rft.eissn=1745-1361&rft_id=info:doi/10.1587/transinf.E97.D.448&rft_dat=%3Cproquest_cross%3E1541410369%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1541410369&rft_id=info:pmid/&rfr_iscdi=true