Glushkov's construction algorithm

In computer science theory – particularly formal language theory – Glushkov's construction algorithm, invented by Victor Mikhailovich Glushkov, transforms a given regular expression into an equivalent nondeterministic finite automaton (NFA). Thus, it forms a bridge between regular expressions and nondeterministic finite automata: two abstract representations of the same class of formal languages.

A regular expression may be used to conveniently describe an advanced search pattern in a "find and replace"–like operation of a text processing utility. Glushkov's algorithm can be used to transform it into an NFA, which furthermore is small by nature, as the number of its states equals the number of symbols of the regular expression, plus one. Subsequently, the NFA can be made deterministic by the powerset construction and then be minimized to get an optimal automaton corresponding to the given regular expression. The latter format is best suited for execution on a computer.

From another, more theoretical point of view, Glushkov's algorithm is a part of the proof that NFA and regular expressions both accept exactly the same languages; that is, the regular languages. The converse of Glushkov's algorithm is Kleene's algorithm, which transforms a finite automaton into a regular expression. The automaton obtained by Glushkov's construction is the same as the one obtained by Thompson's construction algorithm, once its ε-transitions are removed.

Construction[edit]

Given a regular expression $e$ , the Glushkov Construction Algorithm creates a non-deterministic automaton that accepts the language $L(e)$ accepted by $e$ .^[1]^[2]^: 59–61 The construction uses four steps:

Step 1[edit]

Linearisation of the expression. Each letter of the alphabet appearing in the expression $e$ is renamed, so that each letter occurs at most once in the new expression $e'$ . Glushkov's construction essentially relies on the fact that $e'$ represents a local language $L(e')$ . Let $A$ be the old alphabet and let $B$ be the new one.

Step 2a[edit]

Computation of the sets $P(e')$ , $D(e')$ , and $F(e')$ . The first, $P(e')$ , is the set of letters which occurs as first letter of a word of $L(e')$ . The second, $D(e')$ , is the set of letters that can end a word of $L(e')$ . The last one, $F(e')$ , is the set of letter pairs that can occur in words of $L(e')$ , i.e. it is the set of factors of length two of the words of $L(e')$ . Those sets are mathematically defined by

P(e')=\{x\in B\mid xB^{*}\cap L(e')\neq \emptyset \}

,

D(e')=\{y\in B\mid B^{*}y\cap L(e')\neq \emptyset \}

,

F(e')=\{u\in B^{2}\mid B^{*}uB^{*}\cap L(e')\neq \emptyset \}

.

They are computed by induction over the structure of the expression, as explained below.

Step 2b[edit]

Computation of the set $\Lambda (e')$ which contains the empty word if this word belongs to $L(e')$ , and is the empty set otherwise. Formally, this is $\Lambda (e')=\{\varepsilon \}\cap L(e')$ , where $\varepsilon$ denotes the empty word.

Step 3[edit]

Computation of automaton recognizing the local language, as defined by $P(e')$ , $D(e')$ , $F(e')$ , and $\Lambda (e')$ . By definition, the local language defined by the sets $P$ , $D$ , and $F$ is the set of words which begin with a letter of $P$ , end by a letter of $D$ , and whose factors of length 2 belong to $F$ , optionally also including the empty word; that is, it is the language:

L'=(PB^{*}\cap B^{*}D)\setminus B^{*}(B^{2}\setminus F)B^{*}\cup \Lambda (e')

.

Strictly speaking, it is the computation of the automaton for the local language denoted by this linearised expression that is Glushkov's construction.

Step 4[edit]

Remove the linearisation, replacing each indexed letter $B$ by the original letter of $A$ .

Example[edit]

Consider^[2]^: 60–61 the regular expression $e=(a(ab)^{*})^{*}+(ba)^{*}$ .

The linearized version is
$e'=(a_{1}(a_{2}b_{3})^{*})^{*}+(b_{4}a_{5})^{*}$ .
The letters have been linearized by appending an index to them.
The sets $P$ , $D$ , and $F$ of the first letters, last letters, and factors of length 2 for the linear expression are respectively
${\begin{aligned}P(e')&=\{a_{1},b_{4}\}\\D(e')&=\{a_{1},b_{3},a_{5}\}\\F(e')&=\{a_{1}a_{2},a_{1}a_{1},a_{2}b_{3},b_{3}a_{1},b_{3}a_{2},b_{4}a_{5},a_{5}b_{4}\}\end{aligned}}$ .
The empty word belongs to the language, hence $\Lambda (e')=\{\varepsilon \}$ .
The automaton of the local language
$L'=(PB^{*}\cap B^{*}D)\setminus B^{*}(B^{2}\setminus F)B^{*}$
contains an initial state, denoted 1, and a state for each of the five letters of the alphabet
$B=\{a_{1},a_{2},b_{3},b_{4},a_{5}\}$ .
There is a transition from 1 to the two states of $P$ , a transition from $x$ to $y$ for $xy\in F$ , and the three states of $D$ are final, and such is the state 1. All transitions to a letter $y$ have as label the letter $y$ .
Obtain the automaton for $L(e)$ by deleting the indices.

Computation of the set of letters[edit]

The computation of the sets $P$ , $D$ , $F$ , and $Λ$ is done inductively over the regular expression $e'$ . One must give the values for $\emptyset, ε$ (the symbols for the empty language and the singleton language containing the empty word), the letters, and the results of the operations $+,\cdot ,^{*}$ .

For $Λ$ , one has
$\Lambda (\emptyset )=\emptyset$ ,

$\Lambda (\varepsilon )=\{\varepsilon \}$ ,

$\Lambda (a)=\emptyset$ for each letter $a$ ,

$\Lambda (e+f)=\Lambda (e)\cup \Lambda (f)$ ,

$\Lambda (e\cdot f)=\Lambda (e)\cdot \Lambda (f)$ , and

$\Lambda (e^{*})=\{\varepsilon \}$ .
For $P$ , one has
$P(\emptyset )=P(\varepsilon )=\emptyset$ ,

$P(a)=\{a\}$ for each letter $a$ ,

$P(e+f)=P(e)\cup P(f)$ ,

$P(e\cdot f)=P(e)\cup \Lambda (e)P(f)$ , and

$P(e^{*})=P(e)$ .

The same formulas are also used for $D$ , except for the product where

$D(e\cdot f)=D(f)\cup D(e)\Lambda (f)$ .
For the set of factors of length 2, one has
$F(\emptyset )=F(\varepsilon )=F(a)=\emptyset$ for each letter $a$ ,

$F(e+f)=F(e)\cup F(f)$ ,

$F(e\cdot f)=F(e)\cup F(f)\cup D(e)P(f)$ , and

$F(e^{*})=F(e)\cup D(e)P(e)$ .

The most costly operations are the products of sets for the computation of $F$ .

Properties[edit]

The obtained automaton is non-deterministic, and it has as many states as the number of letters of the regular expression, plus one. Furthermore, it has been shown^[3]^: 215^[4] that Glushkov's automaton is the same as Thompson's automaton when the ε-transitions are removed.

Applications and deterministic expressions[edit]

The computation of the automaton by the expression occurs often; it has been systematically used in search functions, in particular by the Unix grep command. Similarly, XML's specification also uses such constructions; for more efficiency, regular expressions of a certain kind, called deterministic expressions, have been studied.^[4]^[5]

Notes and references[edit]

^ V.M. Glushkov (1961). "The abstract theory of automata". Russian Mathematical Surveys (in Russian). 16 (5): 1–53. Bibcode:1961RuMaS..16....1G. doi:10.1070/rm1961v016n05abeh004112. S2CID 250833514.
^ ^a ^b Jean-Éric Pin (Nov 2016). Mathematical Foundations of Automata Theory (PDF). Paris.{{cite book}}: CS1 maint: location missing publisher (link)
^ Jacques Sakarovitch (Feb 2003). Éléments de théorie des automates. Paris: Vuibert. ISBN 978-2711748075.
^ ^a ^b Jacques Sakarovitch (2009). Elements of Automata Theory. Cambridge: Cambridge University Press. ISBN 9780521844253.
^ Brüggemann-Klein, Anne (1993). "Regular Expressions into Finite Automata". Theoretical Computer Science. 12 (2): 197–213. doi:10.1016/0304-3975(93)90287-4.

External links[edit]

A Unified Construction of the Glushkov, Follow, and Antimirov Automata

Algorithms and Computation: 14th International Symposium, ISAAC

[1] V.M. Glushkov (1961). "The abstract theory of automata". Russian Mathematical Surveys (in Russian). 16 (5): 1–53. Bibcode:1961RuMaS..16....1G. doi:10.1070/rm1961v016n05abeh004112. S2CID 250833514.

[Pin.2016-2] Jean-Éric Pin (Nov 2016). Mathematical Foundations of Automata Theory (PDF). Paris.{{cite book}}: CS1 maint: location missing publisher (link)

[3] Jacques Sakarovitch (Feb 2003). Éléments de théorie des automates. Paris: Vuibert. ISBN 978-2711748075.

[Sakarovitch.2009-4] Jacques Sakarovitch (2009). Elements of Automata Theory. Cambridge: Cambridge University Press. ISBN 9780521844253.

[5] Brüggemann-Klein, Anne (1993). "Regular Expressions into Finite Automata". Theoretical Computer Science. 12 (2): 197–213. doi:10.1016/0304-3975(93)90287-4.

[1]

[2]

[3]

[4]

[5]