 rectangle spanned by the points $(1,1)$ and $(h(p),w(p))$, every $v$-edge points downwards, and every $h$-edge points rightwards; recall that our coordinates represent the rows and columns of a matrix. The derivation leading to the final configuration $(M,{\emptyset},g)$ simulates the assembly of tiles which form $\bar p$ as shown in Figure \[fig:simulationmethod\]. The north and west edges of the tile $t_{TL} = \bar p_{(1,1)}$ in the top left corner of $\bar p$ are labelled by $\#$, and therefore, the node $x_{TL} = {\vartheta}^{-1}(t_{TL})$ corresponding to $t_{TL}$ forms an initial graph $M_0$. The adjacent edges of two neighbouring tiles $s,t$ in $\bar p$ are labelled by the same colour. Suppose $s$ is the west neighbour of $t$, then $\sigma_E(s) = \sigma_{W}(t) \neq \#$ and both tiles belong to the same row, implying that $\sigma_N(s)=\# \iff \sigma_N(t) = \#$ and $\sigma_S(s) = \# \iff  \sigma_S(t) = \#$. Therefore, their corresponding nodes in $G$ are connected by an $h$-edge $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_h$. Analogously, if $s$ is the north neighbour of $t$, then $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_v$. Next, we see that the hyperedges of type I and type II can be used in order to create the top row and left column of the graph $M$, respectively. Furthermore, the hyperedges of type III can be used in order to create all the remaining nodes of $M$. We conclude that $(M_0,\set{x_{TL}},id)\overset{*}{\underset{A}\rightarrow} (M,O,g)$ is a derivation in $A$ and we will prove that $(M,O,g)$ has to be a final configuration with $O={\emptyset}$. Observe, that hyperedges of types I and II leave all the nodes active while hyperedges of type III deactivate at least the top left node in the hyperedge.
rectangle spanned by the points $ (1,1)$ and $ (h(p),w(p))$, every $ v$-edge points downwards, and every $ h$-edge points rightwards; echo that our coordinate represent the rows and column of a matrix. The ancestry leading to the final shape $ (M,{\emptyset},g)$ simulates the assembly of tiles which shape $ \bar p$ as shown in Figure   \[fig: simulationmethod\ ]. The north and west edge of the tile $ t_{TL } = \bar p_{(1,1)}$ in the top left corner of $ \bar p$ are pronounce by $ \#$, and therefore, the node $ x_{TL } = { \vartheta}^{-1}(t_{TL})$ corresponding to $ t_{TL}$ forms an initial graph $ M_0$. The adjacent edges of two neighbouring tiles $ second, t$ in $ \bar p$ are labelled by the same colour. presuppose $ s$ is the west neighbour of $ t$, then $ \sigma_E(s) = \sigma_{W}(t) \neq \#$ and both tiles belong to the same quarrel, implying that $ \sigma_N(s)=\ # \iff \sigma_N(t) = \#$ and $ \sigma_S(s) = \ # \iff   \sigma_S(t) = \#$. Therefore, their corresponding nodes in $ G$ are connected by an $ h$-edge $ ({ \vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_h$. Analogously, if $ s$ is the union neighbour of $ t$, then $ ({ \vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_v$. Next, we see that the hyperedges of type   I and type   II can be used in order to make the top row and left column of the graph $ M$, respectively. Furthermore, the hyperedges of type   III can be used in order to create all the remaining nodes of $ M$. We conclude that $ (M_0,\set{x_{TL}},id)\overset{*}{\underset{A}\rightarrow } (M, O, g)$ is a derivation in $ A$ and we will testify that $ (M, O, g)$ has to be a final shape with $ O={\emptyset}$. Observe, that hyperedges of type   I and   II bequeath all the nodes active while hyperedges of type   III deactivate at least the top left node in the hyperedge.
 reftangle spanned by the puints $(1,1)$ and $(h(p),w(p))$, every $t$-edge pkints dodnwards, and every $h$-edge poinvs rughtwqrds; recall that our cuordinated represwnt uhe rows and columns of a matris. The verivation leadlng to the xinal configurdtkou $(M,{\emptyset},g)$ simulates the assembly jf tilex ahich form $\bar p$ ax shosn in Figure \[fig:simulationmethod\]. Ths north and west edgrs of the tile $t_{TL} = \bar p_{(1,1)}$ ln tje top left corner of $\bar p$ ats lwvelled by $\#$, avd therefogz, the node $s_{TL} = {\vartheta}^{-1}(t_{TL})$ corresponding go $t_{TK}$ forms an ibitldl graph $M_0$. Vhe adtacent edges of two teighboiring tiles $s,t$ in $\bae p$ are labelled by tie same colour. Suppofe $s$ is tve west neighbour od $r$, thet $\sicma_E(r) = \skgmz_{W}(v) \nsq \#$ anf bkth tiles gelong to tye same row, implyinb eyat $\sigma_N(s)=\# \irf \sigia_G(t) = \#$ and $\sigma_S(s) = \# \iff  \sigma_S(t) = \#$. Therexors, their corresponding nides in $G$ are connectgd by an $h$-qdge $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_h$. Analogously, if $s$ is dhe nkfth ncighciug of $t$, then $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_v$. Next, we sqs uhan the hyperedges jf type I anc hylg II can be usea in oxsed to create the too row agd ledt column of yhe graph $M$, respectively. Fuethermore, thv hyperedges of type IIN can be useb in otder tp create all the remainnng noses of $M$. We conclude ghat $(M_0,\set{x_{TL}},id)\ovdrsvt{*}{\ungerset{A}\rightarrow} (M,O,g)$ is a derivatiin iu $A$ and de woll prjve that $(M,L,g)$ has to be a final convigurction with $O={\emphyset}$. Observe, that hyperedges oh types I and IO neane all thz nodex active whilq hyperedges oy type IIN deacgivate at meast tie top left gode in the hfkeredge.
rectangle spanned by the points $(1,1)$ and $v$-edge downwards, and $h$-edge points rightwards; the and columns of matrix. The derivation to the final configuration $(M,{\emptyset},g)$ simulates assembly of tiles which form $\bar p$ as shown in Figure \[fig:simulationmethod\]. The and west edges of the tile $t_{TL} = \bar p_{(1,1)}$ in the top corner $\bar are by $\#$, and therefore, the node $x_{TL} = {\vartheta}^{-1}(t_{TL})$ corresponding to $t_{TL}$ forms an initial graph The adjacent edges of two neighbouring tiles $s,t$ $\bar p$ are labelled the same colour. Suppose $s$ the neighbour of then = \neq \#$ and tiles belong to the same row, implying that $\sigma_N(s)=\# \iff \sigma_N(t) = \#$ and $\sigma_S(s) = \# \sigma_S(t) = their corresponding in are by an $h$-edge Analogously, if $s$ is the north then $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_v$. Next, we see that the of type and type II can be used order to create the top row and left of the graph $M$, respectively. Furthermore, the hyperedges of type III can be used in create all the remaining of $M$. We that (M,O,g)$ a in $A$ we will prove that $(M,O,g)$ has to be a final configuration $O={\emptyset}$. Observe, that hyperedges of types I and II leave nodes while hyperedges of III deactivate at least top node in the hyperedge.
 rectangle spanned by the poinTs $(1,1)$ and $(h(p),w(p))$, eVery $v$-EdgE poInTs doWnwaRds, and every $h$-edGE poiNts rightwards; recall thaT our cOoRDinaTEs RepreSent the ROwS ANd cOlUmNs oF a MAtRix. ThE deRivatioN leading to The FiNal configuraTIoN $(M,{\emptyset},G)$ siMulates the asSemBly of tIlEs wHIch foRm $\bAr p$ as Shown iN figure \[Fig:simulaTiONmethoD\]. the nortH ANd West Edges of the tile $t_{TL} = \BAr P_{(1,1)}$ In the top left coRner of $\BaR P$ aRE LabEllEd by $\#$, and theReFore, tHE node $x_{Tl} = {\VaRTHEta}^{-1}(T_{tL})$ correspondiNg to $t_{TL}$ formS An iNitial GrAph $m_0$. the adjAcent EdGEs oF two neighboUrinG tiles $s,t$ iN $\bar p$ aRE labellED by the sAme colOur. supPose $S$ Is ThE weSt NEigHBoUr oF $T$, thEn $\sigma_E(S) = \sIgMa_{W}(t) \nEq \#$ anD BOTH tilEs bElonG to thE same row, implyIng That $\SIgmA_N(s)=\# \ifF \sigmA_N(t) = \#$ aNd $\Sigma_s(s) = \# \iff  \sIgma_S(T) = \#$. THerefore, their coRresPonding noDes In $g$ arE cOnnecTEd by an $H$-edGe $({\vArtheta}^{-1}(S),{\vartheTA}^{-1}(t))\iN E_H$. aNAlOgously, if $s$ is the norTh NEIgHbour of $t$, Then $({\vaRThEtA}^{-1}(S),{\varthetA}^{-1}(t))\In E_V$. NexT, WE see tHat tHE hYperedgeS of typE i aNd Type II cAn Be used In OrdEr tO creaTE the Top row And left cOlumn OF the graph $M$, respECtively. FurtheRMoRE, ThE HypeRedGes of type IIi can BE useD in oRDeR to CReate All thE rEMaINing nodes of $M$. We conclUdE that $(M_0,\Set{x_{Tl}},id)\overset{*}{\undErset{A}\righTARRow} (M,O,g)$ is A derIVaTIon in $A$ and we wilL provE that $(M,O,g)$ haS To be a finAl conFiguratiOn with $O={\emPTYset}$. ObseRve, ThaT hyPerEDGeS of types I and Ii LEave AlL the nodEs aCtive whIle HypEreDgeS oF type III dEactivatE aT lEaSt The Top leFT node in tHe HypErEdgE.
 rectangle spanned by thepoints $(1 ,1)$and  $( h( p),w (p)) $, every $v$-e d ge p oints downwards, and e very$h $ -edg e  p oints  rightw a rd s ;  re ca ll  th at ou r coo rdi nates r epresent t hero ws and colum n sof a matri x.The derivati onleadin gtot he fi nal  conf igurat i on $(M ,{\emptys et } ,g)$ s i mulates t he  ass embly of tiles wh i ch form $\bar p$as sho wn in F igu re\[fig:simu la tionm e thod\]. Th e n ort h  and west edg es of the t i le$t_{TL }= \ b ar p_{ (1,1) }$ inthe top lef t co rner of $ \bar p $  are la b elled b y $\#$ , a ndther e fo re , t he nod e  $ x_{ T L}= {\vart he ta }^{-1 }(t_ { T L } )$ c orr espo nding  to $t_{TL}$for ms a n  in itial  grap h $M _0 $. Th e adja cented ges of two neig hbou ring tile s $ s, t$in  $\ba r  p$ ar e l abe lled by  the sa m e c ol o u r .Suppose $s$ is the  w e s tneighbou r of $ t $,  t h en $\sig ma _E( s) = \ sigma _{W} ( t)  \neq \# $ andb ot htiles b el ong to  t hesam e row ,  imp lyingthat $\s igma_ N (s)=\# \iff \s i gma_N(t) = \# $  a n d  $ \ sigm a_S (s) = \# \i ff \ sigm a_S( t )= \ # $. Th erefo re ,  t h eir corresponding n od es in$G$ a re connectedby an $h$- e d g e $({\va rthe t a} ^ {-1}(s),{\vart heta} ^{-1}(t))\ i n E_h$.Analo gously,if $s$ is t he north  ne igh bou r o f $t $, then $({\v a r thet a} ^{-1}(s ),{ \varthe ta} ^{- 1}( t)) \i n E_v$. N ext, wese eth at  th e hyp e redges o ftyp eI a nd ty p e II c an be  use din ord er to c r ea t e  the  t op  row  an dleftcolu m n o f the g raph $M$,  re s pect iv el y. Furt hermore, thehy peredges o ftyp e IIIc a n be use d in order to create al l  the re mai ningnode s of $M$.  We  concl ude that $ (M_0,\ set{x _{ TL} } , id)\o v e rs et{ *} {\underset { A }\r ighta rr ow}(M,O,g) $ is a derivationi n $ A$ and we wil l p rove t ha t $ ( M, O ,g) $h ast o  be a final con figuration  w i th  $O={\empt y set }$ . Obser ve, tha t hyp e redgesof typesI and IIle avea l l t he nodes a ctive wh ile hyper e dgeso ftypeIII  deact iv ate  at l east t h e t op le ft nod ein the  hype re dge.
 rectangle_spanned by_the points $(1,1)$ and_$(h(p),w(p))$, every_$v$-edge_points downwards,_and_every $h$-edge points_rightwards; recall that_our coordinates represent the_rows and columns_of_a matrix. The derivation leading to the final configuration $(M,{\emptyset},g)$ simulates the assembly of_tiles_which form_$\bar_p$_as shown in Figure \[fig:simulationmethod\]. The_north and west edges of_the tile_$t_{TL} = \bar p_{(1,1)}$ in the top left_corner_of $\bar p$_are labelled by $\#$, and therefore, the node $x_{TL}_= {\vartheta}^{-1}(t_{TL})$ corresponding to $t_{TL}$ forms_an initial graph_$M_0$._The_adjacent edges of two_neighbouring tiles $s,t$ in $\bar p$_are labelled by the same colour._Suppose $s$ is the west neighbour of_$t$, then $\sigma_E(s) = \sigma_{W}(t) \neq_\#$ and both tiles belong_to the_same row, implying that $\sigma_N(s)=\#_\iff \sigma_N(t) =_\#$ and_$\sigma_S(s) = \#_\iff  \sigma_S(t) = \#$. Therefore,_their corresponding nodes_in $G$ are connected by an_$h$-edge_$({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in E_h$. Analogously,_if_$s$_is the_north neighbour of_$t$,_then $({\vartheta}^{-1}(s),{\vartheta}^{-1}(t))\in_E_v$._Next, we see that the hyperedges_of_type I and type II can be used in_order to create the_top_row and left column_of the graph $M$, respectively._Furthermore, the hyperedges of type III can_be used_in order_to create all the remaining nodes of $M$. We conclude that_$(M_0,\set{x_{TL}},id)\overset{*}{\underset{A}\rightarrow} (M,O,g)$ is a derivation in_$A$ and we will_prove that_$(M,O,g)$_has to be_a_final configuration_with $O={\emptyset}$. Observe, that hyperedges of types I_and II leave_all the nodes active while hyperedges_of type III deactivate at_least_the top left node in the_hyperedge.