%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 13 0 obj << /S /GoTo /D (Outline0.1) >> endobj 16 0 obj (Stability Analysis) endobj 17 0 obj << /S /GoTo /D (Outline0.2) >> endobj 20 0 obj (Ordinary Languages) endobj 21 0 obj << /S /GoTo /D (Outline0.2.1.20) >> endobj 24 0 obj (Marked Graph Transition Sequences) endobj 25 0 obj << /S /GoTo /D (Outline0.2.2.36) >> endobj 28 0 obj (Characteristic Equation and Perfectness) endobj 29 0 obj << /S /GoTo /D (Outline0.2.3.52) >> endobj 32 0 obj (Solving Reachability) endobj 33 0 obj << /S /GoTo /D (Outline0.2.4.63) >> endobj 36 0 obj (Computing the Downward-Closure) endobj 37 0 obj << /S /GoTo /D (Outline0.3) >> endobj 40 0 obj (Terminal Languages) endobj 41 0 obj << /S /GoTo /D (Outline0.4) >> endobj 44 0 obj (Covering Languages) endobj 45 0 obj << /S /GoTo /D (Outline0.5) >> endobj 48 0 obj (Algebraic Languages) endobj 49 0 obj << /S /GoTo /D (Outline1) >> endobj 52 0 obj (Appendix) endobj 53 0 obj << /S /GoTo /D [54 0 R /Fit ] >> endobj 72 0 obj << /Length 1164 /Filter /FlateDecode >> stream xWn7}W (i/8 R7VT,e! ^95!I닚53'Zpd^"dBZRfty[&I8R/H;gi Aڎ҆yG!o6C|0I~x|KRYL@Pq#0eSܴ-X0,8g阵HkЁLr+^<28fr;ka4i Z4^V3Rg3glQ>g3Ŏ؇`lj;^%3&9]j&&nHEy#-ai ~vi/Mx],psΟ<)PҖH8R(sW(!/ f1'k * **L}NFi1η+DS*BKҍ(ӳސ*F G>Fh: "Bwi9`^)JXiO9CE($E SEP}NoK8o6c銇>kzly&puEyƟ,]B<(̊IAR&PJfWc>uyBQ;6Es6 ZyծdڶvdUF1zyp;0ޤX~_Pp/w #{?'#Oߎ/NL[;`ۻ4tK%x9|F(B! C،Eq^'=D N_֘|*v@A3/pkwA;ƕ{Q:\DCۂ<<55h F"d>^9l1:(\(;"M;Nv6AtB`?hW)=TΠT$Z|4;o| 4aAfKH} 9Ӄ`&j>풿_/fx~a zIJC} ܠ pEqʒjr?#ܪOnxP&ui%jHm yޕ)Jҁ_0> EO%>\5WC{?@'eUۼ1Ya$]<K.A \qwe}S'H endstream endobj 54 0 obj << /Type /Page /Contents 72 0 R /Resources 71 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 80 0 R /Annots [ 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R ] >> endobj 12 0 obj << /Interpolate false /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./pictures/logoLIAFA.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 81 0 R /BBox [0 0 191 191] /Resources << /XObject << /Im1 82 0 R >>/ProcSet [ /PDF ] >> /Length 39 /Filter /FlateDecode >> stream x+2T0 BC]##]ccs\.}\C|@. l@ endstream endobj 81 0 obj << /Producer (pdfTeX-1.40.3) /Creator (TeX) /CreationDate (D:20090508183452+02'00') /ModDate (D:20090508183452+02'00') /Trapped /False /PTEX.Fullbanner (This is pdfTeX using libpoppler, Version 3.141592-1.40.3-2.2 \(Web2C 7.5.6\) kpathsea version 3.5.6) >> endobj 82 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./logoLIAFA.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 83 0 R /BBox [ 0 0 595.275591 841.889764] /Resources << /ExtGState << /a0 << /CA 1 /ca 1 >> >> /Pattern << /res6 84 0 R >> >> /Length 89 /Filter /FlateDecode >> stream x+TH,)I-SH.V/J-6S(NSO4PH/V22033600R0523400RU0&,nl$dxn+xy 6#H endstream endobj 83 0 obj << /Creator (cairo 1.4.14 \(http://cairographics.org\)) /Producer (cairo 1.4.14 \(http://cairographics.org\)) >> endobj 84 0 obj << /Length 85 0 R /BBox [ 0 0 190 190] /XStep 1818 /YStep 1818 /PatternType 1 /TilingType 1 /PaintType 1 /Matrix [ 1 0 0 1 202.637795 337.215118] /Resources << /XObject << /res4 86 0 R >> >> >> stream q 190 0 0 190 0 0 cm /res4 Do Q endstream endobj 85 0 obj 33 endobj 86 0 obj << /Length 87 0 R /Type /XObject /Subtype /Image /Width 190 /Height 190 /ColorSpace /DeviceRGB /BitsPerComponent 8 /Filter /FlateDecode >> stream xtu4mv6-Kz".J+rZp^KQd* B[szﮊ,e}i_-mr1I&6M&/˜&|L2314Arsf[[A}sDI#CvQcț$k]-HFaHJu"2y5#JDb5DY$ҙ$nfم;QYh˻,S(lR3h&f!4A2%ez78fҵ!I^E{d8yoe:\;QYh˻(g IJ|PLhȼ'dkdi֘akptyj8)OM?X|rH{s믆x .} XAE^UKKH̤Mڔ5eĵ4_dH$>4O)UЂVzbГiԢj5:84NHL(aLY8YfPHWA뜛~g&`>4aP}keO1˩sl[+r)'8?P8Z`'C-9d㰵b3Ual? /qC><}c6||RLer@$89 r@ r@9 G09 #r@L@9 " rr@99 r@ r@9 G09 #r@L@9 " rr@99 r@ r@9 G09 #r@L@9 " rr@99 )!ܒ3d| gy9 gR8oI^A,gtZ5wnh}B r&SNikUω7c+/Fs72([+n?"i&C֊ӇLT#! 'cXOUd0kA'r~!FHp$2HV=ql I/'kFۓ)ґLwysOߥV3IGsN(Z7KZ1 $Μkv9uQz}'NzU/)w: lJAy'.MJU÷45MO˒8,צDfP6B1F9HDɉ?^9e֨Uы|l|-N%吪F$O?Og3h [ȠT"Mr$OSB)*ɈI$#) JAdxڈ`+RfH,GH$Q)7"qP=*#CbLAr@"!I )ciȑ4T(<d(,ddQ6Huen-3rŃR.ό.7'܍9<<2F9Qҵ
3F@NqB+ԌR9qG ,Ǔ=Wr8sB@q%' E@rBJo@9 !r@~@9 r@~@9 J9#d{ܱ*ꗥ C9jr<?}31!{9t9e ''z gr2Aș፷ÕR#,]wo8s@pScAVSoZi4}&9
㎜=g$:i1ׄvIs,f9NxQ