~ubuntu-branches/ubuntu/oneiric/libclaw/oneiric

« back to all changes in this revision

Viewing changes to examples/automaton/test_files/expected/test_numbers.out

  • Committer: Bazaar Package Importer
  • Author(s): Julien Jorge
  • Date: 2010-12-23 20:55:14 UTC
  • mfrom: (4.2.1 sid)
  • Revision ID: james.westby@ubuntu.com-20101223205514-s10m6ywla7s4ttqf
Tags: 1.6.1-3
UploadĀ inĀ sid

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
A = { +, -, ., 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, E, e }
 
2
I = { 0, 1 }
 
3
F = { 3, 4, 7 }
 
4
E = { 0, 1, 2, 3, 4, 5, 6, 7 }
 
5
T = {
 
6
0 -> { (1, +) (1, -) }
 
7
1 -> { (1, 0) (1, 1) (1, 2) (1, 3) (1, 4) (1, 5) (1, 6) (1, 7) (1, 8) (1, 9) (2, .) (4, 0) (4, 1) (4, 2) (4, 3) (4, 4) (4, 5) (4, 6) (4, 7) (4, 8) (4, 9) }
 
8
2 -> { (2, 0) (2, 1) (2, 2) (2, 3) (2, 4) (2, 5) (2, 6) (2, 7) (2, 8) (2, 9) (3, 0) (3, 1) (3, 2) (3, 3) (3, 4) (3, 5) (3, 6) (3, 7) (3, 8) (3, 9) }
 
9
3 -> { (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) }
 
10
4 -> { (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, E) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) (5, e) }
 
11
5 -> { (5, 0) (5, 1) (5, 2) (5, 3) (5, 4) (5, 5) (5, 6) (5, 7) (5, 8) (5, 9) (6, +) (6, -) (7, 0) (7, 1) (7, 2) (7, 3) (7, 4) (7, 5) (7, 6) (7, 7) (7, 8) (7, 9) }
 
12
6 -> { (6, 0) (6, 1) (6, 2) (6, 3) (6, 4) (6, 5) (6, 6) (6, 7) (6, 8) (6, 9) (7, 0) (7, 1) (7, 2) (7, 3) (7, 4) (7, 5) (7, 6) (7, 7) (7, 8) (7, 9) }
 
13
7 -> { }
 
14
}
 
15
 
 
16
238: valid
 
17
+1289: valid
 
18
-102: valid
 
19
.24: valid
 
20
+.8921: valid
 
21
-.0398: valid
 
22
239.23: valid
 
23
+2323.19208: valid
 
24
-092.23: valid
 
25
.24e12: valid
 
26
+.8921e12098: valid
 
27
-.0398e8372: valid
 
28
239.23e12: valid
 
29
+2323.19208e1280: valid
 
30
-092.23e12890: valid
 
31
.24E12: valid
 
32
+.8921E12098: valid
 
33
-.0398E8372: valid
 
34
239.23E12: valid
 
35
+2323.19208E1280: valid
 
36
-092.23E12890: valid
 
37
.24e+12: valid
 
38
+.8921e+12098: valid
 
39
-.0398e+8372: valid
 
40
239.23e+12: valid
 
41
+2323.19208e+1280: valid
 
42
-092.23e+12890: valid
 
43
.24E+12: valid
 
44
+.8921E+12098: valid
 
45
-.0398E+8372: valid
 
46
239.23E+12: valid
 
47
+2323.19208E+1280: valid
 
48
-092.23E+12890: valid
 
49
.24e-12: valid
 
50
+.8921e-12098: valid
 
51
-.0398e-8372: valid
 
52
239.23e-12: valid
 
53
+2323.19208e-1280: valid
 
54
-092.23e-12890: valid
 
55
.24E-12: valid
 
56
+.8921E-12098: valid
 
57
-.0398E-8372: valid
 
58
239.23E-12: valid
 
59
+2323.19208E-1280: valid
 
60
-092.23E-12890: valid
 
61
212.: not valid
 
62
3.232e: not valid
 
63
3.24E: not valid
 
64
+42.: not valid
 
65
-421.: not valid
 
66
.32e+: not valid
 
67
.98E-: not valid
 
68
+87.e: not valid
 
69
10fere: not valid