BrainScan - BrainF*ckプãƒã‚°ãƒ©ãƒ ã‚’è¶…é«˜ä¿¡é ¼åŒ–ã™ã‚‹ - æ•°å¦çŒ«ã®ç”Ÿæ´»ã¨æ„見BrainScanã¨ã„ã†ã‚‚ã®ã‚’作ã£ã¦ã¿ã¾ã—ãŸã€‚BrainFuck*1ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ãƒ¢ãƒ‡ãƒ«æ¤œæŸ»å™¨ã§ã™ã€‚プãƒã‚°ãƒ©ãƒ ãŒã¨ã‚Šå¾—る全状態を探索ã—ã€ç•°å¸¸ãŒèµ·ããªã„ã‹æ¤œæŸ»ã—ã¾ã™ã€‚検査ã§ãã‚‹ã®ã¯ã€ãƒã‚¤ãƒ³ã‚¿ãŒã‚¢ãƒ³ãƒ€ãƒ¼ãƒ•ãƒãƒ¼ã—ãªã„ã“ã¨ãƒãƒƒãƒ•ã‚¡ã®å€¤ãŒ0-255を越ãˆãªã„ã‹ã©ã†ã‹(-Rã¾ãŸã¯--rangeオプションを付ã‘ãŸã¨ãã®ã¿)コードä¸ã§!ã§ãƒžãƒ¼ã‚¯ã•ã‚ŒãŸä½ç½®ã«åˆ°é”ã—ãªã„ã‹ã©ã†ã‹(ã—ãŸã‚‰ã‚¨ãƒ©ãƒ¼ã¨ã¿ãªã™)ã§ã™ã€‚エラーを検出ã™ã‚‹ã¨ã€ãã“ã¾ã§ã®ãƒˆãƒ¬ãƒ¼ã‚¹ã‚’出力ã—ã¾ã™ã€‚アルゴリズムã¯å˜ç´”ã§ã€æ·±ã•å„ªå…ˆæŽ¢ç´¢ã‚’ã™ã‚‹ã ã‘ã§ã™ã€‚ãƒãƒƒãƒ•ã‚¡ã®çŠ¶æ…‹ã¯åŒºé–“ã®é›†åˆã¨ã—ã¦ä¿æŒã•ã‚Œã¦ã„ã¾ã™ã€‚OCamlã§æ›¸ã‹ã‚Œã¦ã€ã‚³ãƒ³ãƒ‘イルã™ã‚‹ã«ã¯findlibã¨extlibãŒå¿…è¦ã§ã™ã€‚例を見ã¦ã¿ã¾ã—ょã†ã€‚ $ ./brainscan '[]!' ! reached. 0: [ 2: ! BrainF*ckプãƒã‚°ãƒ©ãƒ ã¯ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°ã¨ã—ã¦ä¸Žãˆã¾ã™ã€‚ã“ã®ä¾‹ã ã¨
{{#tags}}- {{label}}
{{/tags}}