testing5/bf.scala
author Christian Urban <urbanc@in.tum.de>
Thu, 01 Aug 2019 09:48:34 +0100
changeset 268 d20583497c5b
parent 266 31e5218f43de
child 285 475c39725698
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
235
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// Part 1 about an Interpreter for the Brainf*** language
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
//========================================================
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
236
fac3ebafbac1 updated
Christian Urban <urbanc@in.tum.de>
parents: 235
diff changeset
     4
//object CW10a {  // only for generating the Jar file
235
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
type Mem = Map[Int, Int]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
import io.Source
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
import scala.util._
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
// (1) Write a function that takes a file name as argument and
236
fac3ebafbac1 updated
Christian Urban <urbanc@in.tum.de>
parents: 235
diff changeset
    14
// and requests the corresponding file from disk. It Returns the
235
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
// content of the file as a String. If the file does not exists,
236
fac3ebafbac1 updated
Christian Urban <urbanc@in.tum.de>
parents: 235
diff changeset
    16
// the function should Return the empty string.
235
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
def load_bff(name: String) : String = 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
  Try(Source.fromFile(name)("ISO-8859-1").mkString).getOrElse("")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
// (2) Complete the functions for safely reading  
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
// and writing brainf*** memory. Safely read should
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
// Return the value stored in the Map for a given memory
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
// pointer, provided it exists; otherwise it Returns 0. The
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
// writing function generates a new Map with the
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
// same data, except at the given memory pointer the
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
// value v is stored.
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
def sread(mem: Mem, mp: Int) : Int = 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
  mem.getOrElse(mp, 0)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
def write(mem: Mem, mp: Int, v: Int) : Mem =
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
  mem.updated(mp, v)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
// (3) Implement the two jumping instructions in the 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
// brainf*** language. In jumpRight, given a program and 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
// a program counter move the program counter to the right 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
// until after the *matching* ]-command. Similarly, 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
// jumpLeft implements the move to the left to just after
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
// the *matching* [-command.
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
def jumpRight(prog: String, pc: Int, level: Int) : Int = {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  if (prog.length <= pc) pc 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
  else (prog(pc), level) match {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
    case (']', 0) => pc + 1
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
    case (']', l) => jumpRight(prog, pc + 1, l - 1)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
    case ('[', l) => jumpRight(prog, pc + 1, l + 1)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
    case (_, l) => jumpRight(prog, pc + 1, l)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  }
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
}
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
def jumpLeft(prog: String, pc: Int, level: Int) : Int = {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
  if (pc < 0) pc 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
  else (prog(pc), level) match {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
    case ('[', 0) => pc + 1
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
    case ('[', l) => jumpLeft(prog, pc - 1, l - 1)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
    case (']', l) => jumpLeft(prog, pc - 1, l + 1)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
    case (_, l) => jumpLeft(prog, pc - 1, l)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
  }
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
}
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
// test cases
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
//jumpRight("""--[..+>--],>,++""", 3, 0)         // => 10
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
//jumpLeft("""--[..+>--],>,++""", 8, 0)          // => 3
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
//jumpRight("""--[..[+>]--],>,++""", 3, 0)       // => 12
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
//jumpRight("""--[..[[-]+>[.]]--],>,++""", 3, 0) // => 18
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
//jumpRight("""--[..[[-]+>[.]]--,>,++""", 3, 0)  // => 22 (outside)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
//jumpLeft("""[******]***""", 7, 0)              // => -1 (outside)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
// (4) Complete the compute function that interprets (runs) a brainf***
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
// program: the arguments are a program (represented as a string), a program 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
// counter, a memory counter and a brainf*** memory. It Returns the
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
// memory at the stage when the execution of the brainf*** program
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
// finishes. The interpretation finishes once the program counter
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
// pc is pointing to something outside the program string.
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
// If the pc points to a character inside the program, the pc, 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
// memory pointer and memory need to be updated according to 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
// rules of the brainf*** language. Then, recursively, the compute 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
// function continues with the command at the new program
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
// counter. 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
// Implement the run function that calls compute with the program
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
// counter and memory counter set to 0.
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
def compute(prog: String, pc: Int, mp: Int, mem: Mem) : Mem = {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
  if (0 <= pc && pc < prog.length) { 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
    val (new_pc, new_mp, new_mem) = prog(pc) match {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
      case '>' => (pc + 1, mp + 1, mem)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
      case '<' => (pc + 1, mp - 1, mem)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
      case '+' => (pc + 1, mp, write(mem, mp, sread(mem, mp) + 1))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
      case '-' => (pc + 1, mp, write(mem, mp, sread(mem, mp) - 1))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
      case '.' => { print(sread(mem, mp).toChar); (pc + 1, mp, mem) }
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
      case ',' => (pc + 1, mp, write(mem, mp, Console.in.read().toByte))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
      case '['  => 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
	if (sread(mem, mp) == 0) (jumpRight(prog, pc + 1, 0), mp, mem) else (pc + 1, mp, mem) 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
      case ']'  => 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
	if (sread(mem, mp) != 0) (jumpLeft(prog, pc - 1, 0), mp, mem) else (pc + 1, mp, mem) 
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
      case _ => (pc + 1, mp, mem)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
    }		     
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
    compute(prog, new_pc, new_mp, new_mem)	
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
  }
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
  else mem
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
}
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
def run(prog: String, m: Mem = Map()) = compute(prog, 0, 0, m)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
/*
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
// some sample bf-programs collected from the Internet
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
//=====================================================
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
// first some contrived (small) programs
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
// clears the 0-cell
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
run("[-]", Map(0 -> 100))    // Map will be 0 -> 0
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
// copies content of the 0-cell to 1-cell
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
run("[->+<]", Map(0 -> 10))  // Map will be 0 -> 0, 1 -> 10
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
// copies content of the 0-cell to 2-cell and 4-cell
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
run("[>>+>>+<<<<-]", Map(0 -> 42))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
// prints out numbers 0 to 9
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
run("""+++++[->++++++++++<]>--<+++[->>++++++++++<<]>>++<<----------[+>.>.<+<]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
// some more "useful" programs
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
// hello world program 1
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
run("""++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
       ..+++.>>.<-.<.+++.------.--------.>>+.>++.""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
// hello world program 2
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
run("""++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>+
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
      +.<<+++++++++++++++.>.+++.------.--------.>+.>.""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
// draws the Sierpinski triangle
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
run("""++++++++[>+>++++<<-]>++>>+<[-[>>+<<-]+>>]>+[-<<<[
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
      ->[+[-]+>++>>>-<<]<[<]>>++++++[<<+++++>>-]+<<++.[-]<<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
      ]>.>+[>>]>+]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
run(load_bff("sierpinski.bf"))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
//fibonacci numbers below 100
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
run("""+++++++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
      >+>>>>++++++++++++++++++++++++++++++++++++++++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
      >++++++++++++++++++++++++++++++++<<<<<<[>[>>>>>>+>
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
      +<<<<<<<-]>>>>>>>[<<<<<<<+>>>>>>>-]<[>++++++++++[-
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
      <-[>>+>+<<<-]>>>[<<<+>>>-]+<[>[-]<[-]]>[<<[>>>+<<<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
      -]>>[-]]<<]>>>[>>+>+<<<-]>>>[<<<+>>>-]+<[>[-]<[-]]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
      >[<<+>>[-]]<<<<<<<]>>>>>[+++++++++++++++++++++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
      +++++++++++++++++++++++.[-]]++++++++++<[->-<]>++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
      ++++++++++++++++++++++++++++++++++++++++++++.[-]<<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
      <<<<<<<<<<[>>>+>+<<<<-]>>>>[<<<<+>>>>-]<-[>>.>.<<<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
      [-]]<<[>>+>+<<<-]>>>[<<<+>>>-]<<[<+>-]>[<+>-]<<<-]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
//outputs the square numbers up to 10000
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
run("""++++[>+++++<-]>[<+++++>-]+<+[
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   168
    >[>+>+<<-]++>>[<<+>>-]>>>[-]++>[-]+
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   169
    >>>+[[-]++++++>>>]<<<[[<++++++++<++>>-]+<.<[>----<-]<]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   170
    <<[>>>>>[>>>[-]+++++++++<[>-<-]+++++++++>[-[<->-]+[<<<]]<[>+<-]>]<<-]<<-]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   171
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   172
//collatz numbers (needs a number to be typed in)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   173
run(""">,[[----------[
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   174
      >>>[>>>>]+[[-]+<[->>>>++>>>>+[>>>>]++[->+<<<<<]]<<<]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   175
      ++++++[>------<-]>--[>>[->>>>]+>+[<<<<]>-],<]>]>>>++>+>>[
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   176
      <<[>>>>[-]+++++++++<[>-<-]+++++++++>[-[<->-]+[<<<<]]<[>+<-]>]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   177
      >[>[>>>>]+[[-]<[+[->>>>]>+<]>[<+>[<<<<]]+<<<<]>>>[->>>>]+>+[<<<<]]
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   178
      >[[>+>>[<<<<+>>>>-]>]<<<<[-]>[-<<<<]]>>>>>>>
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   179
      ]>>+[[-]++++++>>>>]<<<<[[<++++++++>-]<.[-]<[-]<[-]<]<,]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   180
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   181
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   182
// infinite collatz (never stops)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   183
run(""">>+>+<[[->>[>>]>>>[>>]+[<<]<<<[<<]>[>[>>]>>+>[>>]<+<[<<]<<<[<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   184
      <]>-]>[>>]>>[<<<<[<<]>+>[>>]>>-]<<<<[<<]+>>]<<[+++++[>+++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   185
      +<-]>.<++++++[>--------<-]+<<]>>[>>]+[>>>>[<<+>+>-]<-[>+<-]+<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   186
      [<<->>-[<<+>>[-]]]>>>[<<<+<<+>>>>>-]<<<[>>>+<<<-]<<[[-]>+>>->
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   187
      [<+<[<<+>>-]<[>+<-]<[>+<-]>>>>-]<[>+<-]+<[->[>>]<<[->[<+++>-[
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   188
      <+++>-[<+++>-[<[-]++>>[-]+>+<<-[<+++>-[<+++>-[<[-]+>>>+<<-[<+
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   189
      ++>-[<+++>-]]]]]]]]]<[>+<-]+<<]>>>+<[->[<+>-[<+>-[<+>-[<+>-[<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   190
      +>-[<+>-[<+>-[<+>-[<+>-[<[-]>>[-]+>+<<-[<+>-]]]]]]]]]]]<[>+<-
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   191
      ]+>>]<<[<<]>]<[->>[->+>]<[-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<-
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   192
      >>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   193
      -[<->>+<-[<+>-[<->>+<-[<+>-]]]]]]]]]]]]]]]]]]]>[<+>-]<+<[<+++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   194
      +++++++>-]<]>>[<+>->>]<<[>+>+<<-]>[<+>-]+>[<->[-]]<[-<<-]<<[<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   195
      <]]++++++[>+++++++<-]>++.------------.[-]>[>>]<<[+++++[>+++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   196
      +++<-]>.<++++++[>--------<-]+<<]+<]>[<+>-]<]>>>[>>]<<[>[-]<-<
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   197
      <]++++++++++.[-]<<<[<<]>>>+<[->[<+>-[<+>-[<+>-[<+>-[<+>-[<+>-
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   198
      [<+>-[<+>-[<+>-[<[-]>>[-]+>+<<-]]]]]]]]]]<[>+<-]+>>]<<[<<]>>]""")
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   199
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   200
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   201
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   202
// a Mandelbrot set generator in brainf*** written by Erik Bosman
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   203
// (http://esoteric.sange.fi/brainfuck/utils/mandelbrot/)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   204
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   205
run(load_bff("mandelbrot.bf"))
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   206
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   207
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   208
// a benchmark program (counts down from 'Z' to 'A')
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   209
val b1 = """>++[<+++++++++++++>-]<[[>+>+<<-]>[<+>-]++++++++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   210
            [>++++++++<-]>.[-]<<>++++++++++[>++++++++++[>++
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   211
            ++++++++[>++++++++++[>++++++++++[>++++++++++[>+
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   212
            +++++++++[-]<-]<-]<-]<-]<-]<-]<-]++++++++++."""
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   213
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   214
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   215
def time_needed[T](n: Int, code: => T) = {
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   216
  val start = System.nanoTime()
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   217
  for (i <- 0 until n) code
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   218
  val end = System.nanoTime()
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   219
  (end - start)/(n * 1.0e9)
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   220
}
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   221
266
31e5218f43de updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 236
diff changeset
   222
235
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   223
*/
9e216601435f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   224
236
fac3ebafbac1 updated
Christian Urban <urbanc@in.tum.de>
parents: 235
diff changeset
   225
//}