templates4/postfix2.scala
author Christian Urban <urbanc@in.tum.de>
Tue, 22 Jan 2019 12:53:05 +0000
changeset 258 41c4f7d85f59
parent 220 1c47cede8e71
child 288 3cd6c850c252
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     1
// Shunting Yard Algorithm 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     2
// including Associativity for Operators 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     3
// =====================================
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     5
// type of tokens
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
type Toks = List[String]
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     8
// helper function for splitting strings into tokens
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     9
def split(s: String) : Toks = s.split(" ").toList
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    10
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    11
// left- and right-associativity
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    12
abstract class Assoc
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    13
case object LA extends Assoc
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    14
case object RA extends Assoc
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    17
// power is right-associative,
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    18
// everything else is left-associative
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
def assoc(s: String) : Assoc = s match {
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
  case "^" => RA
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
  case _ => LA
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
}
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    25
// the precedences of the operators
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
val precs = Map("+" -> 1,
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    27
  		"-" -> 1,
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    28
		"*" -> 2,
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    29
		"/" -> 2,
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    30
                "^" -> 4)
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    32
// the operations in the basic version of the algorithm
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
val ops = List("+", "-", "*", "/", "^")
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    35
// (8) Implement the extended version of the shunting yard algorithm.
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    36
// This version should properly account for the fact that the power 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    37
// operation is right-associative. Apart from the extension to include
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    38
// the power operation, you can make the same assumptions as in 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    39
// basic version.
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    41
// def syard(toks: Toks, st: Toks = Nil, out: Toks = Nil) : Toks = ...
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    42
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    44
// test cases
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    45
// syard(split("3 + 4 * 8 / ( 5 - 1 ) ^ 2 ^ 3"))  // 3 4 8 * 5 1 - 2 3 ^ ^ / +
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    48
// (9) Implement a compute function that produces a Long(!) for an
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    49
// input list of tokens in postfix notation.
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    50
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    51
//def compute(toks: Toks, st: List[Long] = Nil) : Long = ...
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    54
// test cases
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    55
// compute(syard(split("3 + 4 * ( 2 - 1 )")))   // 7
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    56
// compute(syard(split("10 + 12 * 33")))       // 406
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    57
// compute(syard(split("( 5 + 7 ) * 2")))      // 24
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    58
// compute(syard(split("5 + 7 / 2")))          // 8
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    59
// compute(syard(split("5 * 7 / 2")))          // 17
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    60
// compute(syard(split("9 + 24 / ( 7 - 3 )"))) // 15
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    61
// compute(syard(split("4 ^ 3 ^ 2")))      // 262144
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    62
// compute(syard(split("4 ^ ( 3 ^ 2 )")))  // 262144
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    63
// compute(syard(split("( 4 ^ 3 ) ^ 2")))  // 4096
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    64
// compute(syard(split("( 3 + 1 ) ^ 2 ^ 3")))   // 65536
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65