%PDF-1.4
%
12 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
15 0 obj
(Weighted Automata)
endobj
16 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
19 0 obj
(Minimization of Weighted Automata)
endobj
20 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
23 0 obj
(Weighted Tree Automaton)
endobj
24 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
27 0 obj
(Minimization of WTA)
endobj
28 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
31 0 obj
(Some Experimental Results)
endobj
32 0 obj
<< /S /GoTo /D [33 0 R /Fit ] >>
endobj
43 0 obj <<
/Length 930
/Filter /FlateDecode
>>
stream
xWKo1+R~GP**D6)jB6_c5V$)kv095ZH-#(6%.ԅmIj\cm`($FX6KWʭ{m;dNڽN:tu;ow^cr&vڽmNe9gtZ,-
"\z.<j-[,vvW`,mu8a9s٦wtny9:Ri[XҟŎz^8|7_jZ0vHa9\7r-j1O'bL8q(,pڇħ˛M9}eU;AA,`{Ap`˪ T1\L#c
.gr9+WO
Zԍ Ayx12}#E?M>\3o@Vr MҼޔ7eZS+_Jp'To\Lү
s{"Vn^4]{룡.KqQ_U}cusзnZc\F:-b_!TTŠkꎲ {
endstream
endobj
33 0 obj <<
/Type /Page
/Contents 43 0 R
/Resources 42 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 49 0 R
/Annots [ 41 0 R ]
>> endobj
39 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 50 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
50 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
40 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 51 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
51 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
38 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 52 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
52 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
9 0 obj <<
/Interpolate false
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (./figure/logo.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 53 0 R
/BBox [0 0 198 218]
/Resources <<
/ProcSet [ /PDF ]
/ColorSpace <<
/R12 54 0 R
/R9 55 0 R
>>/ExtGState <<
/R10 56 0 R
/R7 57 0 R
>>>>
/Length 58 0 R
/Filter /FlateDecode
>>
stream
x\ˮ,;Rﯨ/(LcfH A#5-اV}
UYA0CwpOΌrHHOx_%(=?czW~ןlϋ/1dZ~VU _Sҝ1Ht__L Fs^
}ox!hN( K/_&2Y%s6xçgiZ|snzvY(M%FޜJqyu ):7(]!e^xG)egsÛ3y[8Θ[9FpF~^%omN+aS:.}>2ΊQP^˹ZnB_+?ZzւoyAo8oHRRoiBN&gpr+&.`+X &ÐUwbEJ=n5nIH(n-3g{Q> ('^P1|U(uŲ~cKCge:7R+MOMsqݱρ} P`31
7aN`2Ym -O>!^:&c"7zT5c,;ܐ3wD,^ju;u:Ԍɣp_ߩ8S:WہdC9PԀ쐦3ľo=}^T2>,Neo4EԡwCpa/9
1=k*<ꈪ&itxjy]yW<Ww__t[[q`0z\Nk4;y+v`y"רB%8dܑ?{jC4
p궉\tk?$v1Qgضc-3&#h4xY|tDIJ$8-C3qEۑ+`W/9!w$FAbJMb^H>!(7ך䭅ȅc0{8T2#"Z}LXI:&ۑRROg>$'(@{ .L"2 7sscԺ.Yyns'Q%Cb@ɰ%!zF)97|!Vz1( wxD)YH%}Azތ&h+XTm3&"I6r,G~Qr;'_