marking3/bf.scala
author pdated
Sat, 16 Jun 2018 20:54:58 +0100
changeset 184 19b1e01054f6
parent 168 bb69fdebf05a
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
168
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// Part 2 about an Interpreter for the Brainf*** language
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
//========================================================
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
object CW8b {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
type Mem = Map[Int, Int]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
// (2a) Complete the functions for safely reading  
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
// and writing brainf*** memory. Safely read should
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
// Return the value stored in the Map for a given memory
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
// pointer, if it exists; otherwise it Returns 0. The
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
// writing function generates a new Map with the
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
// same data, except at the given memory pointer the
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
// value v is stored.
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
def sread(mem: Mem, mp: Int) : Int = 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
  mem.getOrElse(mp, 0)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
def write(mem: Mem, mp: Int, v: Int) : Mem =
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
  mem.updated(mp, v)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
// (2b) Implement the two jumping instructions in the 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
// brainf*** language. In jumpRight, given a program and 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
// a program counter move the program counter to the right 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
// until after the *matching* ]-command. Similarly, 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
// jumpLeft implements the move to the left to just after
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
// the *matching* [--command.
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
def jumpRight(prog: String, pc: Int, level: Int) : Int = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
  if (prog.length <= pc) pc 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
  else (prog(pc), level) match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
    case (']', 0) => pc + 1
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
    case (']', l) => jumpRight(prog, pc + 1, l - 1)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
    case ('[', l) => jumpRight(prog, pc + 1, l + 1)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
    case (_, l) => jumpRight(prog, pc + 1, l)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
  }
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
def jumpLeft(prog: String, p: Int, level: Int) : Int = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  if (p < 0) p 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  else (prog(p), level) match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
    case ('[', 0) => p + 1
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
    case ('[', l) => jumpLeft(prog, p - 1, l - 1)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
    case (']', l) => jumpLeft(prog, p - 1, l + 1)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
    case (_, l) => jumpLeft(prog, p - 1, l)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
  }
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
//jumpLeft("[******]***", 7, 0)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
// (2c) Complete the run function that interpretes (runs) a brainf***
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
// program: the arguments are a program, a program counter,
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
// a memory counter and a brainf*** memory. It Returns the
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
// memory at the stage when the excution of the brainf*** program
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
// finishes. The interpretation finishes once the program counter
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
// pc is pointing to something outside the program string.
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
// If the pc points to a character inside the program, the pc, 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
// memory pointer and memory need to be updated according to 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
// rules of the brainf*** language. Then, recursively, run 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
// function continues with the command at the new program
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
// counter. 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
// Implement the start function that calls run with the program
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
// counter and memory counter set to 0.
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
def run(prog: String, pc: Int, mp: Int, mem: Mem) : Mem = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
  if (0 <= pc && pc < prog.length) { 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
    val (new_pc, new_mp, new_mem) = prog(pc) match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
      case '>' => (pc + 1, mp + 1, mem)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
      case '<' => (pc + 1, mp - 1, mem)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
      case '+' => (pc + 1, mp, write(mem, mp, sread(mem, mp) + 1))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
      case '-' => (pc + 1, mp, write(mem, mp, sread(mem, mp) - 1))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
      case '.' => { print(sread(mem, mp).toChar); (pc + 1, mp, mem) }
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
      case ',' => (pc + 1, mp, write(mem, mp, Console.in.read().toByte))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
      case '['  => 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
	if (sread(mem, mp) == 0) (jumpRight(prog, pc + 1, 0), mp, mem) else (pc + 1, mp, mem) 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
      case ']'  => 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
	if (sread(mem, mp) != 0) (jumpLeft(prog, pc - 1, 0), mp, mem) else (pc + 1, mp, mem) 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
      case _ => (pc + 1, mp, mem)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
    }		     
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
    run(prog, new_pc, new_mp, new_mem)	
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
  }
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
  else mem
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
def start(prog: String, m: Mem) = run(prog, 0, 0, m)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
// some sample programs collected from the Internet
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
//==================================================
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
/*
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
// first some contrived (small) programs
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
// clears the 0-cell
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
start("[-]", Map(0 -> 100)) 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
// copies content of the 0-cell to 1-cell
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
start("[->+<]", Map(0 -> 10))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
// copies content of the 0-cell to 2-cell and 4-cell
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
start("[>>+>>+<<<<-]", Map(0 -> 42))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
// prints out numbers 0 to 9
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
start("""+++++[->++++++++++<]>--<+++[->>++++++++++<<]>>++<<----------[+>.>.<+<]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
// some more "useful" programs
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
// hello world program 1
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
start("""++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
       ..+++.>>.<-.<.+++.------.--------.>>+.>++.""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
// hello world program 2
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
start("""++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
      +.<<+++++++++++++++.>.+++.------.--------.>+.>.""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
// draws the Sierpinski triangle
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
start("""++++++++[>+>++++<<-]>++>>+<[-[>>+<<-]+>>]>+[-<<<[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
      ->[+[-]+>++>>>-<<]<[<]>>++++++[<<+++++>>-]+<<++.[-]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
      ]>.>+[>>]>+]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
println(start("""++++++++[>+>++++<<-]>++>>+<[-[>>+<<-]+>>]>+[-<<<[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
      ->[+[-]+>++>>>-<<]<[<]>>++++++[<<+++++>>-]+<<++.[-]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
      ]>.>+[>>]>+]""", Map())) 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
//fibonacci numbers below 100
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
start("""+++++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
      >+>>>>++++++++++++++++++++++++++++++++++++++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
      >++++++++++++++++++++++++++++++++<<<<<<[>[>>>>>>+>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
      +<<<<<<<-]>>>>>>>[<<<<<<<+>>>>>>>-]<[>++++++++++[-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
      <-[>>+>+<<<-]>>>[<<<+>>>-]+<[>[-]<[-]]>[<<[>>>+<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
      -]>>[-]]<<]>>>[>>+>+<<<-]>>>[<<<+>>>-]+<[>[-]<[-]]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
      >[<<+>>[-]]<<<<<<<]>>>>>[+++++++++++++++++++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
      +++++++++++++++++++++++.[-]]++++++++++<[->-<]>++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
      ++++++++++++++++++++++++++++++++++++++++++++.[-]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
      <<<<<<<<<<[>>>+>+<<<<-]>>>>[<<<<+>>>>-]<-[>>.>.<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
      [-]]<<[>>+>+<<<-]>>>[<<<+>>>-]<<[<+>-]>[<+>-]<<<-]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
//outputs the square numbers up to 10000
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
start("""++++[>+++++<-]>[<+++++>-]+<+[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
    >[>+>+<<-]++>>[<<+>>-]>>>[-]++>[-]+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
    >>>+[[-]++++++>>>]<<<[[<++++++++<++>>-]+<.<[>----<-]<]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
    <<[>>>>>[>>>[-]+++++++++<[>-<-]+++++++++>[-[<->-]+[<<<]]<[>+<-]>]<<-]<<-]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
//collatz numbers (need to be typed in)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
start(""">,[[----------[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
      >>>[>>>>]+[[-]+<[->>>>++>>>>+[>>>>]++[->+<<<<<]]<<<]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
      ++++++[>------<-]>--[>>[->>>>]+>+[<<<<]>-],<]>]>>>++>+>>[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
      <<[>>>>[-]+++++++++<[>-<-]+++++++++>[-[<->-]+[<<<<]]<[>+<-]>]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
      >[>[>>>>]+[[-]<[+[->>>>]>+<]>[<+>[<<<<]]+<<<<]>>>[->>>>]+>+[<<<<]]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
      >[[>+>>[<<<<+>>>>-]>]<<<<[-]>[-<<<<]]>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
      ]>>+[[-]++++++>>>>]<<<<[[<++++++++>-]<.[-]<[-]<[-]<]<,]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
// infinite collatz (never stops)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
start(""">>+>+<[[->>[>>]>>>[>>]+[<<]<<<[<<]>[>[>>]>>+>[>>]<+<[<<]<<<[<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
      <]>-]>[>>]>>[<<<<[<<]>+>[>>]>>-]<<<<[<<]+>>]<<[+++++[>+++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
      +<-]>.<++++++[>--------<-]+<<]>>[>>]+[>>>>[<<+>+>-]<-[>+<-]+<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
      [<<->>-[<<+>>[-]]]>>>[<<<+<<+>>>>>-]<<<[>>>+<<<-]<<[[-]>+>>->
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
      [<+<[<<+>>-]<[>+<-]<[>+<-]>>>>-]<[>+<-]+<[->[>>]<<[->[<+++>-[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
      <+++>-[<+++>-[<[-]++>>[-]+>+<<-[<+++>-[<+++>-[<[-]+>>>+<<-[<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
      ++>-[<+++>-]]]]]]]]]<[>+<-]+<<]>>>+<[->[<+>-[<+>-[<+>-[<+>-[<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   168
      +>-[<+>-[<+>-[<+>-[<+>-[<[-]>>[-]+>+<<-[<+>-]]]]]]]]]]]<[>+<-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   169
      ]+>>]<<[<<]>]<[->>[->+>]<[-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   170
      >>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>-[<->>+<-[<+>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   171
      -[<->>+<-[<+>-[<->>+<-[<+>-]]]]]]]]]]]]]]]]]]]>[<+>-]<+<[<+++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   172
      +++++++>-]<]>>[<+>->>]<<[>+>+<<-]>[<+>-]+>[<->[-]]<[-<<-]<<[<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   173
      <]]++++++[>+++++++<-]>++.------------.[-]>[>>]<<[+++++[>+++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   174
      +++<-]>.<++++++[>--------<-]+<<]+<]>[<+>-]<]>>>[>>]<<[>[-]<-<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   175
      <]++++++++++.[-]<<<[<<]>>>+<[->[<+>-[<+>-[<+>-[<+>-[<+>-[<+>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   176
      [<+>-[<+>-[<+>-[<[-]>>[-]+>+<<-]]]]]]]]]]<[>+<-]+>>]<<[<<]>>]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   177
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   178
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   179
start("""+++++[>+++++++++<-],[[>--.++>+<<-]>+.->[<.>-]<<,]""", Map())
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   180
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   181
*/ 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   182
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   183
/*
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   184
def splice(cs: List[Char], acc: List[(Char, Int)]) : List[(Char, Int)] = (cs, acc) match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   185
  case (Nil, acc) => acc
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   186
  case (c :: cs, Nil) => splice(cs, List((c, 1)))
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   187
  case (c :: cs, (d, n) :: acc) => 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   188
    if (c == d) splice(cs, (c, n + 1) :: acc)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   189
    else splice(cs, (c, 1) :: (d, n) :: acc)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   190
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   191
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   192
def spl(s: String) = splice(s.toList, Nil).reverse
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   193
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   194
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   195
// simple instructions
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   196
def instr(c: Char) : String = c match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   197
  case '>' => "ptr++;"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   198
  case '<' => "ptr--;"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   199
  case '+' => "(*ptr)++;"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   200
  case '-' => "(*ptr)--;"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   201
  case '.' => "putchar(*ptr);"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   202
  case ',' => "*ptr = getchar();\n"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   203
  case '['  => "while(*ptr){"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   204
  case ']'  => "}"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   205
  case _ => ""
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   206
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   207
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   208
def instrs(prog: String) : String =
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   209
  prog.toList.map(instr(_)).mkString
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   210
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   211
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   212
//optimised instructions
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   213
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   214
def instr2(c: Char, n: Int) : String = c match {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   215
  case '>' => "ptr += " + n.toString + ";"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   216
  case '<' => "ptr -= " + n.toString + ";"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   217
  case '+' => "(*ptr) += " + n.toString + ";"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   218
  case '-' => "(*ptr) -= " + n.toString + ";"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   219
  case '.' => "putchar(*ptr);" * n
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   220
  case ',' => "*ptr = getchar();\n" * n
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   221
  case '['  => "while(*ptr){" * n
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   222
  case ']'  => "}" * n
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   223
  case _ => ""
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   224
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   225
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   226
def instrs2(prog: String) : String =
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   227
  spl(prog).map{ case (c, n) => instr2(c, n) }.mkString
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   228
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   229
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   230
// peephole optimisers are at
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   231
// https://github.com/Wilfred/bfc#peephole-optimisations
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   232
// http://calmerthanyouare.org/2015/01/07/optimizing-brainfuck.html
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   233
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   234
def compile_str(prog: String) : String = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   235
  "#include <string.h>\n" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   236
  "#include <stdio.h>\n" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   237
  "char field[30000];\n" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   238
  "char *ptr = &field[15000];" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   239
  "int main()\n{\n" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   240
  "memset(field, '\\0', 30000);\n" ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   241
  instrs2(prog) ++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   242
  "\n re turn 0;\n}"
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   243
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   244
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   245
def compile(name: String, prog: String) = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   246
  val fw = new java.io.FileWriter(name + ".c") 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   247
  fw.write(compile_str(prog)) 
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   248
  fw.close()
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   249
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   250
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   251
import sys.process._
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   252
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   253
def compile_run(prog: String) = {
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   254
  compile("tmp", prog)
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   255
  "gcc -O3 -o tmp tmp.c".!
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   256
  "./tmp".!
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   257
  ()
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   258
}
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   259
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   260
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   261
compile_run("""++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   262
       ..+++.>>.<-.<.+++.------.--------.>>+.>++.""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   263
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   264
compile_run("""++++++++[>+>++++<<-]>++>>+<[-[>>+<<-]+>>]>+[-<<<[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   265
      ->[+[-]+>++>>>-<<]<[<]>>++++++[<<+++++>>-]+<<++.[-]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   266
      ]>.>+[>>]>+]""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   267
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   268
compile_run("""      A mandelbrot set fractal viewer in brainf*** written by Erik Bosman
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   269
+++++++++++++[->++>>>+++++>++>+<<<<<<]>>>>>++++++>--->>>>>>>>>>+++++++++++++++[[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   270
>>>>>>>>>]+[<<<<<<<<<]>>>>>>>>>-]+[>>>>>>>>[-]>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>[-]+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   271
<<<<<<<+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>>+>>>>>>>>>>>>>>>>>>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   272
>+<<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+[>>>>>>[>>>>>>>[-]>>]<<<<<<<<<[<<<<<<<<<]>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   273
>>>>>[-]+<<<<<<++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<+++++++[-[->>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   274
>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[[-]>>>>>>[>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   275
>>[-<<<<<<+>>>>>>]<<<<<<[->>>>>>+<<+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   276
[>>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<+<<]>>>>>>>>]<<<<<<<<<[<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   277
<<]>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<<<]>>>>>>>>>+++++++++++++++[[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   278
>>>>>>>>>]+>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   279
>+>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>[-<<<<+>>>>]<<<<[->>>>+<<<<<[->>[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   280
-<<+>>]<<[->>+>>+<<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>>>>]<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   281
<<[>[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<]>[->>>>>>>>>+<<<<<<<<<]<+>>>>>>>>]<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   282
[>[-]<->>>>[-<<<<+>[<->-<<<<<<+>>>>>>]<[->+<]>>>>]<<<[->>>+<<<]<+<<<<<<<<<]>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   283
>>>>[>+>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>>[-<<<<<+>>>>>]<<<<<[->>>>>+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   284
<<<<<<[->>>[-<<<+>>>]<<<[->>>+>+<<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   285
>>>>>>>]<<<<<<<<<[>>[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<<]>>[->>>>>>>>>+<<<<<<<<<]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   286
+>>>>>>>>]<<<<<<<<<[>[-]<->>>>[-<<<<+>[<->-<<<<<<+>>>>>>]<[->+<]>>>>]<<<[->>>+<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   287
<]<+<<<<<<<<<]>>>>>>>>>[>>>>[-<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<+>>>>>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   288
>>>>>>>>>>>>>>>>>>>>>>>]>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>+++++++++++++++[[>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   289
>>>>>]<<<<<<<<<-<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+>>>>>>>>>>>>>>>>>>>>>+<<<[<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   290
<<<]>>>>>>>>>[>>>[-<<<->>>]+<<<[->>>->[-<<<<+>>>>]<<<<[->>>>+<<<<<<<<<<<<<[<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   291
<<<<]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>>>[-<<<<->>>>]+<<<<[->>>>-<[-<<<+>>>]<<<[->
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   292
>>+<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+>>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>>>>>>>>]<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   293
<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]<<<<<<<[->+>>>-<<<<]>>>>>>>>>+++++++++++++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   294
+++++++>>[-<<<<+>>>>]<<<<[->>>>+<<[-]<<]>>[<<<<<<<+<[-<+>>>>+<<[-]]>[-<<[->+>>>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   295
<<<<]>>>]>>>>>>>>>>>>>[>>[-]>[-]>[-]>>>>>]<<<<<<<<<[<<<<<<<<<]>>>[-]>>>>>>[>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   296
[-<<<<+>>>>]<<<<[->>>>+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>[-<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   297
<+>>>>>>>>>]>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>+++++++++++++++[[>>>>>>>>>]+>[-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   298
]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[>+>>>>>>>>]<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   299
<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>>[-<<<<<+>>>>>]<<<<<[->>>>>+<<<<<<[->>[-<<+>>]<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   300
<[->>+>+<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>>>>]<<<<<<<<<[>[->>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   301
>>>>>+<<<<<<<<<]<<<<<<<<<<]>[->>>>>>>>>+<<<<<<<<<]<+>>>>>>>>]<<<<<<<<<[>[-]<->>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   302
[-<<<+>[<->-<<<<<<<+>>>>>>>]<[->+<]>>>]<<[->>+<<]<+<<<<<<<<<]>>>>>>>>>[>>>>>>[-<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   303
<<<<+>>>>>]<<<<<[->>>>>+<<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>+>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   304
]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>>[-<<<<<+>>>>>]<<<<<[->>>>>+<<<<<<[->>[-<<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   305
>>]<<[->>+>>+<<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>>>>]<<<<<<<<<[>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   306
[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<]>[->>>>>>>>>+<<<<<<<<<]<+>>>>>>>>]<<<<<<<<<[>[-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   307
]<->>>>[-<<<<+>[<->-<<<<<<+>>>>>>]<[->+<]>>>>]<<<[->>>+<<<]<+<<<<<<<<<]>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   308
[>>>>[-<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<+>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   309
]>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>[-<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<+>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   310
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>]>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   311
+++++++[[>>>>>>>>>]<<<<<<<<<-<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[>>>>>>>>[-<<<<<<<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   312
>>>>>>>]<<<<<<<[->>>>>>>+<<<<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>>>>[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   313
-]>>>]<<<<<<<<<[<<<<<<<<<]>>>>+>[-<-<<<<+>>>>>]>[-<<<<<<[->>>>>+<++<<<<]>>>>>[-<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   314
<<<<+>>>>>]<->+>]<[->+<]<<<<<[->>>>>+<<<<<]>>>>>>[-]<<<<<<+>>>>[-<<<<->>>>]+<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   315
[->>>>->>>>>[>>[-<<->>]+<<[->>->[-<<<+>>>]<<<[->>>+<<<<<<<<<<<<[<<<<<<<<<]>>>[-]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   316
+>>>>>>[>>>>>>>>>]>+<]]+>>>[-<<<->>>]+<<<[->>>-<[-<<+>>]<<[->>+<<<<<<<<<<<[<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   317
<<<<]>>>>[-]+>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>>>>>>>>]<<<<<<<<]>>>>>>>>]<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   318
[<<<<<<<<<]>>>>[-<<<<+>>>>]<<<<[->>>>+>>>>>[>+>>[-<<->>]<<[->>+<<]>>>>>>>>]<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   319
<<<+<[>[->>>>>+<<<<[->>>>-<<<<<<<<<<<<<<+>>>>>>>>>>>[->>>+<<<]<]>[->>>-<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   320
<<<<<+>>>>>>>>>>>]<<]>[->>>>+<<<[->>>-<<<<<<<<<<<<<<+>>>>>>>>>>>]<]>[->>>+<<<]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   321
<<<<<<<<<<]>>>>[-]<<<<]>>>[-<<<+>>>]<<<[->>>+>>>>>>[>+>[-<->]<[->+<]>>>>>>>>]<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   322
<<<<<+<[>[->>>>>+<<<[->>>-<<<<<<<<<<<<<<+>>>>>>>>>>[->>>>+<<<<]>]<[->>>>-<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   323
<<<<<<<+>>>>>>>>>>]<]>>[->>>+<<<<[->>>>-<<<<<<<<<<<<<<+>>>>>>>>>>]>]<[->>>>+<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   324
]<<<<<<<<<<<]>>>>>>+<<<<<<]]>>>>[-<<<<+>>>>]<<<<[->>>>+>>>>>[>>>>>>>>>]<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   325
[>[->>>>>+<<<<[->>>>-<<<<<<<<<<<<<<+>>>>>>>>>>>[->>>+<<<]<]>[->>>-<<<<<<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   326
+>>>>>>>>>>>]<<]>[->>>>+<<<[->>>-<<<<<<<<<<<<<<+>>>>>>>>>>>]<]>[->>>+<<<]<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   327
<<<<<]]>[-]>>[-]>[-]>>>>>[>>[-]>[-]>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>>>[-<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   328
<<<+>>>>]<<<<[->>>>+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>+++++++++++++++[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   329
[>>>>>>>>>]+>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   330
[>+>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>[-<<<<+>>>>]<<<<[->>>>+<<<<<[->>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   331
[-<<+>>]<<[->>+>+<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>>>>]<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   332
<[>[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<]>[->>>>>>>>>+<<<<<<<<<]<+>>>>>>>>]<<<<<<<<<[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   333
>[-]<->>>[-<<<+>[<->-<<<<<<<+>>>>>>>]<[->+<]>>>]<<[->>+<<]<+<<<<<<<<<]>>>>>>>>>[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   334
>>>[-<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<+>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>]>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   335
>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>[-]>>>>+++++++++++++++[[>>>>>>>>>]<<<<<<<<<-<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   336
<<<<[<<<<<<<<<]>>>>>>>>>-]+[>>>[-<<<->>>]+<<<[->>>->[-<<<<+>>>>]<<<<[->>>>+<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   337
<<<<<<<<[<<<<<<<<<]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>>>[-<<<<->>>>]+<<<<[->>>>-<[-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   338
<<<+>>>]<<<[->>>+<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+>>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   339
>>>>>>>]<<<<<<<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>[-<<<+>>>]<<<[->>>+>>>>>>[>+>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   340
[-<<<->>>]<<<[->>>+<<<]>>>>>>>>]<<<<<<<<+<[>[->+>[-<-<<<<<<<<<<+>>>>>>>>>>>>[-<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   341
+>>]<]>[-<<-<<<<<<<<<<+>>>>>>>>>>>>]<<<]>>[-<+>>[-<<-<<<<<<<<<<+>>>>>>>>>>>>]<]>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   342
[-<<+>>]<<<<<<<<<<<<<]]>>>>[-<<<<+>>>>]<<<<[->>>>+>>>>>[>+>>[-<<->>]<<[->>+<<]>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   343
>>>>>>]<<<<<<<<+<[>[->+>>[-<<-<<<<<<<<<<+>>>>>>>>>>>[-<+>]>]<[-<-<<<<<<<<<<+>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   344
>>>>>>>]<<]>>>[-<<+>[-<-<<<<<<<<<<+>>>>>>>>>>>]>]<[-<+>]<<<<<<<<<<<<]>>>>>+<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   345
]>>>>>>>>>[>>>[-]>[-]>[-]>>>>]<<<<<<<<<[<<<<<<<<<]>>>[-]>[-]>>>>>[>>>>>>>[-<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   346
<+>>>>>>]<<<<<<[->>>>>>+<<<<+<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>+>[-<-<<<<+>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   347
>]>>[-<<<<<<<[->>>>>+<++<<<<]>>>>>[-<<<<<+>>>>>]<->+>>]<<[->>+<<]<<<<<[->>>>>+<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   348
<<<]+>>>>[-<<<<->>>>]+<<<<[->>>>->>>>>[>>>[-<<<->>>]+<<<[->>>-<[-<<+>>]<<[->>+<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   349
<<<<<<<<<[<<<<<<<<<]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>[-<<->>]+<<[->>->[-<<<+>>>]<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   350
<<[->>>+<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+>>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>>>>>>>>]<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   351
<<<<<<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>[-<<<+>>>]<<<[->>>+>>>>>>[>+>[-<->]<[->+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   352
<]>>>>>>>>]<<<<<<<<+<[>[->>>>+<<[->>-<<<<<<<<<<<<<+>>>>>>>>>>[->>>+<<<]>]<[->>>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   353
<<<<<<<<<<<<<+>>>>>>>>>>]<]>>[->>+<<<[->>>-<<<<<<<<<<<<<+>>>>>>>>>>]>]<[->>>+<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   354
]<<<<<<<<<<<]>>>>>[-]>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<<<]]>>>>[-<<<<+>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   355
>>>]<<<<[->>>>+>>>>>[>+>>[-<<->>]<<[->>+<<]>>>>>>>>]<<<<<<<<+<[>[->>>>+<<<[->>>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   356
<<<<<<<<<<<<<+>>>>>>>>>>>[->>+<<]<]>[->>-<<<<<<<<<<<<<+>>>>>>>>>>>]<<]>[->>>+<<[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   357
->>-<<<<<<<<<<<<<+>>>>>>>>>>>]<]>[->>+<<]<<<<<<<<<<<<]]>>>>[-]<<<<]>>>>[-<<<<+>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   358
>>]<<<<[->>>>+>[-]>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<<<]>>>>>>>>>[>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   359
>>>]<<<<<<<<<[>[->>>>+<<<[->>>-<<<<<<<<<<<<<+>>>>>>>>>>>[->>+<<]<]>[->>-<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   360
<<<<<+>>>>>>>>>>>]<<]>[->>>+<<[->>-<<<<<<<<<<<<<+>>>>>>>>>>>]<]>[->>+<<]<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   361
<<<<]]>>>>>>>>>[>>[-]>[-]>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>[-]>[-]>>>>>[>>>>>[-<<<<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   362
>>>>]<<<<[->>>>+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>>>>[-<<<<<+>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   363
]<<<<<[->>>>>+<<<+<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>+++++++++++++++[[>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   364
>>>>>]+>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[>+>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   365
>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>[-<<<<+>>>>]<<<<[->>>>+<<<<<[->>[-<<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   366
>>]<<[->>+>>+<<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>>>>]<<<<<<<<<[>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   367
[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<]>[->>>>>>>>>+<<<<<<<<<]<+>>>>>>>>]<<<<<<<<<[>[-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   368
]<->>>>[-<<<<+>[<->-<<<<<<+>>>>>>]<[->+<]>>>>]<<<[->>>+<<<]<+<<<<<<<<<]>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   369
[>+>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>->>>>>[-<<<<<+>>>>>]<<<<<[->>>>>+<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   370
<<[->>>[-<<<+>>>]<<<[->>>+>+<<<<]+>>>>>>>>>]<<<<<<<<[<<<<<<<<<]]>>>>>>>>>[>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   371
>>>]<<<<<<<<<[>>[->>>>>>>>>+<<<<<<<<<]<<<<<<<<<<<]>>[->>>>>>>>>+<<<<<<<<<]<<+>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   372
>>>>>]<<<<<<<<<[>[-]<->>>>[-<<<<+>[<->-<<<<<<+>>>>>>]<[->+<]>>>>]<<<[->>>+<<<]<+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   373
<<<<<<<<<]>>>>>>>>>[>>>>[-<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<+>>>>>>>>>>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   374
>>>>>>>>>>>>>>>>>>>]>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>+++++++++++++++[[>>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   375
>]<<<<<<<<<-<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+>>>>>>>>>>>>>>>>>>>>>+<<<[<<<<<<<<<]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   376
>>>>>>>>>[>>>[-<<<->>>]+<<<[->>>->[-<<<<+>>>>]<<<<[->>>>+<<<<<<<<<<<<<[<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   377
]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>>>[-<<<<->>>>]+<<<<[->>>>-<[-<<<+>>>]<<<[->>>+<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   378
<<<<<<<<<<<[<<<<<<<<<]>>>[-]+>>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>>>>>>>>]<<<<<<<<]>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   379
>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>->>[-<<<<+>>>>]<<<<[->>>>+<<[-]<<]>>]<<+>>>>[-<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   380
->>>>]+<<<<[->>>>-<<<<<<.>>]>>>>[-<<<<<<<.>>>>>>>]<<<[-]>[-]>[-]>[-]>[-]>[-]>>>[
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   381
>[-]>[-]>[-]>[-]>[-]>[-]>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>>>[-]>>>>]<<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   382
[<<<<<<<<<]>+++++++++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>+>>>>>>>>>+<<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   383
<<<<<<[<<<<<<<<<]>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+[-]>>[>>>>>>>>>]<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   384
<<<<[>>>>>>>[-<<<<<<+>>>>>>]<<<<<<[->>>>>>+<<<<<<<[<<<<<<<<<]>>>>>>>[-]+>>>]<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   385
<<<<<<]]>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+>>[>+>>>>[-<<<<->>>>]<<<<[->>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   386
>+<<<<]>>>>>>>>]<<+<<<<<<<[>>>>>[->>+<<]<<<<<<<<<<<<<<]>>>>>>>>>[>>>>>>>>>]<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   387
<<<<[>[-]<->>>>>>>[-<<<<<<<+>[<->-<<<+>>>]<[->+<]>>>>>>>]<<<<<<[->>>>>>+<<<<<<]<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   388
+<<<<<<<<<]>>>>>>>-<<<<[-]+<<<]+>>>>>>>[-<<<<<<<->>>>>>>]+<<<<<<<[->>>>>>>->>[>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   389
>>>[->>+<<]>>>>]<<<<<<<<<[>[-]<->>>>>>>[-<<<<<<<+>[<->-<<<+>>>]<[->+<]>>>>>>>]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   390
<<<<[->>>>>>+<<<<<<]<+<<<<<<<<<]>+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>+<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   391
<<[<<<<<<<<<]>>>>>>>>>[>>>>>[-<<<<<->>>>>]+<<<<<[->>>>>->>[-<<<<<<<+>>>>>>>]<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   392
<<<[->>>>>>>+<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>>>>>>[-<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   393
<<<<<<->>>>>>>]+<<<<<<<[->>>>>>>-<<[-<<<<<+>>>>>]<<<<<[->>>>>+<<<<<<<<<<<<<<[<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   394
<<<<<<]>>>[-]+>>>>>>[>>>>>>>>>]>[-]+<]]+>[-<[>>>>>>>>>]<<<<<<<<]>>>>>>>>]<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   395
<<[<<<<<<<<<]>>>>[-]<<<+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>-<<<<<[<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   396
<<]]>>>]<<<<.>>>>>>>>>>[>>>>>>[-]>>>]<<<<<<<<<[<<<<<<<<<]>++++++++++[-[->>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   397
>+<<<<<<<<<]>>>>>>>>>]>>>>>+>>>>>>>>>+<<<<<<<<<<<<<<<[<<<<<<<<<]>>>>>>>>[-<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   398
<<+>>>>>>>>]<<<<<<<<[->>>>>>>>+[-]>[>>>>>>>>>]<<<<<<<<<[>>>>>>>>[-<<<<<<<+>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   399
>]<<<<<<<[->>>>>>>+<<<<<<<<[<<<<<<<<<]>>>>>>>>[-]+>>]<<<<<<<<<<]]>>>>>>>>[-<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   400
<<<+>>>>>>>>]<<<<<<<<[->>>>>>>>+>[>+>>>>>[-<<<<<->>>>>]<<<<<[->>>>>+<<<<<]>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   401
>>]<+<<<<<<<<[>>>>>>[->>+<<]<<<<<<<<<<<<<<<]>>>>>>>>>[>>>>>>>>>]<<<<<<<<<[>[-]<-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   402
>>>>>>>>[-<<<<<<<<+>[<->-<<+>>]<[->+<]>>>>>>>>]<<<<<<<[->>>>>>>+<<<<<<<]<+<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   403
<<<]>>>>>>>>-<<<<<[-]+<<<]+>>>>>>>>[-<<<<<<<<->>>>>>>>]+<<<<<<<<[->>>>>>>>->[>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   404
>>>[->>+<<]>>>]<<<<<<<<<[>[-]<->>>>>>>>[-<<<<<<<<+>[<->-<<+>>]<[->+<]>>>>>>>>]<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   405
<<<<<[->>>>>>>+<<<<<<<]<+<<<<<<<<<]>+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   406
+>>>>>>>>>>>>>>>>>>>>>>>>>>>+<<<<<<[<<<<<<<<<]>>>>>>>>>[>>>>>>[-<<<<<<->>>>>>]+<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   407
<<<<<[->>>>>>->>[-<<<<<<<<+>>>>>>>>]<<<<<<<<[->>>>>>>>+<<<<<<<<<<<<<<<<<[<<<<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   408
<<]>>>>[-]+>>>>>[>>>>>>>>>]>+<]]+>>>>>>>>[-<<<<<<<<->>>>>>>>]+<<<<<<<<[->>>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   409
-<<[-<<<<<<+>>>>>>]<<<<<<[->>>>>>+<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+>>>>>>[>>>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   410
>>>]>[-]+<]]+>[-<[>>>>>>>>>]<<<<<<<<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>[-]<<<++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   411
+[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>->>>>>>>>>>>>>>>>>>>>>>>>>>>-<<<<<<[<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   412
<<<<<]]>>>]""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   413
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   414
compile_run("""
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   415
>+>+>+>+>++<[>[<+++>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   416
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   417
  >>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   418
  >+>+>+>+>++<[>[<+++>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   419
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   420
    >>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   421
    >+>+>+>+>++<[>[<+++>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   422
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   423
      >>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   424
      >+>+>+>+>++<[>[<+++>-
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   425
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   426
        >>>>>
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   427
        +++[->+++++<]>[-]<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   428
        <<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   429
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   430
      ]<<]>[-]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   431
      <<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   432
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   433
    ]<<]>[-]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   434
    <<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   435
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   436
  ]<<]>[-]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   437
  <<<<<
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   438
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   439
]<<]>.""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   440
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   441
// benchmarks
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   442
compile_run(""">++[<+++++++++++++>-]<[[>+>+<<-]>[<+>-]++++++++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   443
[>++++++++<-]>.[-]<<>++++++++++[>++++++++++[>++
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   444
++++++++[>++++++++++[>++++++++++[>++++++++++[>+
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   445
+++++++++[-]<-]<-]<-]<-]<-]<-]<-]++++++++++.""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   446
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   447
//
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   448
compile_run("""++++[>++++<-]>[>+>++>[+++++++>]+++[<]>-]>>>>>>>>-.
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   449
<<<<.<..+++.<.>>>>.<<<.+++.------.>-.<<+.<------.""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   450
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   451
compile_run("""++++++++[->-[->-[->-[-]<]<]<]
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   452
>++++++++[<++++++++++>-]<[>+>+<<-]>-.>-----.>""")
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   453
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   454
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   455
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   456
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   457
// register to BF compiler
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   458
// https://gergo.erdi.hu/blog/2010-09-06-from_register_machines_to_brainfuck,_part_1/
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   459
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   460
*/
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   461
bb69fdebf05a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   462
}