Ardens rule
Arden's rule A formal language can be specified by means of equations, based on operations on languages. Arden's rule states that A*B is the smallest language that is a solution for X in the linear equation X = AX ∪ B
where X, A, B are sets of strings. (For notation, see union, concatenation, Kleene star.) A*B is furthermore the only solution, unless A contains the empty string, in which case A*B′ is a solution for any subset B′ of B.
Although simple, Arden's rule is significant as one of the earliest fixed-point results on equation solving in computer science. In conjunction with the normal process of eliminating variables, it can be used to solve any set of simultaneous linear equations over sets of strings. See also Kleene's theorem (on regular expressions).
where X, A, B are sets of strings. (For notation, see union, concatenation, Kleene star.) A*B is furthermore the only solution, unless A contains the empty string, in which case A*B′ is a solution for any subset B′ of B.
Although simple, Arden's rule is significant as one of the earliest fixed-point results on equation solving in computer science. In conjunction with the normal process of eliminating variables, it can be used to solve any set of simultaneous linear equations over sets of strings. See also Kleene's theorem (on regular expressions).
More From encyclopedia.com
Inverse Matrix , Inverse Matrix
BIBLIOGRAPHY
The concept of inverse matrix is somewhat analogous to that of the reciprocal of a number. If a is a nonzero number, then… Inequality , In mathematics , an inequality is a statement about the relative order of members of a set. For instance, if S
is the set of positive integers , and… Diophantus Of Alexandria , Diophantus of Alexandria
Diophantus of Alexandria
(fl. ad. 250)
mathematics.
We know virtually nothing about the life of Diophantus. The dating of hi… Slide Rule , Pocket calculators only came into common use in the 1970s. Digital computers first appeared in the 1940s, but were not in widespread use by the gener… Equation , equation An expression that asserts the equality of two terms. To be precise, an equation has the following form. Let Σ be a signature and let t1(X1,… Lysithea , Lysithea (Jupiter X) One of the lesser satellites of Jupiter, with a diameter of 24km.
You Might Also Like
NEARBY TERMS
Ardens rule