equal
deleted
inserted
replaced
9 NA = List + AutoProj + |
9 NA = List + AutoProj + |
10 |
10 |
11 types ('a,'s)na = "'s * ('a => 's => 's set) * ('s => bool)" |
11 types ('a,'s)na = "'s * ('a => 's => 's set) * ('s => bool)" |
12 |
12 |
13 consts delta :: "('a,'s)na => 'a list => 's => 's set" |
13 consts delta :: "('a,'s)na => 'a list => 's => 's set" |
14 primrec delta list |
14 primrec |
15 "delta A [] p = {p}" |
15 "delta A [] p = {p}" |
16 "delta A (a#w) p = Union(delta A w `` next A a p)" |
16 "delta A (a#w) p = Union(delta A w `` next A a p)" |
17 |
17 |
18 constdefs |
18 constdefs |
19 accepts :: ('a,'s)na => 'a list => bool |
19 accepts :: ('a,'s)na => 'a list => bool |