Rational expressions, or expressions for short, denote (rational) languages in a compact way. Since Vcsn supports weighted expressions, they actually can denoted rational series.
This page documents the syntax and transformations (called identities) that are applied to every expression. The list of available algorithms using expression is in the Algorithms page.
The syntax for rational expressions is as follows (with increasing precedence):
\z, the empty expression.\e, the empty word.a, the letter a.'l', the label l (useful, for instance, when labels are words, or to denote a letter which is an operator: '+' denotes the + letter).[abcd], letter class, equivalent to (a+b+c+d).[a-d], one letter of the current alphabet between a and d. If the alphabet is $\{a, d, e\}$, [a-d] denotes [ad], not [abcd].[^a-dz], one letter of the current alphabet that is not part of [a-dz].[^], any letter of the current alphabet ("any letter other that none").(e), e.e+f, the addition (disjunction, union) of e and f (note the use of +, | denotes tupling).e@f, the composition of e and f.e|f, the tupling of e and f.e&f, the conjunction (intersection) of e and f.e:f, the shuffle product (interleaving) of e and f.e&:f, the infiltration product of e and f.e/f, the right division of e by f.e\f, the left division of f by e.ef and e.f, the multiplication (concatenation) of e and f.<k>e, the left exterior product (left-scalar product) of e by k.e<k>, the right exterior product (right-scalar product) of e by k.e* and e{*}, any number of repetitions of e (the Kleene closure of e).e{n}, the power (repeated multiplication) of e n times: ee ... e.e{n,m}, any repetition of e between n and m, i.e., the sum of the powers of e between n and m: e{n}+e{n+1}+ ... +e{m}.e{n,}, the sum of powers of e at least n times: e{n}e*.e{,m}, at most m repetitions of e: e{0,m}.e{+}, at least one e: e{1,}.e?, e{?}, e optional: e{0,1}.e{c}, the complement of e.e{T}, the transposition of e.e{t}, the transpose of e.where e and f denote expressions, a a label, k a weight, and n and m natural numbers.
Please note that contrary to "regexps" (as in grep, perl, etc.):
+ denotes the choice, not |. denotes the concatenation, use [^] to mean "any letter"You can also create or edit interactively an expression while seeing the resulting automaton by using %expression var in a notebook. You will also be able to chose the identity and the automaton generating algorithm you want to use to build the automaton.
Some rewriting rules are applied on the expressions to "simplify" them. The strength of this simplification is graduated.
none: no identities at all. Some algorithms, such as derived_term, might not terminate.trivial: the trivial identities only are applied.associative: the associative identities are added.linear: the linear identities are added. This is the default.distributive: the distributive identities are added to linear.agressive: in addition to the linear identities, some optimizations are performed.$$ \newcommand{\eword}{\varepsilon} \newcommand{\lweight}[2]{\bra{#1}{#2}} \newcommand{\rweight}[2]{#1\bra{#2}} \newcommand{\lmulq}[2]{\bra{#1}^?{#2}} \newcommand{\rmulq}[2]{#1\bra{#2}^?} \newcommand{\bra}[1]{\langle#1\rangle} \newcommand{\K}{\mathbb{K}} \newcommand{\zed}{\mathsf{0}} \newcommand{\und}{\mathsf{1}} \newcommand{\zeK}{0_{\K}} \newcommand{\unK}{1_{\K}} \newcommand{\Ed}{\mathsf{E}} \newcommand{\Fd}{\mathsf{F}} \newcommand{\Gd}{\mathsf{G}} \newcommand{\AND}{\mathbin{\&}} \newcommand{\ldiv}{\mathbin{\backslash}} \newcommand{\comp}{\mathbin{@}} \newcommand{\tuple}{\mathbin{|}} \newcommand{\coloneqq}{\mathrel{\vcenter{:}}=} \begin{gather*} % \tag{add} \Ed+\zed \Rightarrow \Ed \quad \zed+\Ed \Rightarrow \Ed \\[.7ex] %\tag{kmul} \begin{aligned}[t] \lweight{\zeK}{\Ed} & \Rightarrow \zed & \lweight{\unK}{\Ed} & \Rightarrow \Ed & \lweight{k}{\zed} & \Rightarrow \zed & \lweight{k}{\lweight{h}{\Ed}} &\Rightarrow \lweight{kh}{\Ed} \\ \rweight{\Ed}{\zeK} & \Rightarrow \zed & \rweight{\Ed}{\unK} & \Rightarrow \Ed & \rweight{\zed}{k} & \Rightarrow \zed & \rweight{\rweight{\Ed}{k}}{h} &\Rightarrow \rweight{\Ed}{kh} \end{aligned}\\ \rweight{(\lweight{k}{\Ed})}{h} \Rightarrow \lweight{k}{(\rweight{\Ed}{h})} \quad \rweight{\ell}{k} \Rightarrow \lweight{k}{\ell} \\ %\tag{mul} \Ed \cdot \zed \Rightarrow \zed \quad \zed \cdot \Ed \Rightarrow \zed \\ (\lmulq{k}{\und}) \cdot \Ed \Rightarrow \lweight{k}{\Ed} \quad \Ed \cdot (\lmulq{k}{\und}) \Rightarrow \rweight{\Ed}{k} \\ %\tag{star} \zed^\star \Rightarrow \und \\ % \tag{and} \zed \AND \Ed \Rightarrow \zed \quad \Ed \AND \zed \Rightarrow \zed \\ \zed^c \AND \Ed \Rightarrow \Ed \quad \Ed \AND \zed^c \Rightarrow \Ed \\ (\lmulq{k}{\ell}) \AND (\lmulq{h}{\ell}) \Rightarrow \lweight{kh}{\ell} \quad (\lmulq{k}{\ell}) \AND (\lmulq{h}{\ell'}) \Rightarrow \zed \\ (\lweight{k}{\Ed})^{c} \Rightarrow \Ed^{c} \quad (\rweight{\Ed}{k})^{c} \Rightarrow \Ed^{c} \\ {\Ed^c}^c \Rightarrow \Ed \text{ if the weights are Boolean ($\mathbb{B}$ or $\mathbb{F}_2$)} \\ 0 \ldiv \Ed \Rightarrow 0 \quad \Ed \ldiv 0 \Rightarrow 0 \quad 1 \ldiv \Ed \Rightarrow \Ed \\ 0^t \Rightarrow 0 \quad \ell^t \Rightarrow \ell \\ \Ed \tuple \zed \Rightarrow \zed \quad \zed \tuple \Ed \Rightarrow \zed \\ \Ed \comp \zed \Rightarrow \zed \quad \zed \comp \Ed \Rightarrow \zed \\ \und \comp \und \Rightarrow \und \end{gather*} $$
where $\Ed$ stands for any rational expression, $a \in A$ is any letter, $\ell, \ell'\in A \cup \{\eword\}$ denote two different labels, $k, h\in \K$ are weights, and $\lmulq{k}{\ell}$ denotes either $\lweight{k}{\ell}$, or $\ell$ in which case $k = \unK$ in the right-hand side. Any subexpression of a form listed to the left of a '$\Rightarrow$' is rewritten as indicated on the right.
In addition to the trivial identities, the binary operators (addition, conjunction, multiplication) are made associative. Actually, they become variadic instead of being strictly binary. $$ \begin{align} \Ed + (\Fd + \Gd) & \Rightarrow \Ed+\Fd+\Gd\\ \Ed(\Fd\Gd) & \Rightarrow \Ed\Fd\Gd\\ \Ed\AND(\Fd\AND\Gd) & \Rightarrow \Ed\AND\Fd\AND\Gd\\ \end{align} $$
In addition to the associative identities, the addition is made commutative. Actually, members of sums are now sorted, and weights of equal terms are added. Some identities requires the weightset to be a commutative semiring (i.e., the product of scalars is commutative). $$ \begin{align} \Fd+\Ed & \Rightarrow \Ed+\Fd && \text{if $\Ed < \Fd$} \\ \lweight{k}{\Ed}+\lweight{h}{\Ed} & \Rightarrow \lweight{k+h}{\Ed}\\ \rweight{\Ed}{k} & \Rightarrow \lweight{k}{\Ed} && \text{if commutative} \\ \lweight{k}{\Ed}\lweight{h}{\Fd} & \Rightarrow \lweight{kh}{(\Ed\Fd)} && \text{if commutative} \\ \\ \ell_1|a \comp a|\ell_2 &\Rightarrow \ell_1|\ell_2 \\ \ell_1|\und \comp \und|\ell_2 &\Rightarrow \ell_1|\ell_2 \\ \\ \ell_1|a \comp b|\ell_2 & \Rightarrow \zed \\ \ell_1|a \comp \und|\ell_2 & \Rightarrow \zed \\ \ell_1|\und \comp b|\ell_2 & \Rightarrow \zed \\ \end{align} $$
In addition to the linear identities, the multiplication and multiplication by a scalar are distributed on the sum. $$ \begin{gather*} \lweight{k}{(\Ed+\Fd)} \Rightarrow \lweight{k}{\Ed} + \lweight{k}{\Fd} \\ \Ed(\Fd+\Gd) \Rightarrow \Ed\Fd + \Ed\Gd \qquad (\Ed+\Fd)\Gd \Rightarrow \Ed\Gd + \Fd\Gd \\ \end{gather*} $$
In addition to the linear identities, the following optimizations are made. $$ \begin{align*} {\Ed^*}^* & \Rightarrow \Ed^* && \text{if the weightset is $\mathbb{B}$} \\ {\Ed^T}^T & \Rightarrow \Ed\\ \Ed^T & \Rightarrow \Ed^t \end{align*} $$
import vcsn
import pandas as pd
pd.options.display.max_colwidth = 0
The following helping routine takes a list of expressions as text (*es), converts them into genuine expression objects (ctx.expression(e, id)) for each id, formats them into LaTeX, and puts them in a DataFrame for display.
ids = ['trivial', 'associative', 'linear', 'distributive', 'agressive']
ctx = vcsn.context('lal_char(a-z), b')
def exp(e, id):
try:
return '$' + ctx.expression(e, id).format('latex') + '$'
except RuntimeError as err:
return str(err)
def example(*es):
res = []
for e in es:
res.append([e] + [exp(e, id) for id in ids])
return pd.DataFrame(res, columns=['Input'] + list(map(str.title, ids)))
example('a', 'a**', 'a+b+c', 'a+(b+c)', 'a+b+c+d', 'b+a', '[ab][ab]')
A few more examples, with weights in $\mathbb{Q}$:
ctx = vcsn.Q
example('a', 'a**', 'a+a+a', 'a+a+b', 'a+b+a', '<2>(a+b)', '([ab]+[ab]){2}', '<2>ab<3>cd<5>')
The following piece of code defines an interactive function for you to try your own expression. Enter an expression in the text area, then click on the "Run" button.
from ipywidgets import interact_manual
from IPython.display import display
es = []
@interact_manual
def interactive_example(expression="[ab]{2,}"):
es.append(expression)
display(example(*es))