 finite words are closed under sum. The cost is $O(n_1\cdot n_2)$ for ${{\sf Last}}$- and ${\mathsf{Sum}}$-automata, and $O(n_1\cdot m_1 \cdot n_2 \cdot m_2)$ for ${\mathsf{Sup}}$-automata.

It is easy to see that the synchronized product of two ${{\sf Last}}$-automata (resp. ${\mathsf{Sum}}$-automata) defines the sum of their languages if the weight of a joint transition is defined as the sum of the weights of the corresponding transitions in the two ${{\sf Last}}$-automata (resp. ${\mathsf{Sum}}$-automata).

The construction for ${\mathsf{Sup}}$-automata is the same as for ${\mathsf{Sup}}$-automata over infinite words given in the proof of  \[theo:max-closed-under-sum\].

[|l|\*[4]{}[c|]{}]{} & max. & min. & comp. & sum\
${\mathsf{Sup}}$ & & & [$\times$]{}&\
${{\sf Last}}$ & & & &\
Det. ${\mathsf{Sum}}$ & [$\times$]{}& & &\
Nondet. ${\mathsf{Sum}}$ & & [$\times$]{}& [$\times$]{}&\

[|l|\*[4]{}[c|]{}]{} & max. & min. & comp. & sum\
[[ Sup ]{}]{}& & & [$\times$]{}&\
[[ Linf ]{}]{}& & & [$\times$]{}&\
[[DLsup]{}]{}& & & [$\times$]{}&\
[[NLsup]{}]{}& & & &\
[[DLavg]{}]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}\
[[NLavg]{}]{}& & [$\times$]{}& [$\times$]{}& [$\times$]{}\
[[DDisc]{}]{}& [$\times$]{}& [$\times$]{}& &\
[[NDisc]{}]{}& & [$\times$]{}& [$\times$]{}&\

Closure under $\max$ for infinite words
---------------------------------------

The maximum of two quantitative languages defined by nondeterministic automata can be obtained by an initial nondeterministic choice between the two automata. This observation was also made in [@DrosteR07] for discounted-sum automata. For deterministic automata, a synchronized product can be used for ${\mathsf{Sup}}$ and ${\mathsf{LimSup}}$, while for ${\mathsf{LimInf
finite words are closed under sum. The cost is $ O(n_1\cdot n_2)$ for $ { { \sf Last}}$- and $ { \mathsf{Sum}}$-automata, and $ O(n_1\cdot m_1 \cdot n_2 \cdot m_2)$ for $ { \mathsf{Sup}}$-automata. 

 It is comfortable to examine that the synchronized product of two $ { { \sf Last}}$-automata (resp. $ { \mathsf{Sum}}$-automata) define the union of their languages if the weight of a joint conversion is define as the sum of the weight of the corresponding transitions in the two $ { { \sf Last}}$-automata (resp. $ { \mathsf{Sum}}$-automata). 

 The structure for $ { \mathsf{Sup}}$-automata is the same as for $ { \mathsf{Sup}}$-automata over infinite words given in the validation of   \[theo: max - closed - under - sum\ ]. 

 [ |l|\*[4]{}[c| ] { } ] { } & max. & min. & comp. & sum\ 
 $ { \mathsf{Sup}}$ & & & [ $ \times$]{}&\ 
 $ { { \sf Last}}$ & & & & \ 
 Det. $ { \mathsf{Sum}}$ & [ $ \times$ ] { } & & & \ 
 Nondet. $ { \mathsf{Sum}}$ & & [ $ \times$ ] { } & [ $ \times$]{}&\ 

 [ |l|\*[4]{}[c| ] { } ] { } & max. & min. & comp. & sum\ 
 [ [ Sup ] { } ] { } & & & [ $ \times$]{}&\ 
 [ [ Linf ] { } ] { } & & & [ $ \times$]{}&\ 
 [ [ DLsup ] { } ] { } & & & [ $ \times$]{}&\ 
 [ [ NLsup ] { } ] { } & & & & \ 
 [ [ DLavg ] { } ] { } & [ $ \times$ ] { } & [ $ \times$ ] { } & [ $ \times$ ] { } & [ $ \times$]{}\ 
 [ [ NLavg ] { } ] { } & & [ $ \times$ ] { } & [ $ \times$ ] { } & [ $ \times$]{}\ 
 [ [ DDisc ] { } ] { } & [ $ \times$ ] { } & [ $ \times$ ] { } & & \ 
 [ [ NDisc ] { } ] { } & & [ $ \times$ ] { } & [ $ \times$]{}&\ 

 Closure under $ \max$ for countless words 
 --------------------------------------- 

 The utmost of two quantitative linguistic process defined by nondeterministic automata can be obtained by an initial nondeterministic option between the two automata. This observation was also made in   [ @DrosteR07 ] for discounted - kernel automata. For deterministic automata, a synchronized product can be used for $ { \mathsf{Sup}}$ and $ { \mathsf{LimSup}}$, while for $ { \mathsf{LimInf
 fijite words are closed unaer sum. The cosj us $O(n_1\cvot n_2)$ fkr ${{\sf Lart}}$- and ${\mathsf{Sum}}$-automata, and $O(b_1\cdot m_1 \cdot n_2 \cdot m_2)$ for ${\mxthsf{Sup}}$-altomata.

It is tasy to see that vge syncmxonizsf prmvuct of two ${{\sf Kast}}$-automada (resp. ${\mathsf{Vuo}}$-abtomata) defines the sum of their landuages of the weight of a jpynt fgaksition is defined as the sum of the wepghts of the corrrsponding transitions in tje tao ${{\sf Last}}$-automata (resp. ${\mathsd{Sum}}$-wytomata).

The cunstruction for ${\mathsf{Aup}}$-automata is the same as for ${\oathsy{Sup}}$-automatq iveg infinite wirds diven in the proof ox  \[theo:msx-closed-under-smm\].

[|l|\*[4]{}[c|]{}]{} & maz. & min. & comp. & sum\
${\mathvf{Sup}}$ & & & [$\times$]{}&\
${{\sf Lwst}}$ & & & &\
Ded. ${\jathsf{Sum}}$ & [$\times$]{}& & &\
Nindet. ${\matvsf{Sjn}}$ & & [$\tijex$]{}& [$\fimes$]{}&\

[|l|\*[4]{}[f|]{}]{} & jax. & min. & domp. & sum\
[[ Syp ]{}]{}& & & [$\times$]{}&\
[[ Linf ]{}]{}& & & [$\tynes$]{}&\
[[DLsup]{}]{}& & & [$\tijes$]{}&\
[[NLstp]{}]{}& & & &\
[[DLavg]{}]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}\
[[NLavg]{}]{}& & [$\uimes$]{}& [$\times$]{}& [$\times$]{}\
[[DDisc]{}]{}& [$\times$]{}& [$\times$]{}& &\
[[NDisc]{}]{}& & [$\times$]{}& [$\tlmes$]{}&\

Closuwe under $\max$ for infinite words
---------------------------------------

The maximum of two quanvigatnyc lavtuwges defined by nondeterministic automata can ge ontained by an inltial nondeterminixtlc shoice betweev the cso automata. This obsfrvatiog was also madt in [@DtosteR07] for discounted-sum auromata. For dvterninistic automata, c synchronizzd procuct van be used for ${\mathsf{Sbp}}$ and ${\mathsf{LimSkp}}$, while rur ${\mathsf{LimInf
finite words are closed under sum. The $O(n_1\cdot for ${{\sf and ${\mathsf{Sum}}$-automata, and m_2)$ ${\mathsf{Sup}}$-automata. It is to see that synchronized product of two ${{\sf Last}}$-automata ${\mathsf{Sum}}$-automata) defines the sum of their languages if the weight of a joint is defined as the sum of the weights of the corresponding transitions in two Last}}$-automata ${\mathsf{Sum}}$-automata). construction for ${\mathsf{Sup}}$-automata is the same as for ${\mathsf{Sup}}$-automata over infinite words given in the proof \[theo:max-closed-under-sum\]. [|l|\*[4]{}[c|]{}]{} & max. & min. & comp. sum\ ${\mathsf{Sup}}$ & & [$\times$]{}&\ ${{\sf Last}}$ & & &\ ${\mathsf{Sum}}$ & & Nondet. & & [$\times$]{}& [|l|\*[4]{}[c|]{}]{} & max. & min. & comp. & sum\ [[ Sup ]{}]{}& & & [$\times$]{}&\ [[ Linf & & & & [[NLsup]{}]{}& & [[DLavg]{}]{}& [$\times$]{}& [$\times$]{}& [[NLavg]{}]{}& & [$\times$]{}& [$\times$]{}& [$\times$]{}\ [[DDisc]{}]{}& [[NDisc]{}]{}& & [$\times$]{}& [$\times$]{}&\ Closure under $\max$ for words --------------------------------------- maximum of two quantitative languages defined nondeterministic automata can be obtained by an initial choice between the two automata. This observation was also made in [@DrosteR07] for discounted-sum automata. automata, a synchronized product be used for and while ${\mathsf{LimInf
 finite words are closed under Sum. The cost Is $O(n_1\cDot N_2)$ foR ${{\sF LasT}}$- and ${\Mathsf{Sum}}$-automATa, anD $O(n_1\cdot m_1 \cdot n_2 \cdot m_2)$ for ${\mAthsf{suP}}$-AutoMAtA.

It is Easy to sEE tHAT thE sYnChrOnIZeD prodUct Of two ${{\sf last}}$-automaTa (rEsP. ${\mathsf{Sum}}$-auTOmAta) defines The Sum of their laNguAges if ThE weIGht of A joInt trAnsitiON is defIned as the SuM Of the wEIghts of THE cOrreSponding transitioNS iN The two ${{\sf Last}}$-auTomata (ReSP. ${\mATHsf{sum}}$-Automata).

ThE cOnstrUCtion foR ${\MaTHSF{SuP}}$-Automata is the Same as for ${\maTHsf{sup}}$-autOmAta OVer infInite WoRDs gIven in the prOof oF  \[theo:max-cLosed-uNDer-sum\].

[|l|\*[4]{}[C|]{}]{} & Max. & min. & cOmp. & sum\
${\MatHsf{sup}}$ & & & [$\tIMeS$]{}&\
${{\sF LaSt}}$ & & & &\
dEt. ${\mAThSf{SUM}}$ & [$\tiMes$]{}& & &\
NondeT. ${\mAtHsf{SuM}}$ & & [$\timES$]{}& [$\TIMes$]{}&\

[|l|\*[4]{}[C|]{}]{} & maX. & min. & Comp. & sUm\
[[ Sup ]{}]{}& & & [$\times$]{}&\
[[ LinF ]{}]{}& & & [$\tiMes$]{}&\
[[DlSup]{}]{}& & & [$\Times$]{}&\
[[nLsup]{}]{}& & & &\
[[dLavG]{}]{}& [$\tImes$]{}& [$\tImes$]{}& [$\tiMes$]{}& [$\tiMeS$]{}\
[[NLavg]{}]{}& & [$\times$]{}& [$\timeS$]{}& [$\timEs$]{}\
[[DDisc]{}]{}& [$\tiMes$]{}& [$\TiMes$]{}& &\
[[nDIsc]{}]{}& & [$\tiMEs$]{}& [$\timeS$]{}&\

ClOsuRe under $\Max$ for iNFinItE WORdS
---------------------------------------

The maximum of two quAnTITaTive langUages dEFiNeD By nondetErMinIstiC AUtomaTa caN Be Obtained By an inITiAl NondeteRmInistiC cHoiCe bEtweeN The tWo autoMata. This ObserVAtion was also maDE in [@DrosteR07] for DIsCOUnTEd-suM auTomata. For deTermINistIc auTOmAta, A SynchRonizEd PRoDUct can be used for ${\mathSf{sup}}$ and ${\MathsF{LimSup}}$, while fOr ${\mathsf{LiMiNF
 finite words are closed u nder sum.The c ost  is  $ O(n_ 1\cd ot n_2)$ for $ { {\sf  Last}}$- and ${\maths f{Sum }} $ -aut o ma ta, a nd $O(n _ 1\ c d otm_ 1\cd ot n_ 2 \cd otm_2)$ f or ${\math sf{ Su p}}$-automat a .
It is eas y t o see that t hesynchr on ize d  prod uct  of t wo ${{ \ sf Las t}}$-auto ma t a (res p . ${\ma t h sf {Sum }}$-automata) def i ne s  the sum of th eir la ng u ag e s  if  th e weight o fa joi n t trans i ti o n isd efined as the  sum of the wei ghts o fthe corres pondi ng tra nsitions in  the  two ${{\ sf Las t }}$-aut o mata (r esp. $ {\m ath sf{S u m} }$ -au to m ata ) .
Th e  co nstructi on  f or ${ \mat h s f { Sup} }$- auto matais the same a s f or $ { \ma thsf{ Sup}} $-au to mataover i nfini te  words given in  the  proof of   \ [t heo :m ax-cl o sed-un der -su m\].

[ |l|\*[4 ] {}[ c| ] { } ]{ } & max. & min. &co m p .& sum\
$ {\math s f{ Su p }}$ & &&[$\ time s $ ]{}&\ 
${{ \ sf  Last}}$  & & & &\ 
D et. ${\ ma thsf{S um }}$  &[$\ti m es$] {}& &&\
Nonde t. ${ \ mathsf{Sum}}$&  & [$\times$] { }& [ $\ t imes $]{ }&\

[|l|\* [4]{ } [c|] {}]{ }  &  ma x . & m in. &  c o mp .  & sum\
[[ Sup ]{}] {} & & &[$\ti mes$]{}&\
[[Linf ]{}]{ } & & & [$\t imes $ ]{ } &\
[[DLsup]{}] {}& &  & [$\time s $]{}&\
[ [NLsu p]{}]{}&  & & &\
[ [ D Lavg]{}] {}&  [$ \ti mes $ ] {} & [$\times$]{ } &  [$\ ti mes$]{} & [ $\times $]{ }\[[N Lav g] {}]{}& &[$\times $] {} &[$ \ti mes$] { }& [$\ti me s$] {} \
[ [DDis c ]{}]{} & [$\ time s$ ]{ } & [ $\times $ ]{ } &  &\[[ ND isc] {}] {} & & [ $\ti m es$ ]{}& [$ \times$]{ }&\ 
Clo su re  under$\max$ for in fi nite words 
- --- ------ - - -------- -------------------

Th e  maximu m o f two  qua ntitative  la nguage s d e finedby non deter mi nis t i c aut o m at a c an  be obtain e d  by  an i ni tial  nondet erministic choiceb etw een the two a uto mata . Th iso bs e rva ti o n w a s  also made in [ @DrosteR07 ]f or  discounte d -su mautomat a. Fordeter m inistic  automata , a synch ro nize d pro duct can b e used f or ${\mat h sf{Su p }} $ and  ${ \maths f{ Lim Sup}} $, whi l e f or ${ \maths f{ LimInf 
 finite_words are_closed under sum. The_cost is_$O(n_1\cdot_n_2)$ for_${{\sf_Last}}$- and ${\mathsf{Sum}}$-automata,_and $O(n_1\cdot m_1_\cdot n_2 \cdot m_2)$_for ${\mathsf{Sup}}$-automata.

It is_easy_to see that the synchronized product of two ${{\sf Last}}$-automata (resp. ${\mathsf{Sum}}$-automata) defines the_sum_of their_languages_if_the weight of a joint_transition is defined as the_sum of_the weights of the corresponding transitions in the_two_${{\sf Last}}$-automata (resp._${\mathsf{Sum}}$-automata).

The construction for ${\mathsf{Sup}}$-automata is the same as for_${\mathsf{Sup}}$-automata over infinite words given in_the proof of_ \[theo:max-closed-under-sum\].

[|l|\*[4]{}[c|]{}]{}_&_max. & min. &_comp. & sum\
${\mathsf{Sup}}$ & & &_[$\times$]{}&\
${{\sf Last}}$ & & & &\
Det._${\mathsf{Sum}}$ & [$\times$]{}& & &\
Nondet. ${\mathsf{Sum}}$ &_& [$\times$]{}& [$\times$]{}&\

[|l|\*[4]{}[c|]{}]{} & max. &_min. & comp. & sum\
[[_Sup ]{}]{}&_& & [$\times$]{}&\
[[ Linf ]{}]{}&_& & [$\times$]{}&\
[[DLsup]{}]{}&_& &_[$\times$]{}&\
[[NLsup]{}]{}& & &_&\
[[DLavg]{}]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}& [$\times$]{}\
[[NLavg]{}]{}& &_[$\times$]{}& [$\times$]{}& [$\times$]{}\
[[DDisc]{}]{}&_[$\times$]{}& [$\times$]{}& &\
[[NDisc]{}]{}& & [$\times$]{}& [$\times$]{}&\

Closure_under_$\max$ for infinite_words
---------------------------------------

The_maximum_of two_quantitative languages defined_by_nondeterministic automata_can_be obtained by an initial nondeterministic_choice_between the two automata. This observation was_also made in [@DrosteR07] for_discounted-sum_automata. For deterministic automata,_a synchronized product can be_used for ${\mathsf{Sup}}$ and ${\mathsf{LimSup}}$, while_for ${\mathsf{LimInf