178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
//some list functions
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
def tl[A](xs: List[A]) : List[A] = xs match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
case Nil => Nil
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
case x::xs => xs
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
def hd[A](xs: List[A]) : A = xs.head
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
def nth_of[A](xs: List[A], n: Int) =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
if (n <= xs.length) Some(xs(n)) else None
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
12 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
13 |
def replicate[A](x: A, n: Int) : List[A] = n match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
14 |
case 0 => List(x)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
15 |
case n => x::replicate(x, n - 1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
16 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
17 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
18 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
19 |
//some map functions
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
20 |
def dget(m: Map[Int, Int], n: Int) = m.getOrElse(n, 0)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
21 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
22 |
//some string functions
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
23 |
def join[A](xs: List[A]) = xs.foldLeft("")(_.toString + _)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
24 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
25 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
26 |
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
27 |
abstract class Cell
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
case object Bk extends Cell { override def toString = "0" }
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
29 |
case object Oc extends Cell { override def toString = "1" }
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
30 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
31 |
abstract class Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
32 |
case object WBk extends Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
33 |
case object WOc extends Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
34 |
case object R extends Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
35 |
case object L extends Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
36 |
case object Nop extends Action
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
37 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
38 |
type State = Int
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
39 |
type Prog = List[(Action, State)]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
40 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
//tapes
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
42 |
case class Tape(l: List[Cell], r: List[Cell]) {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
43 |
def update(a: Action) = a match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
case WBk => Tape(l, Bk::tl(r))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
45 |
case WOc => Tape(l, Oc::tl(r))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
46 |
case L => if (l == Nil) Tape(Nil, Bk::r) else Tape (tl(l), hd(l)::r)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
case R => if (r == Nil) Tape(Bk::l, Nil) else Tape(hd(r)::l, tl(r))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
48 |
case Nop => Tape(l, r)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
49 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
50 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
51 |
def read = r match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
52 |
case Nil => Bk
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
53 |
case x::_ => x
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
54 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
55 |
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
56 |
override def toString = join(l.reverse) + ">" + join(r)
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
57 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
58 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
59 |
// standard tapes
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
60 |
class STape(ns: Int*) extends
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
61 |
Tape(Nil, ns.map(replicate[Cell](Oc, _)).reduceLeft(_ ::: List(Bk) ::: _))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
62 |
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
63 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
64 |
// configurations
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
65 |
case class Config(s: State, tp: Tape) {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
66 |
def is_final = s == 0
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
67 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
68 |
override def toString = tp.toString
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
69 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
70 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
71 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
72 |
// Turing Machines
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
73 |
case class TM(p: Prog) {
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
74 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
75 |
def shift(n: Int) =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
76 |
TM(p.map{case (a, s) => (a, if (s == 0) 0 else s + n)})
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
77 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
78 |
def fetch(s: State, a: Cell) = (s, a) match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
79 |
case (0, _) => (Nop, 0)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
80 |
case (s, Bk) => nth_of(p, 2 * (s - 1)) match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
81 |
case None => (Nop, 0)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
82 |
case Some(i) => i
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
83 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
84 |
case (s, Oc) => nth_of(p, 2 * (s - 1) + 1) match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
85 |
case None => (Nop, 0)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
86 |
case Some(i) => i
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
87 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
88 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
89 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
90 |
def step(cf: Config) : Config = fetch (cf.s, cf.tp.read) match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
91 |
case (a, s_next) => Config(s_next, cf.tp.update(a))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
92 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
93 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
94 |
def steps(cf: Config, n: Int) : Config = n match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
95 |
case 0 => cf
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
96 |
case n => steps(step(cf), n - 1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
97 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
98 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
99 |
def run(cf: Config) : Config = {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
100 |
if (cf.is_final) cf else run(step(cf))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
101 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
102 |
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
103 |
def run(tp: Tape) : Tape = run(Config(1, tp)).tp
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
104 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
105 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
106 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
107 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
108 |
// examples
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
109 |
val TMCopy = TM(List((WBk, 5), (R, 2), (R, 3), (R, 2), (WOc, 3),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
110 |
(L, 4), (L, 4), (L, 5), (R, 11), (R, 6),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
111 |
(R, 7), (WBk, 6), (R, 7), (R, 8), (WOc, 9),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
112 |
(R, 8), (L, 10), (L, 9), (L, 10), (L, 5),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
113 |
(L, 0), (R, 12), (WOc, 13), (L, 14), (R, 12),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
114 |
(R, 12), (L, 15), (WBk, 14), (R, 0), (L, 15)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
115 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
116 |
def TMFindnth(n: Int) : TM = n match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
117 |
case 0 => TM(Nil)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
118 |
case n => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
119 |
val tm = TMFindnth(n - 1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
120 |
TM(tm.p ::: List((WOc, 2 * n - 1), (R, 2 * n), (R, 2 * n + 1), (R, 2 * n)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
121 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
122 |
}
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
123 |
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
124 |
def TMMopup(n: Int) = {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
125 |
def TMMopup1(n: Int) : TM = n match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
126 |
case 0 => TM(Nil)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
127 |
case n => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
128 |
val tm = TMMopup1(n - 1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
129 |
TM(tm.p ::: List((R, 2 * n + 1), (WBk, 2 * n), (R, 2 * n - 1), (WOc, 2 * n)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
130 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
131 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
132 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
133 |
val TMMopup2 = TM(List((R, 2), (R, 1), (L, 5), (WBk, 3), (R, 4), (WBk, 3),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
134 |
(R, 2), (WBk, 3), (L, 5), (L, 6), (R, 0), (L, 6)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
135 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
136 |
val tm1 = TMMopup1(n)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
137 |
val tm2 = TMMopup2.shift(2 * n)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
138 |
TM(tm1.p ::: tm2.p)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
139 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
140 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
141 |
println("TMCopy: " + (TMCopy.run(new STape(3))))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
142 |
println("TMfindnth: " + (TMFindnth(3).run(new STape(1,2,3,4,5))))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
143 |
println("TMMopup: " + (TMMopup(3).run(new STape(1,2,3,4,5))))
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
144 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
145 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
146 |
// Abacus
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
147 |
abstract class AInst
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
148 |
case class Inc(n: Int) extends AInst
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
149 |
case class Dec(n: Int, l: Int) extends AInst
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
150 |
case class Goto(l: Int) extends AInst
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
151 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
152 |
type AProg = List[AInst]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
153 |
type Regs = Map[Int, Int]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
154 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
155 |
case class AConfig(s: Int, regs: Regs)
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
156 |
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
157 |
case class Abacus(p: AProg) {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
158 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
159 |
def step(cf: AConfig) : AConfig = (nth_of(p, cf.s), cf.s) match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
160 |
case (None, _) => cf
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
161 |
case (Some(Inc(n)), s) => AConfig(s + 1, cf.regs + (n -> (dget(cf.regs, n) + 1)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
162 |
case (Some(Dec(n, l)), s) => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
163 |
if (dget(cf.regs, n) == 0) AConfig(l, cf.regs)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
164 |
else AConfig(s + 1, cf.regs + (n -> (dget(cf.regs, n) - 1)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
165 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
166 |
case (Some(Goto(l)), _) => AConfig(l, cf.regs)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
167 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
168 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
169 |
def steps(cf: AConfig, n: Int) : AConfig = n match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
170 |
case 0 => cf
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
171 |
case n => steps(step(cf), n - 1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
172 |
}
|
176
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
173 |
|
177
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
174 |
def steps(regs: Regs, n: Int) : AConfig = steps(AConfig(0, regs), n)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
175 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
176 |
def run(cf: AConfig) : AConfig = {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
177 |
if (cf.s >= p.length || cf.s < 0) cf else run(step(cf))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
178 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
179 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
180 |
def run(regs: Regs): Regs = run(AConfig(0, regs)).regs
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
181 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
182 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
183 |
// examples
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
184 |
class Copy(in: Int, out: Int) extends
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
185 |
Abacus(List(Dec(in, -1), Inc(out), Goto(0)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
186 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
187 |
class Plus(in1: Int, in2: Int, out: Int) extends
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
188 |
Abacus(List(Dec(in1, 4), Inc(in2), Inc(out),
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
189 |
Goto(0), Dec(out, -1), Inc(in1), Goto(4)))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
190 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
191 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
192 |
println("Ab: " + (new Plus(0, 1, 2)).run(Map(0 -> 3, 1 -> 4)))
|