Index of values

Résidu d'une liste de règles de réécriture par une lettre, lue par à gauche des membres de gauche.

Nettoyage de l'automate, en ne gardant que les états accessibles.

Construction de Ésik et Bernátsky.

Construction de Ésik et Bernátsky optimisée.

Construction de Ésik et Bernátsky optimisée.

Construction de Ésik et Bernátsky optimisée.

Partie droite de la construction de Ésik et Bernátsky.

Construit l'automate des positions reconnaissant le langage dénoté par une expression régulière.

Une étape de réduction d'un mot par rapport à un ensemble de règles de réécriture.

Construction d'un automate à partir d'une fonction de transition.

Construction d'un automate à partir d'une fonction de transition.

Construction d'un automate à partir d'une fonction de transition.

Construction d'un automate à partir d'une fonction de transition utilisant un accumulateur.

Construction d'un automate à partir d'une fonction de transition, en omettant l'état puit.

Automate de Cayley du monoide

Réduction d'un mot en un élément du monoide.

Nettoyage de l'automate, en ne gardant que les états co-accessibles.

Conversion vers un automate minimal fonctionnel

Déterminisation.

Déterminisation, sans état puit.

Teste si le langage dénoté par une expression contient le mot vide.

Test simple d'équivalence d'automates

Liste des états accessibles d'un automate.

Liste des états n'étant pas des puits d'un automate.

Exécution d'un automate déterministe sur un mot.

Applique une fonction de renommage aux lettres d'une expression régulière en passant un paramètre supplémentaire (accumulateur).

Partie droite de la construction de Ésik et Bernátsky.

Algorithme d'Hopcroft et Karp

Impression d'une liste de mots, étant donnée un fonction d'impression des lettres.

Applique une fonction de renommage aux lettres d'une expression régulière.

Application d'une fonction de renommage à tous les états d'un automate.

Minimisation.

Minimisation, sans état puit.

Calcul du monoide syntaxique à partir d'un automate, avec impression de la table des tranformation des états induites par chacun des éléments du monoide, et des règles de réécriture inférées.

Calcul du monoide syntaxique à partir d'un automate, avec impression de la table des tranformation des états induites par chacun des éléments du monoide, et des règles de réécriture inférées.

Calcul du monoide syntaxique à partir d'un automate, avec impression de la table des tranformation des états induites par chacun des éléments du monoide, et des règles de réécriture inférées.

Impression d'un mot, étant donnée un fonction d'impression des lettres.

Impression d'une position.

Impression dans un canal.

Impression dans un fichier.

Produit dans le monoide.

Produit d'un mot par un ensemble de mot.

Produit de deux ensembles de mots.

Produit d'un ensemble de mots par un mot.

Détection des états puits : q tel que pour toute lettre a, soit il n'y a pas de transition étiquetée par a depuis q, soit il y a une transition q -a-> q.

Automate mirroir.

Conversion d'une expression étendue en expression régulière à l'aide d'une involution sur les lettres.

Renommage des états d'un automate avec des entiers.

Impression comme chaîne de caractères.

Étoile d'un ensemble de mots : (1+A)^n, tel que (1+A)^{n+1}=(1+A)^n.

Impression d'un tableau de liste, étant donnée un fonction d'impression des éléments de base.