CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
%!PS-Adobe-2.0 EPSF-2.0
%%BoundingBox: 47 44 116 315
% EPSF created by ps2eps 1.47
%%Creator: dot version 1.9 (Sun Aug  3 15:42:18 WEST 2003)
%%For: (josejoao) Jose Morais
%%Title: Automaton
%%EndComments
%%BeginProlog
save
countdictstack
mark
newpath
/showpage {} def
/setpagedevice {pop} def
%%EndProlog
%%Page 1 1
save
/DotDict 200 dict def
DotDict begin
/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0
ISOLatin1Encoding 0 255 getinterval putinterval
EncodingVector
  dup 306 /AE
  dup 301 /Aacute
  dup 302 /Acircumflex
  dup 304 /Adieresis
  dup 300 /Agrave
  dup 305 /Aring
  dup 303 /Atilde
  dup 307 /Ccedilla
  dup 311 /Eacute
  dup 312 /Ecircumflex
  dup 313 /Edieresis
  dup 310 /Egrave
  dup 315 /Iacute
  dup 316 /Icircumflex
  dup 317 /Idieresis
  dup 314 /Igrave
  dup 334 /Udieresis
  dup 335 /Yacute
  dup 376 /thorn
  dup 337 /germandbls
  dup 341 /aacute
  dup 342 /acircumflex
  dup 344 /adieresis
  dup 346 /ae
  dup 340 /agrave
  dup 345 /aring
  dup 347 /ccedilla
  dup 351 /eacute
  dup 352 /ecircumflex
  dup 353 /edieresis
  dup 350 /egrave
  dup 355 /iacute
  dup 356 /icircumflex
  dup 357 /idieresis
  dup 354 /igrave
  dup 360 /dcroat
  dup 361 /ntilde
  dup 363 /oacute
  dup 364 /ocircumflex
  dup 366 /odieresis
  dup 362 /ograve
  dup 365 /otilde
  dup 370 /oslash
  dup 372 /uacute
  dup 373 /ucircumflex
  dup 374 /udieresis
  dup 371 /ugrave
  dup 375 /yacute
  dup 377 /ydieresis  
% Set up ISO Latin 1 character encoding
/starnetISO {
        dup dup findfont dup length dict begin
        { 1 index /FID ne { def }{ pop pop } ifelse
        } forall
        /Encoding EncodingVector def
        currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def
/InvScaleFactor 1.0 def
/set_scale {
	dup 1 exch div /InvScaleFactor exch def
	dup scale
} bind def
% styles
/solid { [] 0 setdash } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def
% hooks for setting color 
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def
/beginpage {	% i j npages
	/npages exch def
	/j exch def
	/i exch def
	/str 10 string def
	npages 1 gt {
		gsave
			coordfont setfont
			0 0 moveto
			(\() show i str cvs show (,) show j str cvs show (\)) show
		grestore
	} if
} bind def
/set_font {
	findfont exch
	scalefont setfont
} def
% draw aligned label in bounding box aligned to current point
/alignedtext {			% width adj text
	/text exch def
	/adj exch def
	/width exch def
	gsave
		width 0 gt {
			text stringwidth pop adj mul 0 rmoveto
		} if
		[] 0 setdash
		text show
	grestore
} def
/boxprim {				% xcorner ycorner xsize ysize
		4 2 roll
		moveto
		2 copy
		exch 0 rlineto
		0 exch rlineto
		pop neg 0 rlineto
		closepath
} bind def
/ellipse_path {
	/ry exch def
	/rx exch def
	/y exch def
	/x exch def
	matrix currentmatrix
	newpath
	x y translate
	rx ry scale
	0 0 1 0 360 arc
	setmatrix
} bind def
/endpage { showpage } bind def
/layercolorseq
	[	% layer color sequence - darkest to lightest
		[0 0 0]
		[.2 .8 .8]
		[.4 .8 .8]
		[.6 .8 .8]
		[.8 .8 .8]
	]
def
/layerlen layercolorseq length def
/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer 1 sub layerlen mod get
	aload pop sethsbcolor
	/nodecolor {nopcolor} def
	/edgecolor {nopcolor} def
	/graphcolor {nopcolor} def
} bind def
/onlayer { curlayer ne {invis} if } def
/onlayers {
	/myupper exch def
	/mylower exch def
	curlayer mylower lt
	curlayer myupper gt
	or
	{invis} if
} def
/curlayer 0 def
14 default-font-family set_font
1 setmiterlimit
% /arrowlength 10 def
% /arrowwidth 5 def
% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
    userdict (<<) cvn ([) cvn load put
    userdict (>>) cvn ([) cvn load put
} if
gsave
35 35 99 288 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
%	1
gsave 10 dict begin
newpath 46 270 moveto
20 230 lineto
72 230 lineto
closepath
stroke
newpath 46 278 moveto
12 226 lineto
80 226 lineto
closepath
stroke
gsave 10 dict begin
46 238 moveto 4 -0.5 (1) alignedtext
end grestore
end grestore
%	2
gsave 10 dict begin
46 130 18 18 ellipse_path
stroke
46 130 22 22 ellipse_path
stroke
gsave 10 dict begin
46 125 moveto 8 -0.5 (2) alignedtext
end grestore
end grestore
%	1 -> 2
gsave 10 dict begin
0.000 1.000 1.000 edgecolor
newpath 39 225 moveto
34 210 29 189 32 170 curveto
33 166 33 163 34 160 curveto
stroke
gsave 10 dict begin
solid
0.000 1.000 1.000 edgecolor
newpath 36 161 moveto
38 151 lineto
32 159 lineto
closepath
fill
0.000 1.000 1.000 edgecolor
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
44 175 moveto 7 -0.5 (a) alignedtext
end grestore
end grestore
%	2 -> 1
gsave 10 dict begin
0.667 1.000 1.000 edgecolor
newpath 53 216 moveto
56 203 59 186 57 170 curveto
56 164 54 157 53 151 curveto
stroke
gsave 10 dict begin
solid
0.667 1.000 1.000 edgecolor
newpath 51 215 moveto
51 225 lineto
56 216 lineto
closepath
fill
0.667 1.000 1.000 edgecolor
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
68 175 moveto 8 -0.5 (b) alignedtext
end grestore
end grestore
%	3
gsave 10 dict begin
46 30 18 18 ellipse_path
stroke
46 30 22 22 ellipse_path
stroke
gsave 10 dict begin
46 25 moveto 7 -0.5 (3) alignedtext
end grestore
end grestore
%	2 -> 3
gsave 10 dict begin
0.000 1.000 1.000 edgecolor
newpath 38 109 moveto
36 103 33 96 32 90 curveto
31 81 31 78 32 70 curveto
33 66 33 63 34 60 curveto
stroke
gsave 10 dict begin
solid
0.000 1.000 1.000 edgecolor
newpath 36 61 moveto
38 51 lineto
32 59 lineto
closepath
fill
0.000 1.000 1.000 edgecolor
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
46 75 moveto 7 -0.5 (a) alignedtext
end grestore
end grestore
%	3 -> 2
gsave 10 dict begin
0.667 1.000 1.000 edgecolor
newpath 55 100 moveto
56 97 56 93 57 90 curveto
58 81 58 78 57 70 curveto
56 64 54 57 53 51 curveto
stroke
gsave 10 dict begin
solid
0.667 1.000 1.000 edgecolor
newpath 53 99 moveto
53 109 lineto
58 100 lineto
closepath
fill
0.667 1.000 1.000 edgecolor
end grestore
gsave 10 dict begin
0.000 0.000 0.000 edgecolor
68 75 moveto 8 -0.5 (b) alignedtext
end grestore
end grestore
endpage
grestore
%%EndPage: 1
%%Trailer
cleartomark
countdictstack
exch sub { end } repeat
restore
%%EOF