underset{( r_k\ge r_{ k+ 1})}{\longmapsto} {                            \ifthenelse{\equal{r_{ k+
      2}}{}}{\renewcommand*{}{accepting}}{\renewcommand*{}{}}
\settowidth{\myautolength}{$ \max( b_k, b_{ k+ 1}- p_k)$}
\addtolength{\myautolength}{1em}
{\ifthenelse{\lengthtest{\the\myautolength>\minautolength}}
           {\setlength{\myautolength}{\myautolength}}
           {\setlength{\myautolength}{\minautolength}}}
\begin{tikzpicture}[baseline, shorten >=1pt]
  \node[state, initial]                      (1)      {$r_k$};
  \node[state, {}, right=\myautolength of 1] (end)    {$r_{ k+
      2}$};
  \path[->] (1)  edge    node[above] {$ p_k+ p_{ k+ 1}$} node[below] {$ \max( b_k, b_{ k+ 1}- p_k)$} (end);
\end{tikzpicture}
}$$

Informally, any run through the RTEA for $f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$ which maximizes output energy will spend no time in the state with rate $r_{ i+ 1}$, as this time may as well be spent in the state with rate $r_i$ without lowering output energy. To make this argument precise, we prove that this transformation does not change the values of $f$.

Let $f'$ denote the function which results from the transformation. Let $x\in L$ and $t\in {[ 0, \infty]}$. We show first that $f( x, t)\le f'( x, t)$, which is clear if $f( x, t)= \bot$. If $f( x, t)\ne \bot$, then there is an accepting run through the RTEA corresponding to $f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$. Hence we have $t
underset { (r_k\ge r _ { k+ 1})}{\longmapsto } {                             \ifthenelse{\equal{r _ { k+ 
       2}}{}}{\renewcommand*{}{accepting}}{\renewcommand * { } { } } 
 \settowidth{\myautolength}{$ \max (b_k, b _ { k+ 1}- p_k)$ } 
 \addtolength{\myautolength}{1em } 
 { \ifthenelse{\lengthtest{\the\myautolength>\minautolength } } 
            { \setlength{\myautolength}{\myautolength } } 
            { \setlength{\myautolength}{\minautolength } } } 
 \begin{tikzpicture}[baseline, shorten > = 1pt ] 
   \node[state, initial ]                       (1)       { $ r_k$ }; 
   \node[state, { }, right=\myautolength of 1 ] (end)     { $ r _ { k+ 
       2}$ }; 
   \path[- > ] (1)   border     node[above ] { $ p_k+ p _ { k+ 1}$ } node[below ] { $ \max (b_k, b _ { k+ 1}- p_k)$ } (goal); 
 \end{tikzpicture } 
 } $ $ 

 Informally, any run through the RTEA for $ f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$ which maximizes output department of energy will spend no time in the state with rate $ roentgen _ { i+ 1}$, as this time may as well be spend in the state with rate $ r_i$ without lower output energy. To seduce this argument precise, we prove that this transformation does not change the values of $ f$. 

 Let $ f'$ announce the function which results from the transformation. Let $ x\in L$ and $ t\in { [ 0, \infty]}$. We testify first that $ f (x, t)\le f' (x, t)$, which is clear if $ f (ten, t)= \bot$. If $ f (x, t)\ne \bot$, then there is an accept run through the RTEA corresponding to $ f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$. Hence we have $ t
undfrset{( r_k\ge r_{ k+ 1})}{\longmapstu} {                            \ifthendlse{\equal{r_{ k+
      2}}{}}{\renewcommaid*{}{acxeptibg}}{\renewcommand*{}{}}
\settowidgh{\myautolvngth}{$ \max( b_k, u_{ k+ 1}- p_k)$}
\addtolengvg{\myautolength}{1sl}
{\iftkeielse{\lengthtest{\jhe\myautolencth>\minautolengdh}}
           {\setlength{\myautolength}{\myautjlength}}
           {\setleggth{\krautklength}{\minautolength}}}
\begin{tikzpictude}[baselpne, shorten >=1pt]
  \npde[state, initial]                      (1)      {$r_k$};
  \jode[state, {}, tjghe=\nyautolength of 1] (end)    {$r_{ k+
      2}$};
  \path[->] (1)  edge    node[above] {$ p_k+ p_{ k+ 1}$} npde[below] {$ \naz( b_n, b_{ k+ 1}- p_k)$} (env);
\end{tihzpicture}
}$$

Informally, dny run through the RBEA fmr $d_1{\mathrel{\mathop{\trianglxright}}}\dotsm{\mathrel{\majhop{\triangnexight}}}f_n$ which maximizws outpot enargy qilu skenv nk time in the state with rate $e_{ i+ 1}$, as this time msy qs well be spsnt in tre state with rate $r_i$ without lowering mutlut energy. To make this argument precise, we krove that this transformation does not change the values ox $f$.

Lev $w'$ dtnite tfw vunction which results from the transformatiog. Ltt $q\in L$ and $t\in {[ 0, \ikfty]}$. We show first tjay $f( x, t)\le f'( x, j)$, which is clear if $f( x, t)= \boh$. If $f( v, t)\ne \bot$, then thete is an accepting run throygh the RTEA xorresponding to $f_1{\lathrel{\mathup{\troanglrright}}}\dotsm{\mathrel{\matho'{\trianfleright}}}f_n$. Jence we gxve $t
underset{( r_k\ge r_{ k+ 1})}{\longmapsto} { \ifthenelse{\equal{r_{ \settowidth{\myautolength}{$ b_k, b_{ 1}- p_k)$} \addtolength{\myautolength}{1em} >=1pt] initial] (1) {$r_k$}; {}, right=\myautolength of (end) {$r_{ k+ 2}$}; \path[->] (1) node[above] {$ p_k+ p_{ k+ 1}$} node[below] {$ \max( b_k, b_{ k+ 1}- (end); \end{tikzpicture} }$$ Informally, any run through the RTEA for $f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$ which maximizes energy spend time the state with rate $r_{ i+ 1}$, as this time may as well be spent in state with rate $r_i$ without lowering output energy. make this argument precise, prove that this transformation does change values of Let denote function which results the transformation. Let $x\in L$ and $t\in {[ 0, \infty]}$. We show first that $f( x, t)\le x, t)$, clear if x, \bot$. $f( x, t)\ne there is an accepting run through to $f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$. Hence we have $t
underset{( r_k\ge r_{ k+ 1})}{\longmapsto} {                            \iFthenelse{\eQual{r_{ K+
      2}}{}}{\reNewCoMmanD*{}{accEpting}}{\renewcomMAnd*{}{}}
\sEttowidth{\myautolength}{$ \mAx( b_k, b_{ K+ 1}- p_K)$}
\AddtOLeNgth{\mYautoleNGtH}{1EM}
{\ifThEnElsE{\lENgThtesT{\thE\myautoLength>\minaUtoLeNgth}}
           {\setlengtH{\MyAutolength}{\MyaUtolength}}
           {\setLenGth{\myaUtOleNGth}{\miNauTolenGth}}}
\begIN{tikzpIcture}[basElINe, shorTEn >=1pt]
  \nodE[STaTe, inItial]                      (1)      {$r_k$};
  \node[state, {}, rIGhT=\Myautolength of 1] (End)    {$r_{ k+
      2}$};
  \pAtH[->] (1)  EdGE    NodE[abOve] {$ p_k+ p_{ k+ 1}$} nodE[bElow] {$ \mAX( b_k, b_{ k+ 1}- p_k)$} (ENd);
\END{TikZPicture}
}$$

InformAlly, any run tHRouGh the RtEa foR $F_1{\mathrEl{\matHoP{\TriAngleright}}}\dOtsm{\Mathrel{\maThop{\trIAngleriGHt}}}f_n$ whiCh maxiMizEs oUtpuT EnErGy wIlL SpeND nO tiME in The state WiTh Rate $r_{ I+ 1}$, as tHIS TIme mAy aS welL be spEnt in the state WitH ratE $R_i$ wIthouT loweRing OuTput eNergy. TO make ThIs argument preciSe, we Prove that ThiS tRanSfOrmatIOn does Not ChaNge the vAlues of $F$.

let $F'$ dENOTe The function which reSuLTS fRom the trAnsforMAtIoN. let $x\in L$ aNd $T\in {[ 0, \InftY]}$. wE show FirsT ThAt $f( x, t)\le f'( X, t)$, whicH Is ClEar if $f( x, T)= \bOt$. If $f( x, T)\nE \boT$, thEn theRE is aN accepTing run tHrougH The RTEA correspONding to $f_1{\mathrEL{\mATHoP{\TriaNglEright}}}\dotsm{\MathREl{\maThop{\TRiAngLErighT}}}f_n$. HeNcE We HAve $t
underset{( r_k\ge r_{ k+ 1 })}{\longm apsto } {                       \ift henelse{\equal{r_{ k+     2 } }{}} { \r enewc ommand* { }{ a c cep ti ng }}{ \r e ne wcomm and *{}{}}\settowidt h{\ my autolength}{ $  \ max( b_k,b_{  k+ 1}- p_k) $}\addto le ngt h {\mya uto lengt h}{1em } 
{\ift henelse{\ le n gthtes t {\the\m y a ut olen gth>\minautolengt h }}            {\s etleng th { \m y a uto len gth}{\myau to lengt h }}
     {\ s etlength{\mya utolength}{ \ min autole ng th} } }
\beg in{ti kz p ict ure}[baseli ne,shorten > =1pt] \node[ s tate, i nitial ]             ( 1 )   {$ r_k$};
 \ no de[st ate, { } ,  rig ht= \mya utole ngth of 1] (e nd)    { $r_ { k+     2}$ }; 
  \p ath[-> ] (1)  edge    node[ab ove]  {$ p_k+p_{  k + 1 }$ } nod e [below ] { $ \ max( b_ k, b_{k + 1 }- p _ k) $} (end);
\end{tik zp i c tu re}
}$$
Infor m al ly ,  any run  t hro ught h e RTE A fo r  $ f_1{\mat hrel{\ m at ho p{\tria ng lerigh t} }}\ dot sm{\m a thre l{\mat hop{\tri angle r ight}}}f_n$ wh i ch maximizeso ut p u te nerg y w ill spend n o ti m e in  the st ate withrate$r _ {i + 1}$, as this time  m ay aswellbe spent in t he state w i t h  rate $r _i$w it h out lowering o utput  energy. T o  make th is ar gument p recise, w e prove th atthi s t ran s f or mation does n o t  cha ng e the v alu es of $ f$. 

L et$f' $denote th e functi on  w hi ch  re sults from the  t ran sf orm ation .  Let $ x\inL$ a nd  $ t \in  {[ 0,\ in f t y]}$ .We  sho w f ir st th at $ f ( x , t)\le  f'( x, t )$, whic his  clearif $f( x, t)=  \ bot$. If $ f(  x,  t)\ne \ bot$, th en there is an acceptin g  run th rou gh th e RT EA corres pon ding t o $ f _1{\ma threl{ \math op {\t r i angle r i gh t}} }\ dotsm{\mat h r el{ \math op {\tr iangler ight}}}f_n$. Hence wehave $t
underset{( r_k\ge_r_{ k+_1})}{\longmapsto} {  _ __ __  _  _   _  __     \ifthenelse{\equal{r_{ k+
      2}}{}}{\renewcommand*{}{accepting}}{\renewcommand*{}{}}
\settowidth{\myautolength}{$ \max(_b_k,_b_{ k+_1}-_p_k)$}
\addtolength{\myautolength}{1em}
{\ifthenelse{\lengthtest{\the\myautolength>\minautolength}}
_    _    _{\setlength{\myautolength}{\myautolength}}
 _       __{\setlength{\myautolength}{\minautolength}}}
\begin{tikzpicture}[baseline, shorten >=1pt]
_ \node[state, initial]      _     _  ___   _(1)     _{$r_k$};
  \node[state, {}, right=\myautolength of_1] (end)    {$r_{ k+
_     2}$};
_ \path[->] (1)  edge_ _ node[above] {$ p_k+ p_{_k+ 1}$} node[below]_{$ \max(_b_k, b_{ k+_1}- p_k)$} (end);
\end{tikzpicture}
}$$

Informally, any run through_the RTEA for_$f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$ which maximizes output energy will_spend_no time in_the_state_with rate_$r_{ i+ 1}$,_as_this time_may_as well be spent in the_state_with rate $r_i$ without lowering output energy._To make this argument_precise,_we prove that this_transformation does not change the_values of $f$.

Let $f'$ denote the_function which_results from_the transformation. Let $x\in L$ and $t\in {[ 0, \infty]}$. We_show first that $f( x, t)\le_f'( x, t)$, which_is clear_if_$f( x, t)=_\bot$._If $f(_x, t)\ne \bot$, then there is an_accepting run_through the RTEA corresponding to $f_1{\mathrel{\mathop{\triangleright}}}\dotsm{\mathrel{\mathop{\triangleright}}}f_n$._Hence we have $t