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