[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
22K of postscript: Interrupt operator of CSPP
%!PS-Adobe-2.0
%%Creator: dvips(k) 5.78 Copyright 1998 Radical Eye Software (www.radicaleye.com)
%%Title: cspp.dvi
%%Pages: 1
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentFonts: Times-Bold Times-Roman Times-Italic
%%EndComments
%DVIPSCommandLine: dvips -p45 -l45 cspp
%DVIPSParameters: dpi=360, compressed
%DVIPSSource: TeX output 1999.03.02:1114
%%BeginProcSet: texc.pro
%!
/TeXDict 300 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /@landscape{/isls true N}B
/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B
/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
.1 sub]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N
/cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id
gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp
add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add
/gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{
dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1
adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2
idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string
putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval
adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg}
{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{
adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2
chg nd}{pop nd}]dup{bind pop}forall N /D{/cc X dup type /stringtype ne{]
}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook
known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
/IE 256 array N 2 string 0 1 255{IE S dup 360 add 36 4 index cvrs cvn
put}for pop 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N
/RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley
X /rulex X V}B /V{}B /RV statusdict begin /product where{pop false[
(Display)(NeXT)(LaserWriter 16/600)]{dup length product length le{dup
length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}
forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: 8r.enc
% @@psencodingfile@{
% author = "S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry",
% version = "0.6",
% date = "22 June 1996",
% filename = "8r.enc",
% email = "kb@@mail.tug.org",
% address = "135 Center Hill Rd. // Plymouth, MA 02360",
% codetable = "ISO/ASCII",
% checksum = "119 662 4424",
% docstring = "Encoding for TrueType or Type 1 fonts to be used with TeX."
% @}
%
% Idea is to have all the characters normally included in Type 1 fonts
% available for typesetting. This is effectively the characters in Adobe
% Standard Encoding + ISO Latin 1 + extra characters from Lucida.
%
% Character code assignments were made as follows:
%
% (1) the Windows ANSI characters are almost all in their Windows ANSI
% positions, because some Windows users cannot easily reencode the
% fonts, and it makes no difference on other systems. The only Windows
% ANSI characters not available are those that make no sense for
% typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen
% (173). quotesingle and grave are moved just because it's such an
% irritation not having them in TeX positions.
%
% (2) Remaining characters are assigned arbitrarily to the lower part
% of the range, avoiding 0, 10 and 13 in case we meet dumb software.
%
% (3) Y&Y Lucida Bright includes some extra text characters; in the
% hopes that other PostScript fonts, perhaps created for public
% consumption, will include them, they are included starting at 0x12.
%
% (4) Remaining positions left undefined are for use in (hopefully)
% upward-compatible revisions, if someday more characters are generally
% available.
%
% (5) hyphen appears twice for compatibility with both ASCII and Windows.
%
/TeXBase1Encoding [
% 0x00 (encoded characters from Adobe Standard not in Windows 3.1)
/.notdef /dotaccent /fi /fl
/fraction /hungarumlaut /Lslash /lslash
/ogonek /ring /.notdef
/breve /minus /.notdef
% These are the only two remaining unencoded characters, so may as
% well include them.
/Zcaron /zcaron
% 0x10
/caron /dotlessi
% (unusual TeX characters available in, e.g., Lucida Bright)
/dotlessj /ff /ffi /ffl
/.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef
% very contentious; it's so painful not having quoteleft and quoteright
% at 96 and 145 that we move the things normally found there down to here.
/grave /quotesingle
% 0x20 (ASCII begins)
/space /exclam /quotedbl /numbersign
/dollar /percent /ampersand /quoteright
/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash
% 0x30
/zero /one /two /three /four /five /six /seven
/eight /nine /colon /semicolon /less /equal /greater /question
% 0x40
/at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O
% 0x50
/P /Q /R /S /T /U /V /W
/X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore
% 0x60
/quoteleft /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o
% 0x70
/p /q /r /s /t /u /v /w
/x /y /z /braceleft /bar /braceright /asciitilde
/.notdef % rubout; ASCII ends
% 0x80
/.notdef /.notdef /quotesinglbase /florin
/quotedblbase /ellipsis /dagger /daggerdbl
/circumflex /perthousand /Scaron /guilsinglleft
/OE /.notdef /.notdef /.notdef
% 0x90
/.notdef /.notdef /.notdef /quotedblleft
/quotedblright /bullet /endash /emdash
/tilde /trademark /scaron /guilsinglright
/oe /.notdef /.notdef /Ydieresis
% 0xA0
/.notdef % nobreakspace
/exclamdown /cent /sterling
/currency /yen /brokenbar /section
/dieresis /copyright /ordfeminine /guillemotleft
/logicalnot
/hyphen % Y&Y (also at 45); Windows' softhyphen
/registered
/macron
% 0xD0
/degree /plusminus /twosuperior /threesuperior
/acute /mu /paragraph /periodcentered
/cedilla /onesuperior /ordmasculine /guillemotright
/onequarter /onehalf /threequarters /questiondown
% 0xC0
/Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
/Egrave /Eacute /Ecircumflex /Edieresis
/Igrave /Iacute /Icircumflex /Idieresis
% 0xD0
/Eth /Ntilde /Ograve /Oacute
/Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex
/Udieresis /Yacute /Thorn /germandbls
% 0xE0
/agrave /aacute /acircumflex /atilde
/adieresis /aring /ae /ccedilla
/egrave /eacute /ecircumflex /edieresis
/igrave /iacute /icircumflex /idieresis
% 0xF0
/eth /ntilde /ograve /oacute
/ocircumflex /otilde /odieresis /divide
/oslash /ugrave /uacute /ucircumflex
/udieresis /yacute /thorn /ydieresis
] def
%%EndProcSet
%%BeginProcSet: texps.pro
%!
TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2
index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont /setfont cvx]cvx def}def /ObliqueSlant
{dup sin S cos div neg}B /SlantFont{4 index mul add}def /ExtendFont{3 -1
roll mul exch}def /ReEncodeFont{/Encoding exch def}def end
%%EndProcSet
TeXDict begin 39158280 55380996 1000 360 360 (cspp.dvi)
@start /Fa 135[30 7[33 2[50 17 6[27 3[30 27[40 12[30
4[30 30 30 2[15 46[{TeXBase1Encoding ReEncodeFont}12
59.7758 /Times-Bold rf /Fb 135[43 4[33 2[48 2[72 24 6[38
3[43 27[57 12[43 56[{TeXBase1Encoding ReEncodeFont}9
86.0772 /Times-Bold rf /Fc 139[17 23 2[30 30 5[17 3[27
12[37 2[43 1[30 37 1[37 1[40 8[37 3[37 65[{
TeXBase1Encoding ReEncodeFont}14 59.7758 /Times-Italic
rf /Fd 150[11 3[18 31[24 69[{TeXBase1Encoding ReEncodeFont}3
39.8506 /Times-Italic rf /Fe 134[30 30 43 30 30 17 23
20 30 30 30 30 47 17 30 17 17 30 30 20 27 30 27 30 27
3[20 1[20 3[56 2[37 33 2[33 9[33 37 1[40 40 43 6[17 1[30
30 1[30 30 30 30 30 30 1[15 4[20 20 37[33 2[{
TeXBase1Encoding ReEncodeFont}49 59.7758 /Times-Roman
rf /Ff 138[40 24 1[32 1[40 1[40 8[32 27[28 17[36 4[36
1[36 1[18 46[{TeXBase1Encoding ReEncodeFont}11 71.731
/Times-Bold rf
%DVIPSBitmapFont: Fg lasy10 17.28 1
/Fg 1 51 df<003FB812804817C0B9FCA200F0C91203B3B3A6B9FCA37E323279B640>50
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fh cmr8 8 2
/Fh 2 51 df<12035A123F12C71207B3A3EAFFF80D1A7C9915>49
D<EA07E0EA1838EA201CEA401EEAF00EEAF80FA312201200131EA2133C1338137013E013
C0EA0180EA0300EA0601120C1218EA1002EA3FFE127F12FF101A7E9915>I
E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fi msbm10 12 1
/Fi 1 81 df<B6FC15E0390C0E07F890380C019EEC00C7EDC180A2ED60C0A21660A616C0
A215C0EDC180EDC300EC018EEC037C90380FFFF01580010CC8FCAFB512E0A223297EA82A
>80 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fj cmsy8 8 1
/Fj 1 51 df<EB7FF8EA01FF38078000000EC7FC12185AA25AA25AA3B512F8A200C0C7FC
A31260A27EA27E120E6C7E3801FFF8EA007F151A7D961C>50 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fk cmex10 12 10
/Fk 10 99 df<124012E0B3B3A212400328788114>12 D<150E151C1538157815F015E0
EC01C01403EC078015005C141E141C143C5CA25C13015C13035C13075C130F91C7FC5BA2
131E133EA25BA35BA3485AA3485AA312075BA3120FA25BA3121FA390C8FCA25AA5123EA2
127EA9127C12FCB3AE127C127EA9123EA2123FA57EA27FA3120FA37FA21207A37F1203A3
6C7EA36C7EA3137CA37FA2131E131FA27F8013078013038013018013001478A280141C14
1E80801580EC03C01401EC00E015F015781538151C150E1FB272812F>32
D<12E012707E123C7E120E7E7F6C7E12017F6C7E137013787FA27F131F7F801307801303
80130180A2130080A2147CA380A380A3EC0F80A315C01407A315E0A21403A315F0A31401
A215F8A51400A215FCA9157C157EB3AE157C15FCA915F8A21401A515F0A21403A315E0A3
1407A215C0A3140F1580A3EC1F00A3143EA35CA35CA25C1301A25C13035C13075C130F91
C7FC5B131E5BA25B137013F0485A5B1203485A90C8FC120E121E5A12385A5A1FB27F812F
>I<1470EB01F01307EB0FE0EB1F80EB3F00137E13FE485A485A485AA2485A121F5B123F
A25B127FA390C7FC5AB3AE14366A7E35>56 D<12E012F812FE127FEA1F806C7E6C7E7F6C
7E6C7E6C7EA2137F1480133F14C0A2131F14E0A3130F14F0B3AE1436767E35>I<B4FCB3
AE7E7FA3123F7FA2121F7F120F6C7EA26C7E6C7E6C7E137E7FEB1F80EB0FE0EB07F01301
EB007014366A8035>I<EB0FF0B3AE14E0131FA314C0133FA21480137F140013FEA2485A
485A485A5B485A485A007FC7FC12FE12F812E01436768035>I<EB0FF0B3AF14E0131FA2
14C0A2133F1480A2EB7F00A213FEA2485A5B485A485A5B485A48C7FC123E12FC12F0A212
FC123E7E6C7E6C7E7F6C7E6C7E7F6C7EA2137FA2EB3F80A214C0131FA214E0A2130F14F0
B3AF146E768035>I<B4FCB3AF7E7FA2123FA27F121FA26C7EA26C7EA26C7E12016C7E13
7E133E7FEB0F80EB07C0EB03F01300A21303EB07C0EB0F80EB1F00133E137E5B485A1203
485AA2485AA2485AA2123F5BA2127FA290C7FC5AB3AF146E6A8035>I<497EEB07E0497E
EB3FFCEBF81F3901E0078039078001E0001EC712780070140E00C01403200A80AB21>98
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fl stmary10 12 1
/Fl 1 23 df<49B4FC010F13E0013F13F890387E38FCD801F0131FD803E0EB0F80D80780
EB03C0D80F00EB01E0000E1400481570003C15780038153848151CA348150EA3B712FEA3
3AE00038000EA30070151CA36C1538003C1578001C15706C15E0000F1401D80780EB03C0
D803E0EB0F80D801F0EB1F00D8007E13FC6DB45A010F13E0010190C7FC27277DA12E>22
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fm cmmi12 12 1
/Fm 1 60 df<127812FCA212FEA2127A1202A41204A31208A212101220124007127B8510
>59 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fn msam10 12 6
/Fn 6 89 df<B712FEA33AE00038000EAFB712FEA33AE00038000EB0B712FEA27E27287D
A72E>1 D<12C0A27E7E7E7E12EEEAE780EAE1E0EAE07013101300B3B3A70C3675A919>
22 D<12E0B3B3A713101370EAE1E0EAE780EAEE0012FC5A5A5A5AA20C3675A919>I<1260
12F012FCB4FC13C013F013FC13FF14C014F014FC14FF8115E015F815FEEDFF8016E0A316
80EDFE0015F815E0158092C7FC14FC14F014C091C8FC13FC13F013C090C9FC12FC12F05A
23257B9F2E>73 D<16C01503150F153F15FF1403140F5C147F49B5FC1307131F137F48B6
FC5A120F123FB7FCA3123F120F12037E6C7E131F130713016D7E141F8014031400153F15
0F1503150122257A9F2E>I<1604161816301640ED0180ED030015065D151C5D5D15605D
14014A5A4AC7FC1406140E5C143C1438147814705CA21301380803C0123C007C5BEAFE07
007F90C8FC5BEA3F8FEA1F9E13DEEA0FFE5B12071203A212015BEA00E0262B7BA932>88
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fo lasy10 12 1
/Fo 1 51 df<007FB61280B7FCA200E0C71203B3A9B7FCA27E21217BA42D>50
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fp cmr12 12 8
/Fp 8 112 df<B71280A2007CC7123F007E14076CEC03C06C14016D13006C7E00071540
7F6C7E000115207F6C7E017C1400137E7F7F806D7E1307A26D5A6DC8FC13025B4914205B
5B16604914405B48C812C01202481401481403481407ED3F80003FB6FC5AB7FC23297DA8
2A>6 D<130813101320134013C0EA0180A2EA03001206A2120E120C121CA212181238A2
12301270A512F05AAD7E1270A512301238A21218121CA2120C120E1206A27EEA0180A2EA
00C013401320131013080D3D7AAC17>40 D<7E12407E7E12187EA27E7EA21380120113C0
A2120013E0A213601370A513781338AD13781370A5136013E0A213C01201A21380120313
00A212065AA25A12105A5A5A0D3D7DAC17>I<127812FCA412781200AE127812FCA41278
061A7B9910>58 D<B712FEA27ECAFCA9007FB612FEB7FCA2270F7D952E>61
D<140F14FFA2141F80AC133F3801C0CF3803802F380F001F121E001C7F123C127C1278A2
12F8A71278A27EA26C5B000E132F6CEB4F803901C18FF038007E0F1C2A7EA921>100
D<3A0F07F007F03AFF183818389039201C201C3A1F400E400E000F010F130F01801380A2
01001300B13BFFF0FFF0FFF0A22C1A7E9931>109 D<137E3803C3C0380700E0000E1370
481338003C133CA248131EA200F8131FA80078131EA26C133CA2001C13386C13706C13E0
3803C3C038007E00181A7E991D>111 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fq cmsy10 12 16
/Fq 16 111 df<EE0380A3707EA283160083177083173C8383EF07C0007FB812E0B912F8
6C17E0CAEA07C0EF0F00171E5F17385F17F05F16015FA24C5AA3351F7D9D3C>33
D<D901C01307A249486D7EA249C76C7EA2010E6E7E011E81011C1570013FB612F8498190
B77ED803C0C8EA07804848ED03C0001FC9EA01F0003EEE00F800F8173E003E17F86CEE01
F0D80780ED03C06C6CED0780C6B7EAFE006D5D6D5D011CC81270011E15F0010E5D6D4A5A
A26D6C495AA26D6C49C7FCA237217E9E3C>44 D<903803FFF8131F137FD801FCC7FCEA03
E0EA078048C8FC121E121C5AA25AA35AA3B612F8A300E0C8FCA31270A37EA27E121E7E6C
7EEA03E0EA01FC39007FFFF8131F13031D257BA028>50 D<1407A24A7EA2EC1DC0A2EC38
E0A2EC7070A24A7EA249487EA249487EA249487EA2010E6D7EA2496D7E013C8001381300
491470A24980A2484880A2484880A248C87EA2000EED0380A248ED01C0A248ED00E0A248
1670007FB712F8B8FC7E2D2B7CAA36>52 D<12E0AA12F012F812F012E0AA05177D9900>
55 D<14301470A2EB7CE0EA0183EA0701EA0E00EA0C01001C13F0003813F8EB03B8A200
7813BC3870071CA300F0131E130EA3131CA31338A41370A313E0A3EAF1C00071131CA338
7B803C003B1338A2EA3F006C1370A2000E13E0380F01C0EB8300EA0E7C48C7FCA2121817
327DAD1E>59 D<0102EB1F80010EEBFFE0D93E0313F09039FE0E0FF839033C18030000EB
3001EC6000EB7CC0D97D8013F0137F91C712E0ED01C0017E1480ED030049130615184913
60EC0380EC1FF83901F03FFE91B5FC0200138049EB3FC0151F0003EC0FE0491307A21503
12075BA216C048C7FC1680ED0700001E140601205BD81CF05BD83DF85B393BFF01C00079
01FFC7FC006013FC38C01FE0252B7EA927>66 D<0060EC018000E01403B3A80070EC0700
A26C140E003C141E6C5C6C6C13F83907F007F00001B512C06C6C90C7FCEB0FF821257DA3
28>91 D<EB0FF8EB7FFF48B512C03907F007F0390F8000F8001EC7123C48800038140E48
80A248EC0380B3A80060140121257DA328>I<EB01C0A3497EA2EB0770A2EB0E38A2497E
A3497EA2497EA2496C7EA248486C7EA348486C7EA248C71270A2000E80A34880A24880A2
4880A248EC0380A248140121257DA328>94 D<14F8EB03C0EB0F00131E5B5BB3A25BA248
5AEA078000FEC7FCA2EA0780EA01E06C7EA21378B3A27F7F7FEB03C0EB00F8153C7CAC1E
>102 D<12F8120FEA03C06C7E6C7E1378B3A27FA27F1307EB01F8A2EB0700131E5BA25B
B3A25B485A485A000FC7FC12F8153C7CAC1E>I<130C131CA21338A21370A313E0A3EA01
C0A2EA0380A3EA0700A3120EA25AA35AA35AA25AA31270A27EA37EA37EA27EA3EA0380A3
EA01C0A2EA00E0A31370A31338A2131CA2130C0E3D7BAC17>I<12C07EA21270A27EA37E
A37EA27EA3EA0380A3EA01C0A2EA00E0A31370A31338A2131CA31338A21370A313E0A3EA
01C0A2EA0380A3EA0700A3120EA25AA35AA35AA25AA25A0E3D7DAC17>I<12E0B3B3B3A6
033C79AC11>I<12C07EA21270A37EA37EA27EA37EA36C7EA36C7EA36C7EA31370A37FA2
7FA37FA37FA3EB0380A3EB01C0A3EB00E0A31470A21438A3141CA3140EA21406173C7DAC
1E>110 D E
%EndDVIPSBitmapFont
end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 360dpi
TeXDict begin
%%PaperSize: A4
%%EndSetup
%%Page: 45 1
45 0 bop 0 244 a Ff(7.20)71 b(Interrupt)0 357 y Fe(An)15
b(interrupt)e(operator)g Fq(4)577 366 y Fd(i)605 357
y Fe(for)h Fc(i)i Fq(2)h Fp(\006)e Fe(is)g(occasionally)d(useful:)50
513 y Fc(A)k Fq(2)g(B)c Fp(\()p Fc(P)270 522 y Fh(1)310
513 y Fq(4)364 522 y Fd(i)393 513 y Fc(P)430 522 y Fh(2)453
513 y Fp(\))17 b Fq(,)272 616 y Fp(dom)10 b Fc(A)49 b
Fp(=)g(dom)10 b Fc(A)732 625 y Fh(1)772 616 y Fn(\026)-25
b(\027)16 b Fq(f)p Fc(i)p Fq(g)22 b([)i(f)p Fc(s)s Fk(b)t
Fq(h)p Fc(i)p Fq(i)s Fk(b)t Fc(t)17 b Fq(j)f Fc(s)h Fq(2)f
Fp(dom)10 b Fc(A)1493 625 y Fh(1)1533 616 y Fn(\026)-25
b(\027)16 b Fq(f)p Fc(i)p Fm(;)10 b Fn(X)p Fq(g)26 b(^)g
Fc(t)18 b Fq(2)e Fp(dom)10 b Fc(A)2068 625 y Fh(2)2091
616 y Fq(g)482 688 y(^)393 760 y Fc(A)49 b Fp(=)87 b
Fq(f)p Fc(s)17 b Fq(7!)f Fc(X)j Fq(7!)d(f)p Fc(i)p Fq(g)g
Fn(J)h Fc(i)g Fq(2)f Fc(X)j Fn(I)e Fc(A)1292 769 y Fh(1)1315
760 y Fc(sX)i Fq(j)d Fc(s)h Fq(2)g Fp(dom)9 b Fc(A)1681
769 y Fh(1)1721 760 y Fq(n)16 b(f)p Fc(i)p Fm(;)10 b
Fn(X)p Fq(gg)j Fl(\026)h Fc(A)2060 769 y Fh(1)1324 833
y Fl(\026)622 905 y Fq(f)p Fc(s)s Fk(b)t Fq(h)p Fc(i)p
Fq(i)s Fk(b)t Fc(t)k Fq(7!)e Fc(X)j Fq(7!)d Fc(A)1098
914 y Fh(2)1121 905 y Fc(sX)j Fq(j)e Fc(s)f Fq(2)h Fp(dom)9
b Fc(A)1487 914 y Fh(1)1527 905 y Fn(\026)-25 b(\027)17
b Fq(f)p Fn(X)p Fq(g)26 b(^)g Fc(t)17 b Fq(2)g Fp(dom)9
b Fc(A)2019 914 y Fh(2)2043 905 y Fq(g)2195 761 y Fe(\(72\))0
1023 y(where)18 b Fc(A)202 1032 y Fh(1)250 1023 y Fq(2)24
b(B)12 b Fp(\()p Fc(P)425 1032 y Fh(1)448 1023 y Fp(\))19
b Fe(and)g Fc(A)633 1032 y Fh(2)681 1023 y Fq(2)24 b(B)12
b Fp(\()p Fc(P)856 1032 y Fh(2)879 1023 y Fp(\))p Fe(.)31
b(Clearly)17 b(this)i(beha)o(v)o(es)e(lik)o(e)i Fc(P)1604
1032 y Fh(1)1646 1023 y Fe(unless)g(the)f(interrupt)f(e)o(v)o(ent)g
Fc(i)0 1095 y Fe(becomes)c(a)o(v)o(ailable)o(.)j(Ev)o(en)e(when)g
Fc(i)h Fe(w)o(as)g(a)f(possible)g(action)f(of)i Fc(P)1406
1104 y Fh(1)1429 1095 y Fe(.)0 1297 y Fb(8)86 b(Examples)0
1431 y Fa(Example)14 b(8.1)29 b Fc(Stop)16 b Fp(=)g Fc(e)g
Fp(:)h Fq(;)f(!)h Fc(P)0 1552 y Fe(W)-5 b(e)15 b(\002nd)g(from)f
(equation)f(\(30\))i(on)f(page)g(24)h(that)146 1671 y
Fq(B)d Fp(\()p Fc(e)k Fp(:)h Fq(;)g(!)f Fc(P)p Fp(\))g(=)g
Fq(f)h(fhi)f(7!)h Fc(X)i Fq(7!)d Fc(X)f Fq(\\)f(;)i Fp(=)g
Fq(;g)h(g)0 1789 y Fe(which)g(equation)g(\(27\))h(on)g(page)f(23)h
(identi\002es)f(as)h Fc(Stop)o Fe(.)29 b(So)18 b(we)g(could)f(ha)o(v)o
(e)g(treated)f Fc(Stop)i Fe(as)g(a)g(deri)o(v)o(ed)0
1862 y(process)c(rather)g(than)f(re)o(garding)g(it)h(as)h(primiti)o(v)o
(e.)p 1132 1862 30 30 v 105 w([8.1])0 2055 y Fa(Example)f(8.2)29
b Fc(e)16 b Fp(:)h Fc(E)g Fq(!)g Fc(P)p Fp(\()p Fc(e)p
Fp(\))31 b(=)776 2062 y Fg(2)772 2120 y Fd(e)p Fj(2)p
Fd(E)843 2055 y Fp(\()p Fc(e)16 b Fq(!)h Fc(P)p Fp(\()p
Fc(e)p Fp(\)\))0 2223 y Fe(From)d(equation)f(\(35\))i(on)g(page)e(25)50
2407 y Fq(B)111 2305 y Fk( )162 2414 y Fg(2)158 2471
y Fd(e)p Fj(2)p Fd(E)229 2407 y Fp(\()p Fc(e)j Fq(!)h
Fc(P)p Fp(\()p Fc(e)p Fp(\)\))505 2305 y Fk(!)567 2407
y Fp(=)142 2502 y Fk(8)142 2556 y(<)142 2664 y(:)619
2552 y Fq(fhi)g(7!)f Fc(X)j Fq(7!)d Fc(X)g Fq(\\)d Fc(E)q
Fq(g)833 2624 y Fn(\001)226 2697 y Fq(fh)p Fc(e)p Fq(i)s
Fk(b)s Fc(s)k Fq(7!)g Fc(X)h Fq(7!)f Fc(A)p Fp(\()p Fc(e)p
Fp(\))p Fc(sX)g Fq(j)g Fc(s)f Fq(2)h Fp(dom)9 b Fc(A)p
Fp(\()p Fc(e)p Fp(\))25 b Fq(^)i Fc(X)19 b Fq(2)d Fi(P)5
b Fp(\006)p Fq(g)1512 2502 y Fk(\014)1512 2538 y(\014)1512
2574 y(\014)1512 2610 y(\014)1512 2646 y(\014)1512 2682
y(\014)1542 2625 y Fc(e)16 b Fq(2)g Fc(E)34 b Fq(^)f
Fc(A)p Fp(\()p Fc(e)p Fp(\))16 b Fq(2)g(B)22 b Fp(\()p
Fc(P)p Fp(\()p Fc(e)p Fp(\)\))2182 2502 y Fk(9)2182 2556
y(=)2182 2664 y(;)0 2810 y Fe(But)14 b(this)h(is)f(just)h(another)e(w)o
(ay)i(of)g(writing)e(equation)g(\(30\))i(on)f(page)g(24.)p
1610 2810 V 108 w([8.2])88 2955 y(Thus)h(pre\002x)f(choice)g(and)h(so)g
(also)g Fc(Stop)f Fe(can)h(be)f(de\002ned)h(as)g(special)e(cases)i(of)g
Fo(2)p Fe(.)k(These)14 b(are)g(standard)0 3027 y(CSP)h(results.)0
3137 y Fa(Example)f(8.3)146 3256 y Fc(R)n(UN)263 3265
y Fd(E)308 3256 y Fp(=)i Fc(e)g Fp(:)h Fc(E)g Fq(!)g
Fc(R)n(UN)694 3265 y Fd(E)1118 3427 y Fe(45)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF
--
A E Lawrence, MA., DPhil. adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.
Voice: (+44)-1865-273274, Fax: (+44)-1865-273275