[FR] Soit l’alphabet . Soient et définis par l’expression . Soit . Alors :

[FR] Si est rationnel alors :

[EN] If is rational then :

[FR] Le produit synchronisé de deux automates :

[EN] The synchronized product of two automata:

[FR] Le suffixe d'un langage est égal :

[FR] Il est possible de verifier que le langage reconnu par un NFA donné n'est pas vide.

[EN] One can test whether a given NFA recognizes a non-empty language.

[FR] L'algorithme BMC :

[FR] Si deux états et sont indistinguables, alors pour toute lettre :

[FR] Si , alors est rationnel si :

[FR] Given , is rational if:

[FR] Si sont deux langages rationnels, alors  :

[EN] If are two rational languages, then :