Open main menu

In computer science, in the area of formal language theory, frequent use is made of a variety of string functions; however, the notation used is different from that used for computer programming, and some commonly used functions in the theoretical realm are rarely used when programming. This article defines some of these basic terms.

Contents

Strings and languagesEdit

A string is a finite sequence of characters. The empty string is denoted by  . The concatenation of two string   and   is denoted by  , or shorter by  . Concatenating with the empty string makes no difference:  . Concatenation of strings is associative:  .

For example,  .

A language is a finite or infinite set of strings. Besides the usual set operations like union, intersection etc., concatenation can be applied to languages: if both   and   are languages, their concatenation   is defined as the set of concatenations of any string from   and any string from  , formally  . Again, the concatenation dot   is often omitted for brevity.

The language   consisting of just the empty string is to be distinguished from the empty language  . Concatenating any language with the former doesn't make any change:  , while concatenating with the latter always yields the empty language:  . Concatenation of languages is associative:  .

For example, abbreviating  , the set of all three-digit decimal numbers is obtained as  . The set of all decimal numbers of arbitrary length is an example for an infinite language.

Alphabet of a stringEdit

The alphabet of a string is the set of all of the characters that occur in a particular string. If s is a string, its alphabet is denoted by

 

The alphabet of a language   is the set of all characters that occur in any string of  , formally:  .

For example, the set   is the alphabet of the string  , and the above   is the alphabet of the above language   as well as of the language of all decimal numbers.

String substitutionEdit

Let L be a language, and let Σ be its alphabet. A string substitution or simply a substitution is a mapping f that maps characters in Σ to languages (possibly in a different alphabet). Thus, for example, given a character a ∈ Σ, one has f(a)=La where La ⊆ Δ* is some language whose alphabet is Δ. This mapping may be extended to strings as

f(ε)=ε

for the empty string ε, and

f(sa)=f(s)f(a)

for string sL and character a ∈ Σ. String substitutions may be extended to entire languages as [1]

 

Regular languages are closed under string substitution. That is, if each character in the alphabet of a regular language is substituted by another regular language, the result is still a regular language.[2] Similarly, context-free languages are closed under string substitution.[3][note 1]

A simple example is the conversion fuc(.) to uppercase, which may be defined e.g. as follows:

character mapped to language remark
x fuc(x)
a { ‹A› } map lowercase char to corresponding uppercase char
A { ‹A› } map uppercase char to itself
ß { ‹SS› } no uppercase char available, map to two-char string
‹0› { ε } map digit to empty string
‹!› { } forbid punctuation, map to empty language
... similar for other chars

For the extension of fuc to strings, we have e.g.

  • fuc(‹Straße›) = {‹S›} ⋅ {‹T›} ⋅ {‹R›} ⋅ {‹A›} ⋅ {‹SS›} ⋅ {‹E›} = {‹STRASSE›},
  • fuc(‹u2›) = {‹U›} ⋅ {ε} = {‹U›}, and
  • fuc(‹Go!›) = {‹G›} ⋅ {‹O›} ⋅ {} = {}.

For the extension of fuc to languages, we have e.g.

  • fuc({ ‹Straße›, ‹u2›, ‹Go!› }) = { ‹STRASSE› } ∪ { ‹U› } ∪ { } = { ‹STRASSE›, ‹U› }.

String homomorphismEdit

A string homomorphism (often referred to simply as a homomorphism in formal language theory) is a string substitution such that each character is replaced by a single string. That is,  , where   is a string, for each character  .[note 2][4]

String homomorphisms are monoid morphisms on the free monoid, preserving the empty string and the binary operation of string concatenation. Given a language  , the set   is called the homomorphic image of  . The inverse homomorphic image of a string   is defined as

 

while the inverse homomorphic image of a language   is defined as

 

In general,  , while one does have

 

and

 

for any language  .

The class of regular languages is closed under homomorphisms and inverse homomorphisms.[5] Similarly, the context-free languages are closed under homomorphisms[note 3] and inverse homomorphisms.[6]

A string homomorphism is said to be ε-free (or e-free) if   for all a in the alphabet  . Simple single-letter substitution ciphers are examples of (ε-free) string homomorphisms.

An example string homomorphism guc can also be obtained by defining similar to the above substitution: guc(‹a›) = ‹A›, ..., guc(‹0›) = ε, but letting guc be undefined on punctuation chars. Examples for inverse homomorphic images are

  • guc−1({ ‹SSS› }) = { ‹sss›, ‹sß›, ‹ßs› }, since guc(‹sss›) = guc(‹sß›) = guc(‹ßs›) = ‹SSS›, and
  • guc−1({ ‹A›, ‹bb› }) = { ‹a› }, since guc(‹a›) = ‹A›, while ‹bb› cannot be reached by guc.

For the latter language, guc(guc−1({ ‹A›, ‹bb› })) = guc({ ‹a› }) = { ‹A› } ≠ { ‹A›, ‹bb› }. The homomorphism guc is not ε-free, since it maps e.g. ‹0› to ε.

A very simple string homomorphism example that maps each character to just a character is the conversion of an EBCDIC-encoded string to ASCII.

String projectionEdit

If s is a string, and   is an alphabet, the string projection of s is the string that results by removing all characters that are not in  . It is written as  . It is formally defined by removal of characters from the right hand side:

 

Here   denotes the empty string. The projection of a string is essentially the same as a projection in relational algebra.

String projection may be promoted to the projection of a language. Given a formal language L, its projection is given by

 [citation needed]

Right quotientEdit

The right quotient of a character a from a string s is the truncation of the character a in the string s, from the right hand side. It is denoted as  . If the string does not have a on the right hand side, the result is the empty string. Thus:

 

The quotient of the empty string may be taken:

 

Similarly, given a subset   of a monoid  , one may define the quotient subset as

 

Left quotients may be defined similarly, with operations taking place on the left of a string.[citation needed]

Hopcroft and Ullman (1979) define the quotient L1/L2 of the languages L1 and L2 over the same alphabet as L1/L2 = { s | ∃tL2. stL1 }.[7] This is not a generalization of the above definition, since, for a string s and distinct characters a, b, Hopcroft's and Ullman's definition implies {sa} / {b} yielding {}, rather than { ε }.

The left quotient (when definied similar to Hopcroft and Ullman 1979) of a singleton language L1 and an arbitrary language L2 is known as Brzozowski derivative; if L2 is represented by a regular expression, so can be the left quotient.[8]

Syntactic relationEdit

The right quotient of a subset   of a monoid   defines an equivalence relation, called the right syntactic relation of S. It is given by

 

The relation is clearly of finite index (has a finite number of equivalence classes) if and only if the family right quotients is finite; that is, if

 

is finite. In the case that M is the monoid of words over some alphabet, S is then a regular language, that is, a language that can be recognized by a finite state automaton. This is discussed in greater detail in the article on syntactic monoids.[citation needed]

Right cancellationEdit

The right cancellation of a character a from a string s is the removal of the first occurrence of the character a in the string s, starting from the right hand side. It is denoted as   and is recursively defined as

 

The empty string is always cancellable:

 

Clearly, right cancellation and projection commute:

 [citation needed]

PrefixesEdit

The prefixes of a string is the set of all prefixes to a string, with respect to a given language:

 

where  .

The prefix closure of a language is

 

Example:
 

A language is called prefix closed if  .

The prefix closure operator is idempotent:

 

The prefix relation is a binary relation   such that   if and only if  . This relation is a particular example of a prefix order.[citation needed]

See alsoEdit

NotesEdit

  1. ^ Although every regular language is also context-free, the previous theorem is not implied by the current one, since the former yields a shaper result for regular languages.
  2. ^ Strictly formally, a homomorphism yields a language consisting of just one string, i.e.  .
  3. ^ This follows from the above-mentioned closure under arbitrary substitutions.

ReferencesEdit

  • Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages and Computation. Reading, Massachusetts: Addison-Wesley Publishing. ISBN 0-201-02988-X. Zbl 0426.68001.  (See chapter 3.)
  1. ^ Hopcroft, Ullman (1979), Sect.3.2, p.60
  2. ^ Hopcroft, Ullman (1979), Sect.3.2, Theorem 3.4, p.60
  3. ^ Hopcroft, Ullman (1979), Sect.6.2, Theorem 6.2, p.131
  4. ^ Hopcroft, Ullman (1979), Sect.3.2, p.60-61
  5. ^ Hopcroft, Ullman (1979), Sect.3.2, Theorem 3.5, p.61
  6. ^ Hopcroft, Ullman (1979), Sect.6.2, Theorem 6.3, p.132
  7. ^ Hopcroft, Ullman (1979), Sect.3.2, p.62
  8. ^ Janusz A. Brzozowski (1964). "Derivatives of Regular Expressions". J ACM. 11: 481–494. doi:10.1145/321239.321249.