01-12-2011
BİÇİMSEL DİLLER VE OTOMATLAR
KISA SINAV-3
Yanda determinist sonlu durumlu bir otomatın
(DFA) durum geçiş tablosu verilmiştir.
a) Bu DFA’nın durum-geçiş diyagramını
çiziniz.
b) Bu DFA’nın kabul ettiği dilin gramer
üretim kurallarını veriniz.
c) Bu DFA’nın kabul ettiği dilin düzenli
ifadesini sezgisel yoldan bulunuz.
d) c şıkkında bulduğunuz dili gerçekleyen
bir NFA’nın durum geçiş diyagramını
çiziniz.
K = { A,B,C,D }
= {a, b}
s = A
F = {D}
a
b
A
B
A
B
B
C
C
D
A
D
B
C
Süre: 20 dakika
ÇÖZÜM
a)
b) <A> ::= a<B> | b<A>
<B> ::= a<B> | b<C>
<C> ::= a<D> | b<A> | a
<D> ::= a<B> | b<C>
c) Verilen DFA, aba ile sonlanan tüm sözcükleri kabul eder.
d) Bulunan dil aşağıdaki NFA ile gerçeklenebilir.