deterministic finite automaton

• fsa'ların özel bir türü , aynı inputa sahip iki geçişe ve epsilon geçişlerine izin vermez.
  (bkz: non deterministic finite automaton)
• (bkz: automata theory)
• awk, egrep ve lex gibi tool'lar tarafindan regular expression matching'de kullanilan teknik.. (bkz: non deterministic finite automaton)
• jflap adli java programciginda bunun diagramlari hazirlanabilir ve canlandirilabilir. ( nfa ler de ayni sekilde )
• her dfa^* yalnız bir regular language temsil edebilirken bir regular language'i birden fazla dfa temsil edebilir. aynı mantıkla her dfa aynı zamanda bir nfa olduğu halde, her nfa bir dfa olmayabilir
  ayrıyetten soruları ve ödevleri zeka bulmacası tadında olduğundan çevredeki arkadaşların da ilgisini çeken zevkli sayılabilecek bir konudur.
• her deterministic finite automaton(dfa) bir non-deterministic finite automaton(nfa)dur ancak her nfa bir dfa değildir. nfa yı dfa dan ayıran en önemli 3 özellik ise ;
  input olarak epsilonnun kullanılması.
  tek transition inputla 2 farklı state e gidilebilmesi.
  hiç bir transition inputun kullanılmaması bu özellikler non-deterministic finite automatonu, deterministic finite automatondan ayıran özelliklerdir.
• aralarda bulunduğu ve sonuç olarak sunabileceği durumların sonlu olduğu; durumların, her girişe, özel ve aynı geçişler verdiği ,ki bu özellik deterministliğin verdiği özel bir güçtür (bkz: deterministman), makine türü.
  
  burda geçiş olarak bahsedilen ise bir durumdan başka bir duruma gitme ya da bir durumdan sonuç elde şeklindedir.
  
  determinist olmayan için (bkz: nfa) ya da (bkz: non deterministic finite automaton)
• finite automata belli modelleri tanıyabilen en basit makinedir, deterministic finite automata (dfa) ve nondeterministic finite automata (nfa) olarak ikiye ayrılır.
  
  deterministic finite automata hesaplama teorisi içinde bir otomattır. türkçesi sanırım "deterministik sonlu otomaton" olarak adlandırılıyor. bu otomatta, bir girdi algoritması durumları arasında tek bir yol izler, ki herhangi bir nfa ile en büyük farkı da budur ve herhangi bir durumda mevcut sembolün anlamı her zaman aynıdır. işte tam bu sebepten ötürü deterministiktirler. bir dfa, başlangıç durumundan başlar ve girdi sembollerini okuyarak durumlar arasında ilerler. her sembolün okunması sonrası, dfa, sembole ve mevcut duruma bağlı olarak yeni bir duruma geçer. okunan tüm sembollerin sonunda bir kabul durumunda ise girdiyi kabul eder, aksi takdirde girdiyi reddeder. dfaler içinde oldukları durumu herhangi bir input almadan değiştiremezler. belli bir pattern için birçok, hatta sonsuz dfa yaratılabilir; ancak en az durumun olduğu dfaler genelde tercih edilir.
  
  dfaler birçok şey için kullanılabilir. text parsing, oyunların ve oyun karakterlerinin hikaye ve davranış ağaçları, natural language processing ve speech recognition örnek olarak verilebilir.