Russ Cox | 57eb06f | 2012-02-16 23:51:04 -0500 | [diff] [blame] | 1 | // run |
Robert Griesemer | 9bc7b08 | 2008-05-08 17:12:15 -0700 | [diff] [blame] | 2 | |
| 3 | // Copyright 2009 The Go Authors. All rights reserved. |
| 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file. |
| 6 | |
Rob Pike | 80a9783 | 2012-02-24 11:48:19 +1100 | [diff] [blame] | 7 | // Test simulating a Turing machine, sort of. |
| 8 | |
Robert Griesemer | 9bc7b08 | 2008-05-08 17:12:15 -0700 | [diff] [blame] | 9 | package main |
| 10 | |
| 11 | // brainfuck |
| 12 | |
Rob Pike | e430ee6 | 2010-09-04 10:40:00 +1000 | [diff] [blame] | 13 | var p, pc int |
| 14 | var a [30000]byte |
Ian Lance Taylor | 6b34628 | 2012-01-18 13:20:55 -0800 | [diff] [blame] | 15 | |
Rob Pike | e430ee6 | 2010-09-04 10:40:00 +1000 | [diff] [blame] | 16 | const prog = "++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>.!" |
| 17 | |
| 18 | func scan(dir int) { |
| 19 | for nest := dir; dir*nest > 0; pc += dir { |
| 20 | switch prog[pc+dir] { |
Ian Lance Taylor | 6b34628 | 2012-01-18 13:20:55 -0800 | [diff] [blame] | 21 | case ']': |
| 22 | nest-- |
| 23 | case '[': |
| 24 | nest++ |
Rob Pike | e430ee6 | 2010-09-04 10:40:00 +1000 | [diff] [blame] | 25 | } |
| 26 | } |
| 27 | } |
| 28 | |
Robert Griesemer | 9bc7b08 | 2008-05-08 17:12:15 -0700 | [diff] [blame] | 29 | func main() { |
Ian Lance Taylor | f203093 | 2012-01-18 14:31:31 -0800 | [diff] [blame] | 30 | r := "" |
Rob Pike | c0c3025 | 2008-05-15 15:20:59 -0700 | [diff] [blame] | 31 | for { |
| 32 | switch prog[pc] { |
Ian Lance Taylor | 6b34628 | 2012-01-18 13:20:55 -0800 | [diff] [blame] | 33 | case '>': |
| 34 | p++ |
| 35 | case '<': |
| 36 | p-- |
| 37 | case '+': |
| 38 | a[p]++ |
| 39 | case '-': |
| 40 | a[p]-- |
| 41 | case '.': |
Ian Lance Taylor | f203093 | 2012-01-18 14:31:31 -0800 | [diff] [blame] | 42 | r += string(a[p]) |
Ian Lance Taylor | 6b34628 | 2012-01-18 13:20:55 -0800 | [diff] [blame] | 43 | case '[': |
| 44 | if a[p] == 0 { |
| 45 | scan(1) |
| 46 | } |
| 47 | case ']': |
| 48 | if a[p] != 0 { |
| 49 | scan(-1) |
| 50 | } |
| 51 | default: |
Ian Lance Taylor | f203093 | 2012-01-18 14:31:31 -0800 | [diff] [blame] | 52 | if r != "Hello World!\n" { |
| 53 | panic(r) |
| 54 | } |
Ian Lance Taylor | 6b34628 | 2012-01-18 13:20:55 -0800 | [diff] [blame] | 55 | return |
Rob Pike | c0c3025 | 2008-05-15 15:20:59 -0700 | [diff] [blame] | 56 | } |
Rob Pike | e430ee6 | 2010-09-04 10:40:00 +1000 | [diff] [blame] | 57 | pc++ |
Rob Pike | c0c3025 | 2008-05-15 15:20:59 -0700 | [diff] [blame] | 58 | } |
Robert Griesemer | 9bc7b08 | 2008-05-08 17:12:15 -0700 | [diff] [blame] | 59 | } |