String operations: Difference between revisions

Content deleted Content added
Strings and languages: explain "characters"; mention its synonym "symbols"
Tag: Reverted
Reverted good faith edits by Dominus (talk): Not clearly improving
 
Line 2:
 
==Strings and languages==
A string is a '''finite''' sequence of undefined objects called ''characters'' or ''symbols'', usually taken to be digits, letters of the alphabet, or similar.
The unique sequence of length 0 is called the [[empty string]], is denoted by <math>\varepsilon</math> or sometimes <math>\lambda</math>.
The concatenation of two string <math>s</math> and <math>t</math> is denoted by <math>s \cdot t</math>, or shorter by <math>s t</math>.
TheConcatenating with the empty string ismakes ano neutral element for concatenationdifference: <math>s \cdot \varepsilon = s = \varepsilon \cdot s</math> for all <math>s</math>.
Concatenation of strings is [[associative]]: <math>s \cdot (t \cdot u) = (s \cdot t) \cdot u</math>.