Non-Deterministic Finite Automata (NFA)

[Hergonan]

Simdi, soyle bi NFAmiz var:
http://toxicfork.com/upload/1289123128962.jpg
burda "b" girersek kabul edilir mi, edilmez mi?
alfabe = {a,b}, epsilon = e

[Hergonan]

edilmezmis :P
b q0 (baslangic) veya q1(kabul edilen)'den cikamiyor.

[GEd]

b girsen nereye gidecek zaten otomat başlangıç durumundan.

Garip bişi sorduğun yani.

[Hergonan]

biraz kafam karismisti.
"disariya ok yoksa harfi kullan ve bi sonrakine gec" sanmistim, ama "harfi kullanamazsan cevap 'hayir' olacak"mis.

[Schwarzkopf]

iyi de Epsilon dan dolayı b direk q1 e geçmiyo mu. kabul edilmiş olmuyo mu.

[Penthesilea]

evet e yuzunden direk final state'e geciyo da, sonucta input bos degil, {b}, o yuzden final state'den b'nin goturdugu yere gidecek, oyle bi yer olmadigi icin de otomatik sink state'e goturuyor diye dusunulup reddediyor deniliyor.

[fizban]

butun input'u parse edemiyorsa DFA ve NFA'ler direk olur. gerci dfa'ler zaten parse etmesi zorunlu olacak sekilde tasarlaniyordu sanirim.