NFA/DFA avec des conditions de transition variables

Question

Bonne nuit,

Supposons que j'ai une classe qui implémente un NFA/DFA dont les transitions sont stockées dans une structure .NET dictionnaire, et qui prend un mot d'entrée et reconnaît un ensemble de mots dérivés d'une certaine manière de l'entrée. En outre, supposons que l'automate est un modèle générique qui peut être appliqué à différents mots de la même longueur avec seulement un ré-étiquetage des caractères de transition. Quel est le meilleur moyen d'encoder la fonction de transition dans le dictionnaire afin que ses transitions puissent être ré-étiquetées en fonction des caractères du mot d'entrée lors de l'exécution?

Merci beaucoup.

Answer 1

S'il vous plaît voir la mise en œuvre suivante qui prend un NFA et la convertit en un DFA (puis à un graphique) en utilisant un dictionnaire, comme vous:

NFA to DFA

Je ne suis pas certain si elle a la Vous recherchez une capacité de réétiquetage dynamique, mais elle est très bien documentée (en ligne), de sorte que vous pouvez avoir beaucoup d'idées pour vous aider dans votre projet.

Il existe également un bon article (plus récent) sur les transitions lambda, mais les liens d'image de l'article ne sont plus valables. Cependant, il ne vient avec le code source téléchargeable FSAutomata.zip que vous pouvez examiner après avoir lu l'article:

NFA with Lambda Transition