$ od -c -N 50000 [eris]<Lisp>KOTO>LISPUSERS>TURING.TEDIT!1 0000000 X E R O X \t T U R I N G \r 2 \r \r 0000020 4 \r \r 1 \r \r T U R I N G \r 1 \r \r 0000040 4 \r \r B y : M i c h e l D 0000060 e n b e r ( D e n b e r . W B 0000100 S T @ X e r o x . C O M ) \r I N 0000120 T R O D U C T I O N \r T U R I N 0000140 G i s a p r o g r a m 0000160 w h i c h s i m u l a t e s 0000200 t h e e x e c u t i o n o f 0000220 a T u r i n g m a c h i n 0000240 e . I t p r o v i d e s 0000260 a g r a p h i c a l i n t e 0000300 r f a c e w i t h w h i c h 0000320 y o u c a n s p e c i f y 0000340 t h e m a c h i n e ' s s 0000360 t a t e s , s y m b o l s , 0000400 a n d t r a n s i t i o n s 0000420 t o c r e a t e a t r a n 0000440 s i t i o n t a b l e ( n e 0000460 x t m o v e f u n c t i o n 0000500 ) . I n e a c h m o v e 0000520 , t h e m a c h i n e w i 0000540 l l c h a n g e s t a t e , 0000560 p r i n t a s y m b o l 0000600 o n t h e t a p e , a n d 0000620 m o v e i t s t a p e h 0000640 e a d , \0 001 \0 \0 \0 \0 \0 + \0 5 \0 0000660 001 037 377 377 377 377 340 020 \0 \0 \0 \0 020 \0 \0 0000700 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0000720 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0000740 020 \0 \0 \0 \0 020 036 \0 001 340 020 ? \0 0000760 003 360 020 177 200 \a 370 020 177 200 \a 370 020 0001000 177 200 \a 370 020 177 200 \a 370 020 ? \0 003 360 0001020 020 036 \0 001 340 020 \0 \0 \0 \0 020 \0 \0 0001040 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0001060 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0001100 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 0001120 \0 \0 020 001 377 376 \0 020 \0 \0 \0 \0 020 0001140 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0001160 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 0001200 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 017 0001220 377 377 377 377 300 \b \0 \0 \0 \0 @ 004 \0 \0 \0 \0 0001240 200 002 \0 \0 \0 001 \0 001 \0 \0 \0 002 \0 \0 200 \0 0001260 \0 004 \0 \0 200 \0 \0 \b \0 \0 @ \0 \0 020 \0 \0 0001300 \0 \0 \0 \0 020 \0 \0 @ \0 \0 \b \0 \0 200 0001320 \0 \0 \a 377 377 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0001340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0001360 l e f t o r r i g h t . 0001400 Y o u c a n t h e n c r e 0001420 a t e a t a p e c o n t a 0001440 i n i n g a s t r i n g o 0001460 f s y m b o l s f o r t h 0001500 e m a c h i n e t o w o r 0001520 k o n . T h e t a p e 0001540 h e a d w i l l t h e n m 0001560 o v e b a c k a n d f o r 0001600 t h o v e r t h e t a p e 0001620 , r e a d i n g a n d w r 0001640 i t i n g s y m b o l s a s 0001660 s p e c i f i e d b y t h 0001700 e t r a n s i t i o n r u l 0001720 e s , u n t i l i t e i t 0001740 h e r s t o p s i n a g 0001760 o a l s t a t e ( \0 001 \0 \0 \0 0002000 \0 \0 + \0 5 \0 001 037 377 377 377 377 340 020 \0 \0 0002020 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0002040 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0002060 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 036 \0 0002100 001 340 020 ? \0 003 360 020 177 200 \a 370 020 0002120 177 200 \a 370 020 177 200 \a 370 020 177 200 \a 370 0002140 020 ? \0 003 360 020 036 \0 001 340 020 \0 \0 0002160 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0002200 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0002220 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 0002240 \0 \0 020 \b \0 \0 200 020 \f \0 001 200 020 0002260 006 \0 003 \0 020 003 \0 006 \0 020 001 200 \f \0 0002300 020 \0 p x \0 020 \0 017 300 \0 020 \0 \0 0002320 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0002340 \0 \0 \0 \0 017 377 377 377 377 300 \b \0 \0 \0 \0 0002360 @ 004 \0 \0 \0 \0 200 002 \0 \0 \0 001 \0 001 \0 \0 0002400 \0 002 \0 \0 200 \0 \0 004 \0 \0 200 \0 \0 \b \0 \0 0002420 @ \0 \0 020 \0 \0 \0 \0 \0 \0 020 \0 \0 @ 0002440 \0 \0 \b \0 \0 200 \0 \0 \a 377 377 \0 \0 \0 \0 \0 0002460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0002500 \0 \0 \0 \0 \0 a c c e p t s ) , 0002520 s t o p s i n a n o n - g 0002540 o a l s t a t e ( \0 001 \0 \0 \0 0002560 \0 \0 + \0 5 \0 001 037 377 377 377 377 340 020 \0 \0 0002600 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0002620 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0002640 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 036 \0 0002660 001 340 020 ? \0 003 360 020 177 200 \a 370 020 0002700 177 200 \a 370 020 177 200 \a 370 020 177 200 \a 370 0002720 020 ? \0 003 360 020 036 \0 001 340 020 \0 \0 0002740 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0002760 \0 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 0003000 020 \0 \0 \0 \0 020 \0 017 200 \0 020 \0 p 0003020 p \0 020 001 200 \f \0 020 002 \0 002 \0 020 0003040 004 \0 001 \0 020 \b \0 \0 200 020 020 \0 \0 @ 0003060 020 \0 \0 020 \0 \0 \0 \0 020 \0 \0 0003100 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 020 0003120 \0 \0 \0 \0 017 377 377 377 377 300 \b \0 \0 \0 \0 0003140 @ 004 \0 \0 \0 \0 200 002 \0 \0 \0 001 \0 001 \0 \0 0003160 \0 002 \0 \0 200 \0 \0 004 \0 \0 200 \0 \0 \b \0 \0 0003200 @ \0 \0 020 \0 \0 \0 \0 \0 \0 020 \0 \0 @ 0003220 \0 \0 \b \0 \0 200 \0 \0 \a 377 377 \0 \0 \0 \0 \0 0003240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0003260 \0 \0 \0 \0 \0 r e j e c t s ) , 0003300 o r d o e s n ' t s t o p 0003320 ( l o o p s ) . A s e a c 0003340 h n e w s t a t e i s e 0003360 n t e r e d , t h e c o r r 0003400 e s p o n d i n g t r a n s i 0003420 t i o n i s h i g h l i g h 0003440 t e d i n t h e t r a n s 0003460 i t i o n t a b l e . T h 0003500 e s y m b o l i s m u s e d 0003520 f o r t h e t r a n s i t 0003540 i o n t a b l e i s f r o 0003560 m H o p c r o f t & U l l 0003600 m a n ' s b o o k , I n t r 0003620 o d u c t i o n t o A u t o 0003640 m a t a T h e o r y , L a n 0003660 g u a g e s , a n d C o m p 0003700 u t a t i o n . S e e c h 0003720 a p t e r 7 , " T u r i n g 0003740 M a c h i n e s " , p . 1 0003760 4 8 . \r C O M M A N D S \r T o 0004000 l o a d t h e p r o g r a 0004020 m , t y p e L O A D ( { f s 0004040 } < L i s p u s e r s > T U R I 0004060 N G . D C O M ) w h e r e f 0004100 s i s t h e n a m e o f 0004120 t h e f i l e s e r v e r 0004140 c o n t a i n i n g y o u r 0004160 L i s p u s e r s d i r e c 0004200 t o r y . O n c e t h e 0004220 f i l e i s l o a d e d , 0004240 t y p e ( T M ) . T h e 0004260 p r o g r a m w i l l b r i 0004300 n g u p a w i n d o w i 0004320 n w h i c h t h e g a m e 0004340 r u n s . P r o m p t m 0004360 e s s a g e s a r e d i s p 0004400 l a y e d o n a l i n e 0004420 a t t h e t o p o f t h 0004440 i s w i n d o w . A C o 0004460 n t r o l M e n u i s a t 0004500 t a c h e d t o t h e w i 0004520 n d o w , p r o v i d i n g 0004540 t h e f o l l o w i n g f u 0004560 n c t i o n s : \r M a k e n e 0004600 w m a c h i n e : t h i s 0004620 l e t s y o u s t a r t t 0004640 h e p r o c e s s o f c r 0004660 e a t i n g a n e w m a c 0004700 h i n e t o b e e x e c u 0004720 t e d . S e e s e c t i o 0004740 n 3 , " M a k i n g a n 0004760 e w m a c h i n e " b e l o 0005000 w f o r m o r e d e t a i 0005020 l s . \r S e l e c t e x i s t 0005040 i n g m a c h i n e : t h i 0005060 s l e t s y o u r u n a 0005100 p r e v i o u s l y c r e a 0005120 t e d m a c h i n e . T h 0005140 e p r o g r a m c o m e s 0005160 w i t h t h r e e d e m o 0005200 m a c h i n e s c a l l e d 0005220 0 n 1 n , D E M O 2 , a n d 0005240 P O N G . 0 n 1 n i s 0005260 a m a c h i n e w h i c h 0005300 r e c o g n i z e s t h e 0005320 l a n g u a g e L = { 0 n 0005340 1 n 377 377 \0 \0 \0 | \0 \0 n \0 \0 0005360 > \0 = \0 \0 1 \0 } 377 \0 . D E 0005400 M O 2 a c c e p t s a t a 0005420 p e c o n t a i n i n g t h 0005440 e a u t h o r ' s f i r s t 0005460 n a m e a n d r e p l a c 0005500 e s i t w i t h h i s l 0005520 a s t n a m e . P O N G 0005540 i s a s i m p l e l o o p 0005560 i n g d e m o . Y o u m 0005600 a y w a n t t o t r y o 0005620 n e o f t h e s e t o g 0005640 e t t h e i d e a b e f o 0005660 r e c r e a t i n g a m a 0005700 c h i n e o f y o u r o w 0005720 n . \r A u t o r u n : T h i 0005740 s s t a r t s t h e m a c 0005760 h i n e g o i n g . B e 0006000 s u r e y o u h a v e a 0006020 m a c h i n e i n t h e w 0006040 i n d o w a n d w r i t e 0006060 a t a p e ( s e e b e l o 0006100 w ) b e f o r e r u n n i n 0006120 g t h e m a c h i n e . 0006140 I t w i l l r u n u n t i 0006160 l i t e i t h e r e n t e 0006200 r s a g o a l s t a t e , 0006220 c a n ' t e x e c u t e a 0006240 n y m o r e t r a n s i t i 0006260 o n s , o r y o u s t o p 0006300 i t e x p l i c i t l y b 0006320 y h o l d i n g d o w n t 0006340 h e l e f t m o u s e b u 0006360 t t o n . Y o u c a n c 0006400 o n t r o l t h e s p e e d 0006420 o f t h e s i m u l a t i 0006440 o n b y c h a n g i n g t 0006460 h e v a l u e o f t h e 0006500 L i s p v a r i a b l e T M 0006520 D E L A Y ( i n i t i a l l y 0006540 s e t t o 1 0 , s m a l 0006560 l e r v a l u e s m e a n 0006600 r u n f a s t e r ) . T h 0006620 e c u r s o r c h a n g e s 0006640 t o a \0 001 \0 \0 \0 \0 \0 020 \0 020 0006660 \0 001 \0 \0 \0 \0 017 200 022 @ " " 020 _ 376 0006700 200 002 200 001 200 001 200 001 260 031 O 346 H $ H $ 0006720 0 030 w h i l e t h e p r o 0006740 g r a m i s i n a u t o 0006760 m o d e . \r S i n g l e s t e 0007000 p : t h i s w i l l c a u 0007020 s e t h e m a c h i n e t 0007040 o g o i n t o s i n g l e 0007060 s t e p m o d e , i n d i 0007100 c a t e d b y t h e \0 001 \0 0007120 \0 \0 \0 \0 020 \0 020 \0 001 350 222 210 224 210 230 210 0007140 224 210 222 356 222 \0 \0 \0 \0 216 357 210 204 210 204 216 0007160 344 210 204 210 204 210 204 356 204 c u r s o r 0007200 . E a c h t i m e y o u 0007220 c l i c k t h e l e f t 0007240 b u t t o n , t h e p r o g 0007260 r a m w i l l e x e c u t e 0007300 t h e n e x t t r a n s i 0007320 t i o n a n d t h e n s t 0007340 o p . U s e f u l f o r 0007360 d e b u g g i n g . T o e 0007400 x i t t h i s m o d e , h 0007420 o l d d o w n t h e l e f 0007440 t b u t t o n . T h e p 0007460 r o g r a m w i l l d o o 0007500 n e m o r e t r a n s i t i 0007520 o n a n d t h e n r e t u 0007540 r n t o t h e \0 001 \0 \0 \0 \0 0007560 \0 020 \0 020 \0 001 200 \0 300 \0 340 \0 360 \0 370 \0 0007600 374 \0 376 \0 360 \0 330 \0 230 \0 \f \0 \f \0 006 \0 0007620 006 \0 003 \0 003 \0 c u r s o r w i t 0007640 h t h e m e s s a g e " H 0007660 a l t e d b y u s e r " . \r 0007700 A d d a t r a n s i t i o n 0007720 : l e t s y o u a d d a 0007740 n e w t r a n s i t i o n 0007760 t o a n e x i s t i n g m 0010000 a c h i n e . Y o u c a n 0010020 d o t h i s a n y t i m 0010040 e y o u h a v e a m a c 0010060 h i n e i n t h e w i n d 0010100 o w . S e e s e c t i o n 0010120 4 , " C r e a t i n g T r 0010140 a n s i t i o n s " b e l o w 0010160 f o r m o r e d e t a i l 0010200 s . \r R e m o v e a t r a n 0010220 s i t i o n : l e t s y o u 0010240 d e l e t e a n e x i s t 0010260 i n g t r a n s i t i o n f 0010300 r o m a m a c h i n e . 0010320 M o v e t h e \0 001 \0 \0 \0 \0 \0 0010340 020 \0 020 \0 001 200 003 300 016 340 034 p 0 8 ` 034 0010360 300 017 200 \a \0 017 200 035 300 8 340 0 p ` < ` 0010400 017 300 \0 200 \0 c u r s o r o v e 0010420 r t h e d e s i r e d t r 0010440 a n s i t i o n a n d c l i 0010460 c k l e f t . \r W r i t e t 0010500 h e t a p e : l e t s y o 0010520 u p u t d o w n s y m b o 0010540 l s o n t h e t a p e . 0010560 Y o u s h o u l d w r i t 0010600 e t h e t a p e a f t e r 0010620 m a k i n g t h e m a c h 0010640 i n e . T h e w a y t h 0010660 i s w o r k s i s t h a t 0010700 y o u u s e t h e m o u 0010720 s e t o p o i n t t o a 0010740 n d c l i c k l e f t o v 0010760 e r a n y o f t h e s y 0011000 m b o l s i n t h e c o l 0011020 u m n h e a d i n g s o f 0011040 t h e t r a n s i t i o n t 0011060 a b l e . T h e s y m b o 0011100 l y o u c h o o s e w i l 0011120 l b e w r i t t e n o n t 0011140 o t h e t a p e . T h e 0011160 t a p e i s w r i t t e n 0011200 f r o m l e f t t o r i 0011220 g h t s t a r t i n g f r o 0011240 m p o s i t i o n 0 ; y o 0011260 u c a n ' t e d i t t h e 0011300 t a p e , b u t y o u c 0011320 a n r e w r i t e i t i f 0011340 y o u m a k e a m i s t 0011360 a k e . Y o u e x i t t 0011400 h i s m o d e b y c l i c 0011420 k i n g t h e m o u s e a 0011440 n y w h e r e e l s e i n s 0011460 i d e t h e t r a n s i t i 0011500 o n t a b l e ( e g . o n 0011520 o n e o f t h e t r a n 0011540 s i t i o n s ) . T h e t 0011560 a p e w i l l b e i n i t 0011600 i a l i z e d w i t h t h e 0011620 h e a d a t t h e f a r 0011640 l e f t , d i r e c t l y 0011660 o v e r t h e f i r s t s 0011700 y m b o l . \r S a v e t h e 0011720 t a p e : m a k e s t h e 0011740 c u r r e n t c o n t e n t s 0011760 o f t h e t a p e b e 0012000 i t s i n i t i a l s t a t 0012020 e t h e n e x t t i m e 0012040 t h e m a c h i n e i s c 0012060 a l l e d u p v i a S e l 0012100 e c t e x i s t i n g m a c 0012120 h i n e . T h e t a p e 0012140 w i l l b e i n i t i a l i 0012160 z e d w i t h t h e h e a 0012200 d a t t h e f a r l e f 0012220 t , d i r e c t l y o v e r 0012240 t h e f i r s t s y m b o 0012260 l . \r M A K I N G A N E W 0012300 M A C H I N E \r W h e n y o u 0012320 s e l e c t M a k e n e w 0012340 m a c h i n e , t h e s y 0012360 s t e m w i l l p r o m p t 0012400 y o u f o r a n a m e . 0012420 T y p e a n y n a m e 0012440 y o u l i k e ( n o e m b 0012460 e d d e d s p a c e s ) . 0012500 I f y o u u s e a n a m 0012520 e t h a t i s a l r e a d 0012540 y a n e x i s t i n g m a 0012560 c h i n e , t h e o l d d 0012600 e f i n i t i o n w i l l b 0012620 e o v e r w r i t t e n . 0012640 T h e n e w n a m e i s 0012660 a d d e d t o t h e l i s 0012700 t o f m a c h i n e s y o 0012720 u g e t w h e n y o u b 0012740 u g S e l e c t e x i s t i 0012760 n g m a c h i n e . \r N e x t 0013000 t h e p r o g r a m a s k 0013020 s y o u f o r t h e s y 0013040 m b o l s t h e m a c h i n 0013060 e w i l l r e c o g n i z e 0013100 ( r e a d o r w r i t e 0013120 o n t h e t a p e ) . T 0013140 h e s e s h o u l d b e s 0013160 i n g l e c h a r a c t e r s 0013200 . T y p e ] w h e n d 0013220 o n e . T h e r e i s a 0013240 l i m i t o f 1 2 s y m 0013260 b o l s ( b e c a u s e o f 0013300 t h e s i z e o f t h e 0013320 w i n d o w - s o r r y , 0013340 i t d o e s n ' t s c r o 0013360 l l ) . S i n c e t h e 0013400 t a p e i s a l w a y s c 0013420 o n s i d e r e d t o b e 0013440 p a d d e d t o t h e r i 0013460 g h t w i t h b l a n k s , 0013500 y o u d o n ' t n e e d 0013520 t o ( a n d s h o u l d n 0013540 o t ) t y p e a b l a n k 0013560 f o r a s y m b o l . 0013600 T h e s y s t e m w i l l 0013620 a l w a y s a u t o m a t i c 0013640 a l l y a d d t h e s y m 0013660 b o l < b l a n k > a s t 0013700 h e l a s t s y m b o l i 0013720 n t h e t a b l e . \r T h e 0013740 n t h e p r o g r a m a s 0013760 k s y o u f o r t h e s 0014000 t a t e s o f t h e m a c 0014020 h i n e . Y o u s h o u l 0014040 d t y p e s i n g l e d i 0014060 g i t s ( i e . 0 - 9 ) 0014100 a n d e n d w i t h ] . 0014120 T h e p r o g r a m w i 0014140 l l b u i l d t h e t r a 0014160 n s i t i o n t a b l e a s 0014200 y o u t y p e i n s t a 0014220 t e s . ( A " q " i s 0014240 a u t o m a t i c a l l y a d 0014260 d e d t o t h e n u m b e 0014300 r s y o u t y p e i n , 0014320 i e . " 0 " c o m e s o u 0014340 t " q 0 " . ) \r T h e n t h 0014360 e p r o g r a m a s k s y 0014400 o u t o s e l e c t t h e 0014420 i n i t i a l s t a t e . 0014440 P o i n t t o t h e s t 0014460 a t e i n t h e t a b l e 0014500 t h a t y o u w a n t t 0014520 o b e t h e s t a r t s 0014540 t a t e a n d c l i c k l 0014560 e f t . T h e s t a t e 0014600 w i l l b e l a b e l l e d 0014620 w i t h a \0 001 \0 \0 \0 \0 \0 0014640 \0 020 \0 001 377 \0 003 377 200 377 374 \a 234 \0 \0 0014660 } 241 362 < 321 240 E " 021 230 E $ 021 204 H 270 0014700 021 204 O 246 021 270 H 241 021 200 \b 200 001 377 \0 \0 0014720 ? 301 340 \a 343 300 ? 374 003 300 \0 \0 003 300 \0 \0 0014740 003 300 \0 \0 003 i c o n . T h e 0014760 n i t w i l l a s k f o 0015000 r t h e g o a l s t a t e 0015020 . P o i n t t o i t a 0015040 l s o . T h a t s t a t e 0015060 w i l l b e l a b e l l e 0015100 d w i t h a \0 001 \0 \0 \0 \0 0015120 \0 \0 020 \0 001 \0 \0 \0 \0 \0 \0 \0 \0 ~ ~ 0015140 ~ ~ ~ ~ ~ ~ ` 030 f f ` 030 f f ` 030 0015160 f f ~ 030 f ~ ~ 030 f ~ 006 030 f ` 006 030 0015200 f ` 006 030 f ` ~ 030 ~ ` ~ 030 ~ ` \0 \0 0015220 \0 \0 \0 \0 \0 \0 i c o n . Y o 0015240 u w i l l n o w h a v e 0015260 a n e m p t y t r a n s i t 0015300 i o n t a b l e . T o a 0015320 d d s t a t e s t o i t , 0015340 u s e t h e A d d a t 0015360 r a n s i t i o n c o m a n d 0015400 . \r C R E A T I N G T R A N S 0015420 I T I O N S \r W h e n y o u 0015440 s e l e c t A d d a t r a 0015460 n s i t i o n , y o u w i l 0015500 l f i r s t b e p r o m p 0015520 t e d f o r t h e t r a n 0015540 s i t i o n y o u w a n t 0015560 t o a d d , w i t h t h e 0015600 \0 001 \0 \0 \0 \0 \0 020 \0 020 \0 001 377 377 377 0015620 377 300 003 300 003 302 003 303 303 303 373 303 361 303 341 303 0015640 361 303 8 302 034 300 016 370 \a 377 343 \0 \0 c u 0015660 r s o r . P o i n t t o 0015700 o n e o f t h e e m p t y 0015720 b o x e s i n t h e t a 0015740 b l e . W h e n y o u h 0015760 o l d d o w n t h e l e f 0016000 t b u t t o n , t h e b o 0016020 x w i l l b e h i g h l i 0016040 g h t e d . W h e n y o u 0016060 l e t u p o n t h e b 0016100 u t t o n , t h e p r o g r 0016120 a m w i l l a s k y o u 0016140 w h i c h s t a t e t o g 0016160 o t o w i t h a \0 001 \0 \0 0016200 \0 \0 \0 020 \0 020 \0 001 \0 177 \0 177 \0 003 004 003 0016220 \f 003 034 003 177 363 377 363 177 363 034 003 \f 003 004 003 0016240 \0 003 \0 003 \0 177 \0 177 c u r s o r . 0016260 P o i n t t o o n e o 0016300 f t h e s t a t e s ( a c 0016320 t u a l l y a n y w h e r e 0016340 o n t h e r o w o f t h 0016360 e s t a t e y o u w a n t 0016400 ) a n d c l i c k l e f t 0016420 . T h e s t a t e n a m 0016440 e w i l l a p p e a r i n 0016460 t h e b o x . T h e n 0016500 i t w i l l a s k w h i c 0016520 h s y m b o l t o w r i t 0016540 e w i t h a \0 001 \0 \0 \0 \0 \0 0016560 020 \0 020 \0 001 001 \0 003 200 003 200 \a 300 017 340 037 0016600 360 003 200 003 200 003 200 303 203 303 203 303 203 303 203 300 0016620 003 377 377 377 377 c u r s o r . P 0016640 o i n t t o a s y m b o l 0016660 ( a c t u a l l y a n y w h 0016700 e r e i n t h e c o l u m 0016720 n o f t h e s y m b o l 0016740 y o u w a n t ) a n d c l 0016760 i c k l e f t . T h e s 0017000 y m b o l n a m e w i l l 0017020 b e a d d e d i n t h e 0017040 b o x . F i n a l l y , y 0017060 o u w i l l g e t a m e 0017100 n u a s k i n g i f y o u 0017120 w a n t t h e h e a d t 0017140 o m o v e l e f t o r r 0017160 i g h t ( s t a n d i n g s 0017200 t i l l i s n o t a n o 0017220 p t i o n ) . M a k e y o 0017240 u r c h o i c e . T h e 0017260 p r o m p t O K w i l l a 0017300 p p e a r t o i n d i c a t 0017320 e t h a t t h e t r a n s 0017340 i t i o n h a s b e e n s 0017360 u c c e s s f u l l y e n t e 0017400 r e d i n t o t h e t a b 0017420 l e . A n e x a m p l e 0017440 o f a c o m p l e t e t r 0017460 a n s i t i o n i s : \0 001 \0 0017500 \0 \0 \0 \0 8 \0 \r \0 001 \0 > \0 300 \0 \0 \0 0017520 \0 \0 c \0 300 \0 \0 \0 \0 \0 c \0 300 \0 \0 @ 0017540 \0 ~ 003 \0 374 \0 \0 p \0 306 006 \0 306 \0 377 374 0017560 \0 306 \f \0 306 \0 377 377 \0 306 030 \0 306 \0 377 374 0017600 \0 306 0 \0 306 \0 \0 p \0 306 ` 0 306 ` \0 @ 0017620 \0 ~ 177 0 374 ` \0 \0 \0 006 \0 020 \0 \0 \0 0017640 \0 006 \0 020 \0 \0 \0 \0 006 \0 \0 @ \0 \0 0017660 \0 . ( T h i s s a y s : 0017700 g o t o s t a t e q 2 , 0017720 w r i t e t h e s y m b o l 0017740 b o n t h e t a p e , 0017760 a n d m o v e t h e h e a 0020000 d r i g h t . ) Y o u c 0020020 a n n o w a d d a n o t h 0020040 e r t r a n s i t i o n o r 0020060 r u n t h e m a c h i n e 0020100 . \r P l e a s e s e n d a l 0020120 l c o m m e n t s , s u g g 0020140 e s t i o n s , a n d b u g 0020160 r e p o r t s t o m e , 0020200 D e n b e r . W B S T @ X e r o 0020220 x . C O M . \0 \0 \0 \0 \0 003 ( L I S 0020240 T ( ( P A G E N I L ( F O 0020260 L I O I N F O ( A R A B I C ) 0020300 S T A R T I N G P A G E # 1 0020320 ) ( 0 0 6 1 2 7 9 2 ) 0020340 ( ( F O L I O N I L ( P A R 0020360 A L O O K S ( Q U A D C E N 0020400 T E R E D ) C H A R L O O K S 0020420 ( S U P E R S C R I P T 0 0020440 S I Z E 1 0 F A M I L Y M 0020460 O D E R N O V E R L I N E O 0020500 F F S T R I K E O U T O F F 0020520 U N D E R L I N E O F F S 0020540 L O P E R E G U L A R W E I 0020560 G H T M E D I U M ) F O R M 0020600 A T I N F O ( A R A B I C ) ) 0020620 ( 1 7 4 3 6 2 8 8 3 6 ) 0020640 N I L ) ( H E A D I N G N 0020660 I L ( H E A D I N G T Y P E 0020700 R U N N I N G H E A D ) ( 8 4 0020720 7 4 4 4 4 4 3 6 ) N I L 0020740 ) ( T E X T N I L N I L 0020760 ( 8 4 9 6 4 5 6 6 0 0 ) 0021000 N I L ) ) ) ( P A G E N I L 0021020 N I L ( 0 0 6 1 2 7 9 0021040 2 ) ( ( F O L I O N I L ( 0021060 P A R A L O O K S ( Q U A D 0021100 C E N T E R E D ) C H A R L O 0021120 O K S ( S U P E R S C R I P T 0021140 0 S I Z E 1 0 F A M I L 0021160 Y M O D E R N O V E R L I N 0021200 E O F F S T R I K E O U T 0021220 O F F U N D E R L I N E O F 0021240 F S L O P E R E G U L A R 0021260 W E I G H T M E D I U M ) ) 0021300 ( 2 8 2 4 2 7 2 3 6 ) N 0021320 I L ) ( H E A D I N G N I L 0021340 ( H E A D I N G T Y P E R U 0021360 N N I N G H E A D ) ( 8 4 7 0021400 4 4 4 4 4 3 6 ) N I L ) 0021420 ( T E X T N I L N I L ( 8 0021440 4 9 6 4 5 6 6 0 0 ) N I 0021460 L ) ) ) ( P A G E N I L N 0021500 I L ( 0 0 6 1 2 7 9 2 ) 0021520 ( ( F O L I O N I L ( P A 0021540 R A L O O K S ( Q U A D C E 0021560 N T E R E D ) C H A R L O O K 0021600 S ( S U P E R S C R I P T 0 0021620 S I Z E 1 0 F A M I L Y 0021640 M O D E R N O V E R L I N E 0021660 O F F S T R I K E O U T O F 0021700 F U N D E R L I N E O F F 0021720 S L O P E R E G U L A R W E 0021740 I G H T M E D I U M ) ) ( 2 0021760 8 2 4 2 7 2 3 6 ) N I L 0022000 ) ( H E A D I N G N I L ( 0022020 H E A D I N G T Y P E R U N N 0022040 I N G H E A D ) ( 8 4 7 4 4 0022060 4 4 4 3 6 ) N I L ) ( T 0022100 E X T N I L N I L ( 8 4 0022120 9 6 4 5 6 6 0 0 ) N I L ) 0022140 ) ) ) ) \0 \0 \0 \0 \0 005 \0 006 \0 ( \0 \0 0022160 \0 \0 \0 \0 \0 \n \0 \0 \0 001 002 004 \0 \0 \0 \0 0022200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0022220 \0 \0 \0 \0 \0 ( \0 \0 \0 \0 001 310 \0 021 \0 \0 0022240 \0 004 002 003 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0022260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 212 0022300 \0 212 001 8 \0 006 \0 \0 \0 004 002 003 \0 \0 \0 \0 0022320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0022340 \0 \0 \0 \0 \0 ( \0 \0 \0 \0 001 310 \0 \v \0 \0 0022360 \0 004 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0022400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 212 0022420 \0 212 001 8 \0 \0 \0 \0 \0 004 002 004 \0 \0 \0 \0 0022440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0022460 \0 \0 \0 \0 \0 D \0 \0 \0 \0 001 310 \0 \0 \0 \0 0022500 \0 \0 003 004 \0 \0 001 001 310 001 \0 \0 \0 \0 \0 \0 0022520 \0 \v P A G E H E A D I N G \0 \v R 0022540 U N N I N G H E A D \0 \0 \0 \0 \0 \0 0022560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \a 0022600 \0 024 \0 006 M O D E R N \0 \n \0 006 \0 \0 0022620 \0 \0 \0 \0 \0 024 \0 006 M O D E R N \0 \n 0022640 \0 \0 \0 \0 \0 \0 002 \0 \0 024 \0 006 M O D E 0022660 R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 024 \0 006 0022700 M O D E R N \0 \f \0 \0 \0 \0 \0 \0 002 \0 0022720 \0 024 \0 006 M O D E R N \0 006 \0 \0 \0 \0 0022740 \0 \0 \0 \0 \0 024 \0 006 M O D E R N \0 \n 0022760 \0 \0 \0 \0 \0 \0 001 \0 \0 022 \0 004 L O G O 0023000 \0 030 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 0023020 \0 006 \0 \0 \0 005 \0 \0 \0 \0 \a \0 \0 \0 001 \0 0023040 \0 \0 \0 005 \0 \0 \0 \a \0 \0 \0 \0 003 \0 \0 \0 0023060 \0 \0 002 \0 006 \0 \0 \0 002 \0 001 \0 \v H R U 0023100 L E . G E T F N 001 \0 024 \0 006 M O D 0023120 E R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 0023140 001 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 005 \0 \0 0023160 \0 002 \0 001 \0 \v H R U L E . G E T F 0023200 N 001 \0 024 \0 006 M O D E R N \0 \n \0 \0 0023220 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 003 \0 0023240 \0 \0 \0 \0 002 \0 005 \0 \0 \0 002 \0 001 \0 \v H 0023260 R U L E . G E T F N 001 \0 024 \0 006 M 0023300 O D E R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 0023320 \0 \0 001 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 003 0023340 \0 \0 \0 \a \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 0023360 003 \0 \0 \0 002 \0 001 \0 \v H R U L E . G 0023400 E T F N 001 \0 024 \0 006 M O D E R N \0 0023420 \f \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 0023440 \0 004 \0 \0 \0 \0 \0 002 \0 005 \0 \0 \0 002 \0 001 0023460 \0 \v H R U L E . G E T F N 001 \0 024 0023500 \0 006 M O D E R N \0 \f \0 \0 \0 \0 \0 \0 0023520 002 \0 \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 0023540 002 \0 002 \0 \0 \0 + \0 \0 \0 \0 003 \0 \0 \0 \0 0023560 \0 002 \0 004 \0 \0 \0 \f \0 \0 \0 \0 002 \0 \0 \0 0023600 001 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0023620 001 J \0 \0 \0 \0 003 \0 \0 001 J \0 001 \0 \f B 0023640 M O B J . G E T F N 3 \0 \0 \0 001 \f 0023660 \0 \0 \0 \0 003 \0 \0 001 J \0 001 \0 \f B M O 0023700 B J . G E T F N 3 \0 \0 \0 \0 & \0 \0 0023720 \0 \0 003 \0 \0 001 J \0 001 \0 \f B M O B J 0023740 . G E T F N 3 \0 \0 \0 \0 327 \0 \0 \0 \0 0023760 003 \0 \0 \0 ; \0 \0 \0 \0 006 \0 \0 \0 - \0 \0 0024000 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 001 \0 0024020 \0 \0 \0 003 \0 \0 \0 \b \0 \0 \0 \0 002 \0 \0 \0 0024040 001 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0024060 \0 \0 \0 \0 \0 003 \0 \0 \0 002 \0 \0 \0 \0 006 0024100 \0 \0 \0 037 \0 \0 \0 \0 003 \0 \0 \0 002 \0 \0 \0 0024120 \0 006 \0 \0 001 8 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 0024140 002 \0 004 \0 \0 \0 021 \0 \0 \0 \0 002 \0 \0 \0 212 0024160 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 0024200 030 \0 \0 \0 \0 002 \0 \0 \0 263 \0 \0 \0 \0 003 \0 0024220 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 001 \0 \0 \0 \0 0024240 003 \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 027 \0 \0 0024260 002 \0 003 \0 \0 \0 332 \0 \0 \0 \0 003 \0 \0 \0 \0 0024300 \0 002 \0 004 \0 \0 \0 \t \0 \0 \0 \0 002 \0 \0 001 0024320 312 \0 \0 \0 \0 003 \0 \0 \0 , \0 001 \0 \f B M 0024340 O B J . G E T F N 3 \0 \0 \0 \0 $ \0 0024360 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 \f 0024400 \0 \0 \0 \0 002 \0 \0 \0 K \0 \0 \0 \0 003 \0 \0 0024420 \0 , \0 001 \0 \f B M O B J . G E T F 0024440 N 3 \0 \0 \0 \0 361 \0 \0 \0 \0 003 \0 \0 \0 , 0024460 \0 001 \0 \f B M O B J . G E T F N 3 0024500 \0 \0 \0 \0 * \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 0024520 \0 004 \0 \0 \0 021 \0 \0 \0 \0 002 \0 \0 \0 262 \0 0024540 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 024 0024560 \0 \0 \0 \0 002 \0 \0 \0 B \0 \0 \0 \0 003 \0 \0 0024600 \0 , \0 001 \0 \f B M O B J . G E T F 0024620 N 3 \0 \0 \0 \0 4 \0 \0 \0 \0 003 \0 \0 \0 \0 0024640 \0 002 \0 004 \0 \0 \0 017 \0 \0 \0 \0 002 \0 \0 \0 0024660 C \0 \0 \0 \0 003 \0 \0 \0 005 \0 \0 \0 \0 006 \0 0024700 \0 002 7 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 0024720 \0 \0 \0 016 \0 \0 \0 \0 002 \0 \0 \0 h \0 \0 \0 0024740 \0 003 \0 \0 \0 027 \0 \0 \0 \0 006 \0 \0 \0 _ \0 0024760 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 025 0025000 \0 \0 \0 \0 002 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 0025020 020 \0 \0 \0 \0 003 \0 \0 \0 020 \0 \0 \0 \0 006 \0 0025040 \0 \0 # \0 \0 \0 \0 003 \0 \0 \0 004 \0 \0 \0 \0 0025060 006 \0 \0 \0 324 \0 \0 \0 \0 003 \0 \0 \0 027 \0 \0 0025100 \0 \0 006 \0 \0 \0 002 \0 \0 \0 \0 003 \0 \0 \0 \0 0025120 \0 002 \0 004 \0 \0 \0 " \0 \0 \0 \0 003 \0 \0 \0 0025140 \a \0 \0 \0 \0 006 \0 \0 001 270 \0 \0 \0 \0 003 \0 0025160 \0 \0 \0 \0 002 \0 004 \0 \0 \0 " \0 \0 \0 \0 003 0025200 \0 \0 \0 006 \0 \0 \0 \0 006 \0 \0 \0 344 \0 \0 \0 0025220 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 ( \0 \0 0025240 \0 \0 003 \0 \0 \0 \r \0 \0 \0 \0 006 \0 \0 \0 { 0025260 \0 \0 \0 \0 003 \0 \0 \0 L \0 001 \0 \f B M O 0025300 B J . G E T F N 3 \0 \0 \0 \0 ! \0 \0 0025320 \0 \0 003 \0 \0 \0 \n \0 \0 \0 \0 006 \0 \0 \0 : 0025340 \0 \0 \0 \0 003 \0 \0 \0 L \0 001 \0 \f B M O 0025360 B J . G E T F N 3 \0 \0 \0 \0 S \0 \0 0025400 \0 \0 003 \0 \0 \0 020 \0 \0 \0 \0 006 \0 \0 \0 \t 0025420 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 0025440 025 \0 \0 \0 \0 002 \0 \0 \0 \0 \0 002 \0 004 \0 \0 0025460 \0 020 \0 \0 \0 \0 003 \0 \0 \0 020 \0 \0 \0 \0 006 0025500 \0 \0 \0 J \0 \0 \0 \0 003 \0 \0 \0 , \0 001 \0 0025520 \f B M O B J . G E T F N 3 \0 \0 \0 0025540 \0 317 \0 \0 \0 \0 003 \0 \0 \0 , \0 001 \0 \f B 0025560 M O B J . G E T F N 3 \0 \0 \0 \0 301 0025600 \0 \0 \0 \0 003 \0 \0 \0 , \0 001 \0 \f B M O 0025620 B J . G E T F N 3 \0 \0 \0 001 250 \0 \0 0025640 \0 \0 003 \0 \0 \0 t \0 001 \0 \f B M O B J 0025660 . G E T F N 3 \0 \0 \0 \0 033 \0 \0 \0 \0 0025700 003 \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 020 \0 \0 0025720 \0 \0 003 \0 \0 \0 002 \0 \0 \0 \0 006 \0 \0 \0 ` 0025740 \0 \0 \0 \0 003 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 0025760 T \0 \0 \0 \0 003 \0 \0 226 \0 212 z 272 0025776