progs/bfi.scala
author Christian Urban <urbanc@in.tum.de>
Thu, 26 Sep 2019 12:59:33 +0100
changeset 635 81b85ccfa40c
parent 632 fa98dbaeb384
child 636 18f9c0cd8675
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
632
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// An Interpreter for BF*** Programs
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
//===================================
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
import io.Source
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
import scala.util._
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
// loding a bf-file 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
def load_bff(name: String) : String = 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  Try(Source.fromFile(name)("ISO-8859-1").mkString).getOrElse("")
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
type Mem = Map[Int, Int]
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
// reading and writing BF memory
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
def sread(mem: Mem, mp: Int) : Int = 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
  mem.getOrElse(mp, 0)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
def write(mem: Mem, mp: Int, v: Int) : Mem =
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
  mem.updated(mp, v)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
// Right and Left Jumps in BF loops
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
def jumpRight(prog: String, pc: Int, level: Int) : Int = {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
  if (prog.length <= pc) pc 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
  else (prog(pc), level) match {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
    case (']', 0) => pc + 1
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
    case (']', l) => jumpRight(prog, pc + 1, l - 1)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
    case ('[', l) => jumpRight(prog, pc + 1, l + 1)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
    case (_, l) => jumpRight(prog, pc + 1, l)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
  }
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
}
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
def jumpLeft(prog: String, pc: Int, level: Int) : Int = {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  if (pc < 0) pc 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
  else (prog(pc), level) match {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
    case ('[', 0) => pc + 1
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
    case ('[', l) => jumpLeft(prog, pc - 1, l - 1)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
    case (']', l) => jumpLeft(prog, pc - 1, l + 1)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
    case (_, l) => jumpLeft(prog, pc - 1, l)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  }
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
}
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
def compute(prog: String, pc: Int, mp: Int, mem: Mem) : Mem = {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
  if (0 <= pc && pc < prog.length) { 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
    val (new_pc, new_mp, new_mem) = prog(pc) match {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
      case '>' => (pc + 1, mp + 1, mem)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
      case '<' => (pc + 1, mp - 1, mem)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
      case '+' => (pc + 1, mp, write(mem, mp, sread(mem, mp) + 1))
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
      case '-' => (pc + 1, mp, write(mem, mp, sread(mem, mp) - 1))
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
      case '.' => { print(sread(mem, mp).toChar); (pc + 1, mp, mem) }
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
      case ',' => (pc + 1, mp, write(mem, mp, Console.in.read().toByte))
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
      case '['  => if (sread(mem, mp) == 0) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
                      (jumpRight(prog, pc + 1, 0), mp, mem) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
                   else (pc + 1, mp, mem) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
      case ']'  => if (sread(mem, mp) != 0) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
                      (jumpLeft(prog, pc - 1, 0), mp, mem) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
                   else (pc + 1, mp, mem) 
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
      case _ => (pc + 1, mp, mem)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
    }		     
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
    compute(prog, new_pc, new_mp, new_mem)	
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
  }
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
  else mem
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
}
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
def run(prog: String, m: Mem = Map()) = compute(prog, 0, 0, m)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
def time_needed[T](n: Int, code: => T) = {
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
  val start = System.nanoTime()
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
  for (i <- 0 until n) code
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
  val end = System.nanoTime()
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
  (end - start)/(n * 1.0e9)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
}
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
// a Mandelbrot set generator in brainf*** written by Erik Bosman
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
// (http://esoteric.sange.fi/brainfuck/utils/mandelbrot/)
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
println(s"${time_needed(1, run(load_bff("mandelbrot.bf")))} secs")
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
// a benchmark program (counts down from 'Z' to 'A')
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
val b1 = """>++[<+++++++++++++>-]<[[>+>+<<-]>[<+>-]++++++++
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
            [>++++++++<-]>.[-]<<>++++++++++[>++++++++++[>++
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
            ++++++++[>++++++++++[>++++++++++[>++++++++++[>+
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
            +++++++++[-]<-]<-]<-]<-]<-]<-]<-]++++++++++."""
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
println(s"${time_needed(1, run(b1))} secs")
fa98dbaeb384 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93