%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Version /1.5
/Pages 2 0 R
/OpenAction [3 0 R /Fit]
/Names 4 0 R
/Outlines 5 0 R
>>
endobj
6 0 obj
<<
/Creator
/Title
/Subject
/Author
/Producer
/CreationDate (D:20250112045637+01'00')
/Keywords (finite automata, bisimulation, coinduction, up-to techniques, congruence, language equivalence, algorithm, NFA, DFA, antichain)
/ModDate (D:20160316110913+01'00')
/Trapped /False
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.16 \(TeX Live 2015/MacPorts 2015_8\) kpathsea version 6.2.1)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [3 0 R 7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R]
/Count 10
>>
endobj
3 0 obj
<<
/Resources 16 0 R
/Type /Page
/Parent 2 0 R
/Contents [17 0 R]
/Annots [18 0 R 19 0 R]
/CropBox [0.0 0.0 595.28 841.89]
/MediaBox [0.0 0.0 595.28 841.89]
/Rotate 0
>>
endobj
4 0 obj
<<
/Dests 20 0 R
>>
endobj
5 0 obj
<<
/Type /Outlines
/First 21 0 R
/Last 22 0 R
/Count 6
>>
endobj
7 0 obj
<<
/Type /Page
/Contents 23 0 R
/Resources 24 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R
35 0 R 36 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
8 0 obj
<<
/Type /Page
/Contents 37 0 R
/Resources 38 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R
49 0 R 50 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
9 0 obj
<<
/Type /Page
/Contents 51 0 R
/Resources 52 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R
63 0 R 64 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
10 0 obj
<<
/Type /Page
/Contents 65 0 R
/Resources 66 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
11 0 obj
<<
/Type /Page
/Contents 73 0 R
/Resources 74 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
12 0 obj
<<
/Type /Page
/Contents 83 0 R
/Resources 84 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R
95 0 R 96 0 R 97 0 R 98 0 R 99 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
13 0 obj
<<
/Type /Page
/Contents 100 0 R
/Resources 101 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Group 102 0 R
/Annots [103 0 R 104 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R
113 0 R 114 0 R 115 0 R 116 0 R 117 0 R 118 0 R 119 0 R 120 0 R 121 0 R 122 0 R
123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R 129 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
14 0 obj
<<
/Type /Page
/Contents 130 0 R
/Resources 131 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/Annots [132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R]
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
15 0 obj
<<
/Type /Page
/Contents 138 0 R
/Resources 139 0 R
/MediaBox [0.0 0.0 595.276 841.89]
/Parent 2 0 R
/CropBox [0.0 0.0 595.276 841.89]
/Rotate 0
>>
endobj
16 0 obj
<<
/Font 140 0 R
/XObject <<
/Im0 141 0 R
/Im1 142 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageB /ImageI]
>>
endobj
17 0 obj
<<
/Length 1442
/Filter /FlateDecode
>>
stream
xڝXn+7+HEޢ]48AU|=M
cDQ|.aKj[_hzqy^+-Kuyqyr:`I4pDihi/gڇH7oϏICH.y4QItN>ux1GOd: oAt%HC.ҋx ֱf:\p%92x.(>;DOY?<[<UK,kƴ6o{R<=z69BDԣ9Qp
R19\|B2=MeM\t5VzN6y$.ucv76v8Н`}(y+ޯ5]eUMAU%-.1R^{b#Y1\S76DM[_V1>.pwYا{\f9rac2L$sY͠`Kod":54y4eWeޮ ;EP/re<>6A\+2 %;wHq
]~tHqBB3uJLʓud&yWXoM5ٜȯ *>wnq}xb!{BdάyC[<5VN)p)2 )HRRt\D60ߟ9q<[X7צ/|{TX5 C<|)sG(jh u7$Ğs"O%PX֎[<`.y4wKq
-J,4#1
=N I]Oҷ
d@iG\+L]aiwq
9./6aN&gG;,RM)K4_l3H2Hxw|x :'7>wUP/m
endstream
endobj
18 0 obj
<<
/Type /Annot
/Subtype /Link
/Border [0 0 0]
/H /I
/C [0 1 1]
/A 143 0 R
/Rect [173.301 237.241 421.974 257.699]
>>
endobj
19 0 obj
<<
/Type /Annot
/Subtype /Link
/Border [0 0 0]
/H /I
/C [0 1 1]
/A 144 0 R
/Rect [192.472 660.459 433.419 795.636]
>>
endobj
20 0 obj
<<
/Names [(Doc-Start) [3 0 R /XYZ 72 826.58 null]
(page.1) [3 0 R /XYZ 71 827.58 null]
]
/Kids [145 0 R 146 0 R 147 0 R 148 0 R]
/Limits [(AMS.12) (theorem.4)]
>>
endobj
21 0 obj
<<
/Title (Introduction)
/A 149 0 R
/Parent 5 0 R
/Next 150 0 R
>>
endobj
22 0 obj
<<
/Title (References)
/A 151 0 R
/Parent 5 0 R
/Prev 152 0 R
>>
endobj
23 0 obj
<<
/Length 7160
/Filter /FlateDecode
>>
stream
xڽ=ْ
VNynl֭EYd_Y$%aeE#V
hMr(E#vh,g?P>G~~o7ReV]^<\mFGO.t>uX-m^̖͂f;~z]mg%Nl55\j4\Vn4*Ӆl>__Ww;t1kd/\>^6:]`D{}OK?_.L>~5
Mnܬ7).n;__+o*ϔ B yy6goh״i\ns@+QCLYP(TVyO^>pnO pŏr,q_T싉qxv]F qWpweܝ+soo
O-{|^]8Mn2d¦gJj?F5L4W;f T*sJpF!$ @og-qW|mv4+D#\I3>j`+6Z.,}psCE>\ 4ܜ=dpZ ӛ- -9e=*,|u+FszY7opM{it>ZH[E}M{{L#wO`!
>1 ^/x)ڲ ^\-l42U4S0Jdn{x~jѺ!Vr $CJkhhxshв04ۘ)&Pp|A5;uq/5ߡͺ #TԼPͤ9I"#2O0ΚKI)4E/%n6$dς6wsnvQE\G@Cݿh.O]3`g`Q*^{/z>>
yϴ++S.kYT#!m,AHWBۈxXޢ{bLHfZ˯@/+ˌ6-3\`6W~h:HZQq5c^r̓Ww"F{n9&7D1_`Bƫi u?c
x^%t]3t0Tj\xUկhL1yx=DsP_+Y_8D=oD