«minimization» etiketlenmiş sorular

Deterministik olmayan bir Xor otomata (NXA) sözdizimsel olarak bir NFA'dır, ancak bir kelimenin tek sayıda kabul yolu varsa (NFA durumunda en az bir kabul yolu yerine) NXA tarafından kabul edildiği söylenir. Sonlu bir düzenli dil LLL , herhangi bir döngü içermeyen minimal bir NFA olduğunu görmek kolaydır (bir döngü hem …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Artık sonlu durum otomatları ([DLT02] 'de tanımlanan RFSA'lar), DFA'larla ortak bazı hoş özelliklere sahip NFA'lardır. Özellikle, her normal dil için her zaman standart bir minimum boyutlu RFSA vardır ve RFSA'daki her durum tarafından tanınan dil, tıpkı bir DFA'da olduğu gibi artıktır. Bununla birlikte, asgari DFA devletleri tüm artıklarla bir bijeksiyon …

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

Brzozowski'nin bir DFA'yı eşdeğer bir minimum durum DFA'ya dönüştürme algoritması oldukça basittir: R ( D )R,(D)R(D) "DFA", bir DFA'daki tüm kenarların ters çevrilmesiyle oluşturulan NFA'yı belirtir DDD, eski başlangıç ​​durumunu kabul eden bir devlet haline getirmek ve eski kabul eden ülkeleri başlangıç ​​durumuna getirmek ve eğer P( N)P(N-)P(N) alt küme …

9 automata-theory  minimization