templates4/postfix.scala
author Christian Urban <urbanc@in.tum.de>
Tue, 29 Oct 2019 23:56:13 +0000
changeset 283 3102d61edf45
parent 220 1c47cede8e71
child 288 3cd6c850c252
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// Shunting Yard Algorithm
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
// by Edsger Dijkstra
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
// ========================
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     6
// type of tokens
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
type Toks = List[String]
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
     9
// the operations in the basic version of the algorithm
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
val ops = List("+", "-", "*", "/")
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
// the precedences of the operators
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
val precs = Map("+" -> 1,
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
		"-" -> 1,
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
		"*" -> 2,
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
		"/" -> 2)
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
// helper function for splitting strings into tokens
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
def split(s: String) : Toks = s.split(" ").toList
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
// (6) Implement below the shunting yard algorithm. The most
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
// convenient way to this in Scala is to implement a recursive 
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    24
// function and to heavily use pattern matching. The function syard 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    25
// takes some input tokens as first argument. The second and third 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    26
// arguments represent the stack and the output of the shunting yard 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    27
// algorithm.
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
//
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
// In the marking, you can assume the function is called only with 
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    30
// an empty stack and an empty output list. You can also assume the
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    31
// input os  only properly formatted (infix) arithmetic expressions
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    32
// (all parentheses will be well-nested, the input only contains 
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
// operators and numbers).
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
// You can implement any additional helper function you need. I found 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    36
// it helpful to implement two auxiliary functions for the pattern matching:  
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    37
// 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    38
// def is_op(op: String) : Boolean = ...
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    39
// def prec(op1: String, op2: String) : Boolean = ...
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    42
// def syard(toks: Toks, st: Toks = Nil, out: Toks = Nil) : Toks = ...
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
// test cases
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
//syard(split("3 + 4 * ( 2 - 1 )"))  // 3 4 2 1 - * +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
//syard(split("10 + 12 * 33"))       // 10 12 33 * +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
//syard(split("( 5 + 7 ) * 2"))      // 5 7 + 2 *
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
//syard(split("5 + 7 / 2"))          // 5 7 2 / +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
//syard(split("5 * 7 / 2"))          // 5 7 * 2 /
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
//syard(split("9 + 24 / ( 7 - 3 )")) // 9 24 7 3 - / +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
//syard(split("3 + 4 + 5"))           // 3 4 + 5 +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
//syard(split("( ( 3 + 4 ) + 5 )"))    // 3 4 + 5 +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
//syard(split("( 3 + ( 4 + 5 ) )"))    // 3 4 5 + +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
//syard(split("( ( ( 3 ) ) + ( ( 4 + ( 5 ) ) ) )")) // 3 4 5 + +
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
 
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
// (7) Implement a compute function that evaluates an input list
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    60
// in postfix notation. This function takes a list of tokens
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    61
// and a stack as argumenta. The function should produce the 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    62
// result as an integer using the stack. You can assume 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    63
// this function will be only called with proper postfix 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    64
// expressions.    
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 219
diff changeset
    66
// def compute(toks: Toks, st: List[Int] = Nil) : Int = ...
219
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
// test cases
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
// compute(syard(split("3 + 4 * ( 2 - 1 )")))  // 7
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
// compute(syard(split("10 + 12 * 33")))       // 406
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
// compute(syard(split("( 5 + 7 ) * 2")))      // 24
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
// compute(syard(split("5 + 7 / 2")))          // 8
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
// compute(syard(split("5 * 7 / 2")))          // 17
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
// compute(syard(split("9 + 24 / ( 7 - 3 )"))) // 15
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
6cbf23e0e8a4 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79