 Note that, if we take the alphabet $[k]$ to be a set of colours, the definition of a picture is analogous to that of a coloured pattern [@ref22].

Early generating/accepting systems for 2D languages comprise $2 \times 2$ tiles [@g31], 2D automata [@ref109], two-dimensional on-line tessellation acceptors [@tesselation], and 2D grammars. More recently a generating system was introduced by Varricchio [@wangtileref] that used [*Wang tiles*]{}. A [*Wang tile system*]{} [@wangtileref] is a specialized tile-based model that generates the class of [*recognizable picture languages*]{}, a subclass of the family of 2D languages. The class of recognizable picture languages is also accepted by [*Wang automata*]{}, a model introduced in [@ref105]. Like other automata for 2D languages [@g06], Wang tile automata use an explicit pre-defined scanning strategy [@ref111] when reading the input picture and the accepted language depends on the scanning strategy that is used. Due to this, Wang automata are a suboptimal model for self-assembly. Indeed, if we consider the final supertile as given, the order in which tiles are read is irrelevant. On the other hand, if we consider the self-assembly process which results in the final supertile, an “order of assembly” cannot be pre-imposed. In contrast to Wang automata, SA-hypergraph automata are scanning-strategy-independent.

SA-hypergraph automata are a modification of the hypergraph automata introduced by Rozenberg [@h001] in 1982. An SA-hypergraph automaton (Section \[sec:hypergraph\]) accepts a language of labelled “rectangular grid graphs”, wherein the labels are meant to capture the notion of colours used in patterned self-assembly. An SA-hypergraph automaton consists of an underlying labelled graph (labelled nodes and edges) and a set of [*hyperedges*]{}, each of which is a subset of the set of nodes of the underlying graph. Intuitively, the hyperedges are meant to model tiles or supertiles while the underlying graph describes how these can attach to each other, similar to a self-assembly process.

We investigate the computational power of SA-hypergraph automata and prove that for every recognizable picture language $L$ there is an SA-hypergraph automaton that accepts $L$ (Thm.
Note that, if we take the alphabet $ [ k]$ to be a set of coloring material, the definition of a movie is analogous to that of a coloured pattern [ @ref22 ]. 

 Early render / accepting systems for 2D linguistic process incorporate $ 2 \times 2 $ tiles [ @g31 ], 2D automata [ @ref109 ], two - dimensional on - line tessellation acceptors [ @tesselation ], and 2D grammar. More recently a generating system was introduced by Varricchio [ @wangtileref ] that used [ * Wang tiles * ] { }. A [ * Wang tile arrangement * ] { } [ @wangtileref ] is a specialized tile - based model that generates the class of [ * recognizable picture language * ] { }, a subclass of the family of 2D languages. The class of recognizable video languages is also accepted by [ * Wang automata * ] { }, a model introduce in [ @ref105 ]. Like other automata for 2D languages [ @g06 ], Wang tile automata use an denotative pre - defined scanning strategy [ @ref111 ] when reading the input picture and the accepted language depend on the scanning strategy that is used. Due to this, Wang automata are a suboptimal model for self - assembly. Indeed, if we consider the final supertile as given, the order in which tiles are take is irrelevant. On the other hand, if we think the self - forum process which results in the concluding supertile, an “ order of fabrication ” cannot be pre - imposed. In contrast to Wang automata, SA - hypergraph automaton are scanning - strategy - independent. 

 SA - hypergraph automata are a modification of the hypergraph automata insert by Rozenberg [ @h001 ] in 1982. An SA - hypergraph automaton (Section   \[sec: hypergraph\ ]) accepts a language of labelled “ rectangular grid graph ”, wherein the label are meant to capture the notion of colours practice in patterned self - assembly. An SA - hypergraph automaton consists of an underlying labelled graph (labelled nodes and edges) and a bent of [ * hyperedges * ] { }, each of which is a subset of the set of nodes of the underlie graph. Intuitively, the hyperedges are meant to exemplar tiles or supertiles while the underlie graph describes how these can impound to each other, similar to a self - assembly process. 

 We investigate the computational power of SA - hypergraph automaton and prove that for every recognizable picture language $ L$ there is an SA - hypergraph automaton that accepts $ L$ (Thm.
 Nohe that, if we take the auphabet $[k]$ to be a set mf colkurs, the definition of a picture is enaligous to that of a coloured pattern [@gef22].

Early tenecating/accepting systems njr 2D pangbajes comprise $2 \tlmes 2$ tiles [@g31], 2D automata [@sew109], cwo-dimensional on-line tessellation asceptorx [@hesselation], anq 2D bwammzgs. More recently a generating sgstem wes introduced bu Varricchio [@wangtileref] tjat ksed [*Wang tiles*]{}. A [*Aang tile siatei*]{} [@wangtileref] is a specpclized tile-gased model that generates the zlass of [*recognuzqblf picture laiguagef*]{}, a subclass of the xamily pf 2D languages. Thx clqss of recognizable pmcture languages is wlso acce[tzd by [*Wang automata*]{}, a midel hntrmducde iv [@rtf105]. Kiie othfr eutomata fod 2D languagws [@g06], Wang tile autokaeq use an expljcit pwe-qefined scanning strategy [@ref111] when readpng fhe input picture and tye accepted language fepends og the scanning strategy that is used. Due to this, Fang eugomcbw qrf a suboptimal model for self-assembly. Indeed, yr ee consider the ninal supertile as glvrg, the order iv whick tjles are read is igrelevagt. On the othew hamd, if we consider the self-awsembly procvss qhich results in tke final supzrtile, an “otder of assembly” cannot be lre-imposed. Ln contraag to Wang automaga, XA-vypergrakf automata are scwnning-stretegy-nndependdnt.

SS-hyperdraph autolata are a modification lf thg hypesgraph autlmata introduced by Rozenberg [@h001] in 1982. An SA-hypetgrdph automatjn (Segtion \[sec:hypergrwph\]) accepts a kanguagz of lxbelled “rebtangular grid graphf”, wherein the pabels are mxant to cwptuee tye notiuv of colours uxed in panttrned self-qssembly. An SA-hypevgrapf automaton consnrus of an underlyong lafeplxd grw[h (labelled toder avc edgds) and a seb ow [*hyleredges*]{}, each of whiwh ia a subset of the xeb of nodew of the underlying gtaph. Intuitively, tje hy'eredgxs are mewnt to model tiles or supertilss while hhe underlying drapm defcribes hoc these can attach to each other, similar to a self-assembli process.

We investigaje uhe computatipnal [ower of VA-hypergraph automatq and prove that nor every recognizable pictuse lajguage $L$ there is an SA-hypergraph automaton that accepts $L$ (Thm.
Note that, if we take the alphabet be set of the definition of that a coloured pattern Early generating/accepting systems 2D languages comprise $2 \times 2$ [@g31], 2D automata [@ref109], two-dimensional on-line tessellation acceptors [@tesselation], and 2D grammars. More a generating system was introduced by Varricchio [@wangtileref] that used [*Wang tiles*]{}. A tile [@wangtileref] a tile-based model that generates the class of [*recognizable picture languages*]{}, a subclass of the family of languages. The class of recognizable picture languages is accepted by [*Wang automata*]{}, model introduced in [@ref105]. Like automata 2D languages Wang automata an explicit pre-defined strategy [@ref111] when reading the input picture and the accepted language depends on the scanning strategy that used. Due Wang automata a model self-assembly. Indeed, if the final supertile as given, the tiles are read is irrelevant. On the other if we the self-assembly process which results in final supertile, an “order of assembly” cannot be In contrast to Wang automata, SA-hypergraph automata are scanning-strategy-independent. SA-hypergraph automata are a modification of automata introduced by Rozenberg in 1982. An automaton \[sec:hypergraph\]) a of labelled grid graphs”, wherein the labels are meant to capture the notion colours used in patterned self-assembly. An SA-hypergraph automaton consists of labelled (labelled nodes and and a set of each which is a subset set nodes graph. the are meant to model or supertiles while the underlying describes how these can to a self-assembly process. We investigate the computational of SA-hypergraph automata and prove that for recognizable picture language $L$ there is an SA-hypergraph automaton that accepts $L$
 Note that, if we take the alphabEt $[k]$ to be a seT of coLouRs, tHe DefiNitiOn of a picture is ANaloGous to that of a coloured pAtterN [@rEF22].

EarLY gEneraTing/accEPtING syStEmS foR 2D LAnGuageS coMprise $2 \tImes 2$ tiles [@g31], 2d auToMata [@ref109], two-diMEnSional on-liNe tEssellation aCcePtors [@tEsSelATion], aNd 2D GrammArs. MorE RecentLy a generaTiNG systeM Was intrODUcEd by varricchio [@wangtilEReF] That used [*Wang tiLes*]{}. A [*WaNg TIlE SYstEm*]{} [@wAngtileref] Is A specIAlized tILe-BASEd mODel that generaTes the class OF [*reCognizAbLe pICture lAnguaGeS*]{}, A suBclass of the FamiLy of 2D langUages. THE class oF RecogniZable pIctUre LangUAgEs Is aLsO AccEPtEd bY [*wanG automatA*]{}, a MoDel inTrodUCED In [@reF105]. LiKe otHer auTomata for 2D lanGuaGes [@g06], wAng Tile aUtomaTa usE aN explIcit prE-defiNeD scanning strateGy [@reF111] when readIng ThE inPuT pictURe and tHe aCcePted lanGuage dePEndS oN THE sCanning strategy thaT iS USeD. Due to thIs, Wang AUtOmATa are a suBoPtiMal mODEl for Self-ASsEmbly. IndEed, if wE CoNsIder the FiNal supErTilE as Given, THe orDer in wHich tileS are rEAd is irrelevant. oN the other hand, IF wE COnSIder The Self-assemblY proCEss wHich REsUltS In the Final SuPErTIle, an “order of assemblY” cAnnot bE pre-iMposed. In contrAst to Wang aUTOMata, SA-hyPergRApH Automata are scaNning-Strategy-inDEpendent.

sA-hypErgraph aUtomata arE A ModificaTioN of The HypERGrAph automata inTROducEd By RozenBerG [@h001] in 1982. An Sa-hyPerGraPh aUtOmaton (SecTion \[sec:hYpErGrApH\]) acCepts A Language Of LabElLed “RectaNGular gRid grAphs”, WhErEIn tHe labelS ArE MEant To CaPturE thE nOtion Of coLOurS used in Patterned SelF-AsseMbLy. an SA-hypErgraph automaToN consists oF aN unDerlyiNG Labelled Graph (labelled nodes and edGEs) and a sEt oF [*hypeRedgEs*]{}, each of wHicH is a suBseT Of the sEt of noDes of ThE unDERlyinG GRaPh. INtUitively, thE HYpeRedgeS aRe meAnt to moDel tiles or supertilES whIle the underlyIng GrapH DEsCriBEs HOw tHeSE caN ATtach to each otheR, similar to A sELf-Assembly prOCesS.

WE investIgate thE compUTationaL power of Sa-hypergraPh AutoMATa aNd prove thaT for everY recognizABle piCTuRe lanGuaGe $L$ theRe Is aN SA-hyPergraPH auTomatOn that AcCepts $L$ (thm.
 Note that, if we take the  alphabet$[k]$  to  be  a  set  ofcolours, the d e fini tion of a picture is a nalog ou s  tot ha t ofa colou r ed p att er n[@r ef 2 2] .

Ea rly  genera ting/accep tin gsystems for2 Dlanguagescom prise $2 \ti mes  2$ ti le s [ @ g31],  2D  auto mata [ @ ref109 ], two-di me n sional on-line t es sell ation acceptors [ @ te s selation], and  2D gr am m ar s .  Mo rerecently a  g enera t ing sys t em w a s i n troduced by V arricchio [ @ wan gtiler ef ] t h at use d [*W an g  ti les*]{}. A[*Wa ng tile s ystem* ] {} [@wa n gtilere f] isa s pec iali z ed  t ile -b a sed mo del tha t genera te sthe c lass o f [*re cog niza ble p icture langua ges *]{} ,  asubcl ass o f th efamil y of 2 D lan gu ages. The class  ofrecogniza ble  p ict ur e lan g uagesisals o accep ted by[ *Wa ng a u to mata*]{}, a modelin t r od uced in[@ref1 0 5] .L ike othe raut omat a for 2 D la n gu ages [@g 06], W a ng  t ile aut om ata us eanexp licit pre- define d scanni ng st r ategy [@ref111 ]  when reading th e in p ut p ict ure and the  acc e pted  lan g ua ged epend s onth e  s c anning strategy tha tis use d. Du e to this, Wa ng automat a a re a sub opti m al model for self -asse mbly. Inde e d, if we  cons ider the  final su p e rtile as  gi ven , t heo r de r in which ti l e s ar eread is  ir relevan t.Onthe  ot he r hand, i f we con si de rth e s elf-a s sembly p ro ces swhi ch re s ults i n the  fin al  s u per tile, a n  “ o r derof  a ssem bly ”canno t be pre -impose d. In con tra s t to  W an g autom ata, SA-hyper gr aph automa ta  ar e scan n i ng-strat egy-independent.

SA-hy p ergraph  au tomat a ar e a modif ica tion o f t h e hype rgraph  auto ma tai n trodu c e dbyRo zenberg [@ h 0 01]  in 1 98 2. A n SA-hy pergraph automaton (Se ction \[sec:h ype rgra p h \] ) a c ce p tsal ang u a ge of labelled“rectangul ar gr id graphs” ,  wh er ein the  labels  arem eant to  capturethe notio nof c o l our s used inpatterne d self-as s embly .  A n SA- hyp ergrap haut omato n cons i sts  of a n unde rl ying l abell ed  graph ( labelled nodes and edge s) and  a se t o f [*hyper edg e s*] {}, eachof w hich is asub set  of t hes et of  nod e soft he un derl y ing graph .  I ntu i t iv ely, the hy p e r edg es ar e m e ant to  mod el tiles or super t iles while the  und e r lyi ngg raph  d escribes how t hes ec a n attach  t o each othe r, simil ar to aself-a ssembl y proce s s .We inv esti gat e the com put at i onal po we ro f SA-h yper gr aph au tomata andp r ove that for eve ry re c o gniza b lepictu re  langua g e $L $ there is  an SA-hype rgraph  aut omato n thatac cepts$L$  ( Thm.
 Note_that, if_we take the alphabet_$[k]$ to_be_a set_of_colours, the definition_of a picture_is analogous to that_of a coloured_pattern_[@ref22].

Early generating/accepting systems for 2D languages comprise $2 \times 2$ tiles [@g31], 2D automata_[@ref109],_two-dimensional on-line_tessellation_acceptors_[@tesselation], and 2D grammars. More_recently a generating system was_introduced by_Varricchio [@wangtileref] that used [*Wang tiles*]{}. A [*Wang_tile_system*]{} [@wangtileref] is_a specialized tile-based model that generates the class of_[*recognizable picture languages*]{}, a subclass of_the family of_2D_languages._The class of recognizable_picture languages is also accepted by_[*Wang automata*]{}, a model introduced in_[@ref105]. Like other automata for 2D languages_[@g06], Wang tile automata use an_explicit pre-defined scanning strategy [@ref111]_when reading_the input picture and the_accepted language depends_on the_scanning strategy that_is used. Due to this, Wang_automata are a_suboptimal model for self-assembly. Indeed, if_we_consider the final_supertile_as_given, the_order in which_tiles_are read_is_irrelevant. On the other hand, if_we_consider the self-assembly process which results in_the final supertile, an_“order_of assembly” cannot be_pre-imposed. In contrast to Wang_automata, SA-hypergraph automata are scanning-strategy-independent.

SA-hypergraph automata_are a_modification of_the hypergraph automata introduced by Rozenberg [@h001] in 1982. An SA-hypergraph_automaton (Section \[sec:hypergraph\]) accepts a language of_labelled “rectangular grid graphs”,_wherein the_labels_are meant to_capture_the notion_of colours used in patterned self-assembly. An_SA-hypergraph automaton_consists of an underlying labelled graph_(labelled nodes and edges)_and_a set of [*hyperedges*]{}, each of_which is a subset of the_set of nodes of the_underlying_graph._Intuitively, the hyperedges are meant_to model tiles or supertiles while_the underlying graph_describes how these can attach to each_other,_similar to a self-assembly process.

We investigate_the_computational power of SA-hypergraph automata and_prove_that_for every recognizable picture language_$L$ there is an SA-hypergraph automaton_that accepts $L$ (Thm.