Запитання з тегом «minimization»

Недетерміновані автомати Xor (NXA) є синтаксично NFA, але, як кажуть, слово приймається NXA, якщо воно має непарне число приймаючих шляхів (замість принаймні одного приймаючого шляху у випадку NFA). Неважко помітити, що для кінцевої регулярної мови LLL існує мінімальний NFA, який не містить жодних циклів (якщо цикл був одночасно доступний з …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Залишкові автомати з кінцевим станом (RFSA, визначені в [DLT02]) - це NFA, які мають деякі приємні риси, спільні з DFA. Зокрема, завжди існує канонічний RFSA мінімального розміру для кожної звичайної мови, і мова, визнана кожним штатом в RFSA, є залишковою, як і в DFA. Однак, хоча мінімальні стани DFA утворюють …

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

Алгоритм Бжозовського для перетворення DFA в еквівалентний DFA з мінімальним станом надзвичайно простий: якщо позначає NFA, утворений шляхом реверсування всіх ребер у DFA , перетворюючи старий стан у стан прийняття, а старий приймає держави починають стану, і якщо позначає результат застосування конструкції підмножини до нке , то є мінімальним станом …

9 automata-theory  minimization