Questions marquées «fl.formal-languages»

langages formels, grammaires, théorie des automates

2
Séparation des listes de mots
Il existe un problème ouvert dans les langages formels connu sous le nom de problème de séparation; qui est brièvement indiqué comme étant donné deux chaînes distinctes de longueur , la taille d'un DFA est nécessaire pour les "séparer", ce qui signifie accepter une chaîne mais rejeter l'autre.nnn Voici quelques …
2
Pourquoi la linéarisation est-elle une propriété de sécurité et pourquoi les propriétés de sécurité sont-elles des ensembles fermés?
Dans le chapitre 13 «Objets atomiques» du livre «Algorithmes distribués» de Nancy Lynch, la linéarisation (également connue sous le nom d'atomicité) s'est avérée être une propriété de sécurité. C'est-à-dire que sa propriété de trace correspondante est non vide, fermée par préfixe et fermée par limite , comme défini dans la …
2
Taxonomie des automates d'expression régulière notables
J'essaie de dresser une taxonomie d'algorithmes pour transformer des expressions régulières en automates afin d'effectuer des tests empiriques de leurs propriétés de complexité dans des domaines spécifiques. Je connais plusieurs des plus grands noms, par exemple, Thompson "Algorithme de recherche d'expression régulière", Thompson, 1968 Glushkov "Un nouvel algorithme quadratique pour …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.