 counter runs out. By assumption, that the language of the net with initial configuration $(\initialstate,c_0)$ is universal, there must be another run $\pi_4$ on the same word, and which is accepting. But now both runs, $\pi_4$ and $\pi_1\pi_2^k\pi_3$, are accepting from the configuration $(\initialstate,c_0+\norm{\transitions}\cdot \len{\pi_2}\cdot k)$ as the effect of $\pi_2^k$ is larger than $\norm{\transitions}\cdot \len{\pi_2}\cdot k$. This means that the net is not structurally unambiguous, which contradicts our assumptions.

Suppose otherwise, then for any bound $k$ there will be an accepting run which is going through configurations with counter value bigger than $k$, and from unambiguity, there is no other run that stays below the bound.

\[apx:thm:UOCN-bu\] **Unary encoded transitions:** By \[lem:UOCN-no-positive-loops\], if the OCN is bounded universal then every accepting run will only visit counter values below $\bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded universal if, and only if, $\bLang{\initialstate,c_0}{\bound{1}}=\alphabet^*$. This can be verified by checking universality for the UFA that results by remembering all bounded counter values in the finite state space. The claim now follows by \[lem:universality\_of\_UFA\].

**Binary encoded transitions:** By \[lem:UOCN-no-positive-loops\], if the OCN is bounded universal then every accepting run will only visit counter values below $\bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded universal if, and only if, $\bLang{s_0,c_0}{\bound{1}}=\alphabet^*$. This can be verified by checking universality for the UFA that results by remembering all bounded counter values in the finite state space. The claim now follows by \[lem:universality\_of\_UFA\] and the following fact [^^]{}$=PolyLog
counter runs out. By assumption, that the language of the internet with initial shape $ (\initialstate, c_0)$ is universal, there must be another run $ \pi_4 $ on the like word, and which is accept. But now both runs, $ \pi_4 $ and $ \pi_1\pi_2^k\pi_3 $, are accept from the configuration $ (\initialstate, c_0+\norm{\transitions}\cdot \len{\pi_2}\cdot k)$ as the effect of $ \pi_2^k$ is bigger than $ \norm{\transitions}\cdot \len{\pi_2}\cdot k$. This means that the net is not structurally unequivocal, which contradicts our assumptions. 

 Suppose otherwise, then for any bind $ k$ there will be an accepting run which is going through configurations with counter value adult than $ k$, and from unambiguity, there is no other run that stay below the bound. 

 \[apx: thm: UOCN - bu\ ] * * Unary encoded transitions :* * By \[lem: UOCN - no - convinced - loops\ ], if the OCN is bounded universal then every accepting run will only chew the fat counter values below $ \bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded universal if, and only if, $ \bLang{\initialstate, c_0}{\bound{1}}=\alphabet^*$. This can be verified by checking universality for the UFA that results by remembering all bounded counter values in the finite state space. The claim now follow by \[lem: universality\_of\_UFA\ ]. 

 * * Binary encoded transitions :* * By \[lem: UOCN - no - positive - loops\ ], if the OCN is bounded cosmopolitan then every accept run will only chew the fat counter values below $ \bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded cosmopolitan if, and only if, $ \bLang{s_0,c_0}{\bound{1}}=\alphabet^*$. This can be verified by checking universality for the UFA that results by remembering all bounded counter values in the finite state space. The claim now play along by \[lem: universality\_of\_UFA\ ] and the following fact [ ^^]{}$=PolyLog
 coknter runs out. By assumpuion, that the lanyyage oh the nst with knitial configuration $(\initiapsrate,c_0)$ is universal, there murt be anonher run $\pi_4$ oi the same word, ehd whicm is zgceptnnj. But now both tuns, $\pi_4$ and $\[i_1\pi_2^k\pi_3$, are acweotnng from the configuration $(\initialstwte,c_0+\nork{\tgansitions}\cdot \len{\ki_2}\cqot i)$ as the effect of $\pi_2^k$ is larger tgan $\nork{\transitions}\ccot \len{\pi_2}\cdot k$. This means thah the net is not shructurally unaiviguous, whicf contradibcs our assujptions.

Suppose otherwise, then fur anv bound $k$ tyeee ahll be an arceptigg run which is goinc throubh configuratipns wirh counter value biggxr than $k$, and from ugambiguitf, chere is no other run tyat sjays telod thd bkuid.

\[alx:thm:ULCN-uu\] **Unary endoded transutions:** By \[lem:UOCN-no-kosynove-loops\], if fhe OCG ys bounded universal then every acceptitg dun will only visit coubter values below $\boujd{1}\eqdef c_0+\found{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means thdt thx UCN if voknded universal if, and only if, $\bLang{\initialstwfe,v_0}{\bpund{1}}=\alphabet^*$. Tmis can be verifiec hy shecking univgrsalitv fkr the UFA that redults bi remenbering ajl bpunded counter values in thw finite stane space. The claim now follows by \[lem:oniverxality\_of\_UFA\].

**Binary encodzd trahsitions:** By \[lem:UOCN-nk-oositive-loops\], if thv OCT is bounded universal theg every arceptnng run dill only disit counher values below $\bound{1}\eqfef c_0+\yound{0}=w_0+\card{\stated}\cdot\norm{\transitions}$. This means that the OCN os bolnded unirersal if, and only yf, $\bLang{s_0,c_0}{\bounb{1}}=\alphabec^*$. This can be vegified by checking ugiversality fmt the UFA thav results by eemenbering xll bounded cointer vallef in the finite state xpazs. The claim now foolows by \[lem:uniferralytj\_of\_NFA\] agg the followhng wacg [^^]{}$=PolyUog
counter runs out. By assumption, that the the with initial $(\initialstate,c_0)$ is universal, $\pi_4$ the same word, which is accepting. now both runs, $\pi_4$ and $\pi_1\pi_2^k\pi_3$, accepting from the configuration $(\initialstate,c_0+\norm{\transitions}\cdot \len{\pi_2}\cdot k)$ as the effect of $\pi_2^k$ is than $\norm{\transitions}\cdot \len{\pi_2}\cdot k$. This means that the net is not structurally unambiguous, contradicts assumptions. otherwise, for any bound $k$ there will be an accepting run which is going through configurations with value bigger than $k$, and from unambiguity, there no other run that below the bound. \[apx:thm:UOCN-bu\] **Unary transitions:** \[lem:UOCN-no-positive-loops\], if OCN bounded then every accepting will only visit counter values below $\bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded universal if, only if, can be by universality the UFA that remembering all bounded counter values in space. The claim now follows by \[lem:universality\_of\_UFA\]. **Binary transitions:** By if the OCN is bounded universal every accepting run will only visit counter values $\bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the OCN is bounded universal if, and only if, $\bLang{s_0,c_0}{\bound{1}}=\alphabet^*$. be verified by checking for the UFA results remembering bounded values in finite state space. The claim now follows by \[lem:universality\_of\_UFA\] and the fact [^^]{}$=PolyLog
 counter runs out. By assumptioN, that the laNguagE of The NeT witH iniTial configuratIOn $(\inItialstate,c_0)$ is universal, There MuST be aNOtHer ruN $\pi_4$ on thE SaME WorD, aNd WhiCh IS aCceptIng. but now bOth runs, $\pi_4$ aNd $\pI_1\pI_2^k\pi_3$, are accepTInG from the coNfiGuration $(\initIalState,c_0+\NoRm{\tRAnsitIonS}\cdot \Len{\pi_2}\cDOt k)$ as tHe effect oF $\pI_2^K$ is larGEr than $\nORM{\tRansItions}\cdot \len{\pi_2}\cdOT k$. tHis means that thE net is NoT StRUCtuRalLy unambiguOuS, whicH ContradICtS OUR asSUmptions.

SuppoSe otherwise, THen For any BoUnd $K$ There wIll be An ACcePting run whiCh is Going throUgh conFIguratiONs with cOunter ValUe bIggeR ThAn $K$, anD fROm uNAmBigUIty, There is nO oThEr run That STAYS belOw tHe boUnd.

\[apX:thm:UOCN-bu\] **UnaRy eNcodED trAnsitIons:** BY \[lem:uOcN-no-pOsitivE-loopS\], iF the OCN is boundeD uniVersal theN evErY acCePting RUn will OnlY viSit counTer valuES beLoW $\BOUnD{1}\eqdef c_0+\bound{0}=c_0+\card{\sTaTES}\cDot\norm{\tRansitIOnS}$. THIs means tHaT thE OCN IS BoundEd unIVeRsal if, anD only iF, $\BLAnG{\initiaLsTate,c_0}{\bOuNd{1}}=\aLphAbet^*$. THIs caN be verIfied by cHeckiNG universality fOR the UFA that reSUlTS By REmemBerIng all boundEd coUNter ValuES iN thE FinitE statE sPAcE. the claim now follows bY \[lEm:univErsalIty\_of\_UFA\].

**BinarY encoded trANSItions:** By \[Lem:UocN-NO-positive-loops\], If the oCN is boundED universAl theN every acCepting ruN WIll only vIsiT coUntEr vALUeS below $\bound{1}\eqDEF c_0+\boUnD{0}=c_0+\card{\sTatEs}\cdot\nOrm{\TraNsiTioNs}$. this means That the OcN Is BoUnDed UniveRSal if, and OnLy iF, $\blanG{s_0,c_0}{\boUNd{1}}=\alphAbet^*$. THis cAn Be VEriFied by cHEcKINg unIvErSaliTy fOr The UFa thaT ResUlts by rEmemberinG alL BounDeD cOunter vAlues in the finItE state spacE. THe cLaim noW FOllows by \[Lem:universality\_of\_UFA\] and THe folloWinG fact [^^]{}$=polylog
 counter runs out. By assu mption, th at th e l ang ua ge o f th e net with ini t ialconfiguration $(\initi alsta te , c_0) $  i s uni versal, th e r e m us tbean o th er ru n $ \pi_4$on the sam e w or d, and which is  accepting . B ut now bothrun s, $\p i_ 4$a nd $\ pi_ 1\pi_ 2^k\pi _ 3$, ar e accepti ng from t h e confi g u ra tion  $(\initialstate, c _0 + \norm{\transit ions}\ cd o t\ l en{ \pi _2}\cdot k )$  as t h e effec t  o f $ \pi _ 2^k$ is large r than $\no r m{\ transi ti ons } \cdot\len{ \p i _2} \cdot k$. T hismeans tha t then et is n o t struc turall y u nam bigu o us ,whi ch con t ra dic t s o ur assum pt io ns.
Supp o s e othe rwi se,thenfor any bound  $k $ th e rewillbe an  acc ep tingrun wh ich i sgoing through c onfi gurations  wi th  co un ter v a lue bi gge r t han $k$ , and f r omun a m b ig uity, there is noot h e rrun that  stays be lo w  the bou nd .
\[ap x : thm:U OCN- b u\ ] **Unar y enco d ed  t ransiti on s:** B y\[l em: UOCN- n o-po sitive -loops\] , ift he OCN is boun d ed universalt he n ev e ry a cce pting run w illo nlyvisi t  c oun t er va luesbe l ow $\bound{1}\eqdef c_ 0+ \bound {0}=c _0+\card{\sta tes}\cdot\ n o r m{\trans itio n s} $ . This means t hat t he OCN isb ounded u niver sal if,and onlyi f , $\bLan g{\ ini tia lst a t e, c_0}{\bound{1 } } =\al ph abet^*$ . T his can  be  ve rif ied  b y checkin g univer sa li ty  f orthe U F A that r es ult sbyremem b eringall b ound ed  c o unt er valu e si n  the  f in itesta te  spac e. T h e c laim no w follows  by \[le m: un iversal ity\_of\_UFA\ ]. 

**Binary  e nco ded tr a n sitions: ** By \[lem:UOCN-no-pos i tive-lo ops \], i f th e OCN isbou nded u niv e rsal t hen ev ery a cc ept i n g run w il l o nl y visit co u n ter  valu es  bel ow $\bo und{1}\eqdef c_0+\ b oun d{0}=c_0+\car d{\ stat e s }\ cdo t \n o rm{ \t r ans i t ions}$. This me ans that t he OC N is bound e d u ni versalif, and  only if, $\b Lang{s_0, c_0}{\bou nd {1}} = \ alp habet^*$.This can  be verif i ed by ch eckin g u nivers al ity  forthe UF A  th at re sultsby  remem berin gall boun ded counter values in t he fin ite s tat e space.The cla im now fo llow s by \[lem :un ive rsali ty\ _ of\_U FA\] an d t h e fol lowi n g fact [^ ^ ]{ }$= P o ly Log
 counter_runs out._By assumption, that the_language of_the_net with_initial_configuration $(\initialstate,c_0)$ is_universal, there must_be another run $\pi_4$_on the same_word,_and which is accepting. But now both runs, $\pi_4$ and $\pi_1\pi_2^k\pi_3$, are accepting from_the_configuration $(\initialstate,c_0+\norm{\transitions}\cdot_\len{\pi_2}\cdot_k)$_as the effect of $\pi_2^k$_is larger than $\norm{\transitions}\cdot \len{\pi_2}\cdot_k$. This_means that the net is not structurally unambiguous,_which_contradicts our assumptions.

Suppose_otherwise, then for any bound $k$ there will be_an accepting run which is going_through configurations with_counter_value_bigger than $k$, and_from unambiguity, there is no other_run that stays below the bound.

\[apx:thm:UOCN-bu\]_**Unary encoded transitions:** By \[lem:UOCN-no-positive-loops\], if the_OCN is bounded universal then every_accepting run will only visit_counter values_below $\bound{1}\eqdef c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means_that the OCN_is bounded_universal if, and_only if, $\bLang{\initialstate,c_0}{\bound{1}}=\alphabet^*$. This can be_verified by checking_universality for the UFA that results_by_remembering all bounded_counter_values_in the_finite state space._The_claim now_follows_by \[lem:universality\_of\_UFA\].

**Binary encoded transitions:** By \[lem:UOCN-no-positive-loops\],_if_the OCN is bounded universal then every_accepting run will only_visit_counter values below $\bound{1}\eqdef_c_0+\bound{0}=c_0+\card{\states}\cdot\norm{\transitions}$. This means that the_OCN is bounded universal if, and_only if,_$\bLang{s_0,c_0}{\bound{1}}=\alphabet^*$. This_can be verified by checking universality for the UFA that results_by remembering all bounded counter values_in the finite state_space. The_claim_now follows by_\[lem:universality\_of\_UFA\]_and the_following fact [^^]{}$=PolyLog