Questions marquées «minimization»

Un automate Xor non déterministe (NXA) est syntaxiquement un NFA, mais un mot est dit accepté par NXA s'il a un nombre impair de chemins d'acceptation (au lieu d'au moins un chemin d'acceptation dans le cas NFA). Il est facile de voir que pour un langage régulier fini , il existe un NFA minimal qui...

Les automates à états finis résiduels (RFSA, définis dans [DLT02]) sont des NFA qui ont de belles fonctionnalités en commun avec les DFA. En particulier, il y a toujours une RFSA de taille minimale canonique pour chaque langue régulière, et la langue reconnue par chaque état dans la RFSA est un...

L'algorithme de Brzozowski pour convertir un DFA en DFA à état minimum équivalent est remarquablement simple: si dénote le NFA formé en inversant tous les bords d'un DFA D , faisant de l'ancien état de départ un état acceptant et faisant de l'ancien acceptant Etats commencent états, et si P ( N )...