233:
58:
for unions of two regular languages that are themselves defined by finite automata is central to the equivalence between regular languages defined by automata and by regular expressions.
50:, alternation is often expressed with a vertical bar connecting the expressions for the two languages whose union is to be matched, while in more theoretical studies the
81:. This is not in general true of the form of alternation used in pattern-matching languages, because of the side-effects of performing a match in those languages.
274:
303:
220:
193:
142:
113:
298:
293:
308:
267:
46:
under alternation, meaning that the alternation of two regular languages is again regular. In implementations of
62:
260:
33:
66:
47:
29:
216:
189:
138:
109:
101:
244:
183:
130:
55:
43:
39:
21:
17:
158:
287:
240:
232:
78:
74:
135:
Introducing
Regular Expressions: Unraveling Regular Expressions, Step-by-Step
73:
language and some other languages. In formal language theory, alternation is
51:
70:
61:
Other classes of languages that are closed under alternation include
54:
may instead be used for this purpose. The ability to construct
69:. The vertical bar notation for alternation is used in the
215:, Addison-Wesley Publishing, Reading Massachusetts, 1979.
213:
Introduction to
Automata Theory, Languages and Computation
248:
108:. Jones & Bartlett Learning. pp. 100–101.
106:An Introduction to Formal Languages and Automata
268:
8:
36:of two patterns describing sets of strings.
32:of two sets of strings, or equivalently the
275:
261:
211:John E. Hopcroft and Jeffrey D. Ullman,
89:
188:(2nd ed.). Elsevier. p. 41.
182:Cooper, Keith; Torczon, Linda (2011).
95:
93:
7:
229:
227:
159:"Alternation with The Vertical Bar"
247:. You can help Knowledge (XXG) by
137:. O'Reilly Media. pp. 43–45.
14:
231:
1:
129:Fitzgerald, Michael (2012).
325:
226:
304:String (computer science)
163:regular-expressions.info
299:Operators (programming)
294:Combinatorics on words
243:-related article is a
185:Engineering a Compiler
63:context-free languages
18:formal language theory
100:Linz, Peter (2006).
309:Combinatorics stubs
67:recursive languages
48:regular expressions
34:logical disjunction
256:
255:
40:Regular languages
316:
277:
270:
263:
235:
228:
200:
199:
179:
173:
172:
170:
169:
155:
149:
148:
126:
120:
119:
97:
22:pattern matching
324:
323:
319:
318:
317:
315:
314:
313:
284:
283:
282:
281:
208:
203:
196:
181:
180:
176:
167:
165:
157:
156:
152:
145:
128:
127:
123:
116:
99:
98:
91:
87:
56:finite automata
12:
11:
5:
322:
320:
312:
311:
306:
301:
296:
286:
285:
280:
279:
272:
265:
257:
254:
253:
236:
225:
224:
207:
204:
202:
201:
194:
174:
150:
143:
121:
114:
88:
86:
83:
13:
10:
9:
6:
4:
3:
2:
321:
310:
307:
305:
302:
300:
297:
295:
292:
291:
289:
278:
273:
271:
266:
264:
259:
258:
252:
250:
246:
242:
241:combinatorics
237:
234:
230:
222:
221:0-201-02988-X
218:
214:
210:
209:
205:
197:
195:9780080916613
191:
187:
186:
178:
175:
164:
160:
154:
151:
146:
144:9781449338893
140:
136:
132:
131:"Alternation"
125:
122:
117:
115:9780763737986
111:
107:
103:
102:"Theorem 4.1"
96:
94:
90:
84:
82:
80:
76:
72:
68:
64:
59:
57:
53:
49:
45:
41:
37:
35:
31:
27:
23:
19:
249:expanding it
238:
212:
206:Bibliography
184:
177:
166:. Retrieved
162:
153:
134:
124:
105:
60:
38:
25:
15:
79:associative
75:commutative
26:alternation
288:Categories
168:2021-11-11
85:References
52:plus sign
28:is the
219:
192:
141:
112:
71:SNOBOL
44:closed
239:This
30:union
245:stub
217:ISBN
190:ISBN
139:ISBN
110:ISBN
77:and
65:and
42:are
20:and
16:In
290::
161:.
133:.
104:.
92:^
24:,
276:e
269:t
262:v
251:.
223:.
198:.
171:.
147:.
118:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.