4 * x ^ 4 + 3 * x ^ 3 + 2 * x ^ 2 + 1 * x ^ 1 + 0 * x ^ 0

"ab\"\'\n\\"

12

12.1

1E1

1.0E2

1.0E-23

12 + 34 * "afa"

"" + ""

(op x : a)(a, b)

a

(a, b)

a : s + b : s

a as s : s as s

a : s : s as s as s

[ ]

+ a

a + b

a when a < b else b

a when (pred a : b) else b

{ a b }

a b p

q a b

B [ b ]

B[a[c,d],b]

[ a, [ c, d ], b ]

[ a[c,d], b ]

a B[a[c,d],b] b

while while a do b od do c od

while while a do b od do while c do d od od

{ a { b c } }

[ a, A 0 B ]

A A 0 B B

b + A 0 B + b

- A 0 B

a ! ! !

Pl7 { nicht_wenden } -- folge_dem_Gang --> { nicht_wenden } Pl3

--> RS3

--> RS6

(a + b) * c

a * (b * c)

c * (a + b)

a * b * c

s(n) * c