6 The SECD virtual machine 6.1 The original SECD machine SECDã¯VMã®4ã¤ã®ä¸»ãªã¬ã¸ã¹ã¿ãããã®ååããã¦ããã S ã¹ã¿ã㯠- è©ä¾¡ä¸ã«ä¸éã®å¤ãä¿æãã E ç°å¢ - è©ä¾¡ä¸ã«å¤æ°ã®å¤ãä¿æãã C ã³ã¼ã - å®è¡ä¸ã®æ©æ¢°èªããã°ã©ã ãä¿æãã D ãã³ã - é¢æ°å¼ã³åºãä¸ã®ä»ã®ã¬ã¸ã¹ã¿ãä¿æããã¹ã¿ã㯠çè«ä¸ãSã¨Dã¯ã²ã¨ã¤ã®ã¬ã¸ã¹ã¿ã«çµã³ã¤ããããã ããããVMå½ä»¤ã®ç¶æ é·ç§»ãè¤éã«ããã åã¬ã¸ã¹ã¿ã¯Så¼(ã¸ã®ãã¤ã³ã¿)ãä¿æããã VMå½ä»¤ã®å½±é¿ã示ããããç¶æ é·ç§»ãç¨ãããã VMã¹ãããã®åã¨å¾ã§ã®åã¬ã¸ã¹ã¿ã®å 容ã示ãã s e c d â s' e' c' d' ä¾ãã°ãã¹ã¿ãã¯ã®ãããã«å®æ°ããã¼ãããVMå½ä»¤ã®LCDã®ç¶æ é·ç§»ã¯ s e (LCD x.c) d â (x.s) e c d ããã¯
{{#tags}}- {{label}}
{{/tags}}