Questions marquées «minimization»

Les automates XOR (NXA) pour les langages finis bénéficient-ils des cycles?

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 …

14 fl.formal-languages automata-theory nondeterminism minimization

Minimiser les automates à états finis résiduels

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 …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

Généraliser l'algorithme de minimisation DFA de Brzozowski en automates finis avec différentes classes d'états accepteurs?

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 …

9 automata-theory minimization

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.