← Back to branch summary

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

« back to all changes in this revision

Viewing changes to examples/automate/test_files/automaton_file/inc_numbers.txt

  • Committer: Bazaar Package Importer
  • Author(s): Julien Jorge
  • Date: 2008-05-17 15:36:57 UTC
  • Revision ID: james.westby@ubuntu.com-20080517153657-0b1204j754ykoz48
Tags: upstream-1.5.2b
Import upstream version 1.5.2b

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/automate/test_files/automaton_file/inc_numbers.txt
 
1
# this automaton recognizes numbers in which the numbers 0-9 can be
 
2
# found in increasing order.
 
3
#
 
4
# Examples:
 
5
#
 
6
#  0123456789 is valid
 
7
#  01243456789 is valid
 
8
#  0143456789 is not valid
 
9
#  1234567890 is not valid
 
10
#
 
11
 
 
12
E 0 1 0
 
13
E 0 0 1
 
14
E 0 0 2
 
15
E 0 0 3
 
16
E 0 0 4
 
17
E 0 0 5
 
18
E 0 0 6
 
19
E 0 0 7
 
20
E 0 0 8
 
21
E 0 0 9
 
22
 
 
23
E 1 1 0
 
24
E 1 2 1
 
25
E 1 1 2
 
26
E 1 1 3
 
27
E 1 1 4
 
28
E 1 1 5
 
29
E 1 1 6
 
30
E 1 1 7
 
31
E 1 1 8
 
32
E 1 1 9
 
33
 
 
34
E 2 2 0
 
35
E 2 2 1
 
36
E 2 3 2
 
37
E 2 2 3
 
38
E 2 2 4
 
39
E 2 2 5
 
40
E 2 2 6
 
41
E 2 2 7
 
42
E 2 2 8
 
43
E 2 2 9
 
44
 
 
45
E 3 3 0
 
46
E 3 3 1
 
47
E 3 3 2
 
48
E 3 4 3
 
49
E 3 3 4
 
50
E 3 3 5
 
51
E 3 3 6
 
52
E 3 3 7
 
53
E 3 3 8
 
54
E 3 3 9
 
55
 
 
56
E 4 4 0
 
57
E 4 4 1
 
58
E 4 4 2
 
59
E 4 4 3
 
60
E 4 5 4
 
61
E 4 4 5
 
62
E 4 4 6
 
63
E 4 4 7
 
64
E 4 4 8
 
65
E 4 4 9
 
66
 
 
67
E 5 5 0
 
68
E 5 5 1
 
69
E 5 5 2
 
70
E 5 5 3
 
71
E 5 5 4
 
72
E 5 6 5
 
73
E 5 5 6
 
74
E 5 5 7
 
75
E 5 5 8
 
76
E 5 5 9
 
77
 
 
78
E 6 6 0
 
79
E 6 6 1
 
80
E 6 6 2
 
81
E 6 6 3
 
82
E 6 6 4
 
83
E 6 6 5
 
84
E 6 7 6
 
85
E 6 6 7
 
86
E 6 6 8
 
87
E 6 6 9
 
88
 
 
89
E 7 7 0
 
90
E 7 7 1
 
91
E 7 7 2
 
92
E 7 7 3
 
93
E 7 7 4
 
94
E 7 7 5
 
95
E 7 7 6
 
96
E 7 8 7
 
97
E 7 7 8
 
98
E 7 7 9
 
99
 
 
100
E 8 8 0
 
101
E 8 8 1
 
102
E 8 8 2
 
103
E 8 8 3
 
104
E 8 8 4
 
105
E 8 8 5
 
106
E 8 8 6
 
107
E 8 8 7
 
108
E 8 9 8
 
109
E 8 8 9
 
110
 
 
111
E 9 9 0
 
112
E 9 9 1
 
113
E 9 9 2
 
114
E 9 9 3
 
115
E 9 9 4
 
116
E 9 9 5
 
117
E 9 9 6
 
118
E 9 9 7
 
119
E 9 9 8
 
120
E 9 10 9
 
121
 
 
122
I 0
 
123
F 10