janvier 2010

n n ≥1
m m ≥1
e
n n
+− × /

::=
|
|
::=
|
::=
|+
::=
+
n m
n=m
n > m n
n < m n
n n
n

e::= n
|x
|e op e , op ∈ {+,−,×, /}
|f(e, . . . , e)
s::= (e, . . . , e)
|(x, . . . , x) (e, . . . , e)
|e c e s s , c ∈ {=,6=, <, ≤, >, ≥}
|s...s
d::= f x, . . . , x s
p::= d...d
n
n
v n
r
v S
fix1, . . . , xnisi
S, e v →v
e v S S, s r →S0, r
s S r S0

s
s s
v
e e
v
v s
s v v s

n n ≥2
n
(n, m)fn→m
n m
fn→m
k= max(0,max(n, m)−6)