Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Chomsky Grammar and Finite Automata, Study Guides, Projects, Research of Computer Science

Solutions to various problems related to chomsky grammars and finite automata. It includes the production rules and chomsky classes for given grammars, as well as the construction of a dfa for a specific language. The document also covers the difference between tip2 and tip3 grammars.

What you will learn

  • What are the production rules for the given grammar and which Chomsky class does it belong to?
  • Construct a DFA for the given language {a,b}* with L(M) = a^mb, m>=0.

Typology: Study Guides, Projects, Research

2018/2019

Uploaded on 11/17/2019

mhmtfrt
mhmtfrt 🇹🇷

5

(1)

18 documents

1 / 4

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
24.11.2011
BİÇİMSEL DİLLER ve OTOMATLAR
Uygulama-3
Prof.Dr.A.Emre HARMANCI
Yard.Doç.Dr.Osman Kaan EROL
Dr.Berk CANBERK
Araş.Gör.Mustafa ERSEN
Araş.Gör.Gökhan SEÇİNTİ
1) = {a,b} alfabesi üzerinde tanımlı olup aaa veya bbb katarlarından birini içeren
sözcüklerden oluşan dilin
a) Ait olduğu gramerin türetim kurallarını veriniz.
b) Bu dilin ait olduğu gramerin (L(G)) hangi Chomsky sınıfına ait olduğunu belirtiniz.
c) Bu dilin varsa düzenli ifadesini yazınız.
Çözüm:
a) Bu tip sorularda dikkatle ne istendiğini anlamak gerekir. aaa veya bbb katarlarından
birini içeren sözcüklerden oluşan dil {a,b}*{aaa,bbb}{a,b}* DİKKAT!=Dilin
düzenli ifadesi bu değil.
Türetim kuralları:
<S> ::= a<S> | b<S> | a<A> | b<B>
<A> ::= a<C>
<B> ::= b<D>
<C> ::= a | a<E>
<D> ::= b | b<E>
<E> ::= a<E> | b<E> | a | b
a’nın istediği kadar gelme durumu: S aS
b’nın istediği kadar gelme durumu: S bS
Peş peşe 3 adet a gelme durumu: S aA aaC aaa
(C’den türetilen terminal simge a ile sonlanır)
Peş peşe 3 adet b gelme durumu: S bB bbD bbb
(D’den türetilen terminal simge b ile sonlanır)
aaa‘yı takiben istediği kadar a veya b gelme durumu:
S aA aaC aaaE aaaaE aaaa…E aaaaa
S aA aaC aaaE aaabE aaab…E aaabb…
(E’den türetilen terminal simge a veya b ile sonlanır)
bbb‘yi takiben istediği kadar a veya b gelme durumu:
S bB bbD bbbE bbbaE bbba…E bbbaa…
S bB bbD bbbE bbbbE bbbb…E bbbbb…
(E’den türetilen terminal simge a veya b ile sonlanır)
pf3
pf4

Partial preview of the text

Download Chomsky Grammar and Finite Automata and more Study Guides, Projects, Research Computer Science in PDF only on Docsity!

BİÇİMSEL DİLLER ve OTOMATLAR Uygulama- Prof.Dr.A.Emre HARMANCI Yard.Doç.Dr.Osman Kaan EROL Dr.Berk CANBERK Araş.Gör.Mustafa ERSEN Araş.Gör.Gökhan SEÇİNTİ

1)  = {a,b} alfabesi üzerinde tanımlı olup aaa veya bbb katarlarından birini içeren sözcüklerden oluşan dilin

a) Ait olduğu gramerin türetim kurallarını veriniz. b) Bu dilin ait olduğu gramerin (L(G)) hangi Chomsky sınıfına ait olduğunu belirtiniz. c) Bu dilin varsa düzenli ifadesini yazınız.

Çözüm:

a) Bu tip sorularda dikkatle ne istendiğini anlamak gerekir. aaa veya bbb katarlarından birini içeren sözcüklerden oluşan dil  {a,b}{aaa,bbb}{a,b}^  DİKKAT!=Dilin düzenli ifadesi bu değil.

Türetim kuralları:

::= a | b | a | b ::= a ::= b ::= a | a ::= b | b ::= a | b | a | b

a’nın istediği kadar gelme durumu: S  aS b’nın istediği kadar gelme durumu: S  bS

Peş peşe 3 adet a gelme durumu: S  aA  aaC  aaa (C’den türetilen terminal simge a ile sonlanır) Peş peşe 3 adet b gelme durumu: S  bB  bbD  bbb (D’den türetilen terminal simge b ile sonlanır)

aaa‘yı takiben istediği kadar a veya b gelme durumu: S  aA  aaC  aaaE  aaaaE  aaaa…E  aaaaa… S  aA  aaC  aaaE  aaabE  aaab…E  aaabb… (E’den türetilen terminal simge a veya b ile sonlanır) bbb‘yi takiben istediği kadar a veya b gelme durumu: S  bB  bbD  bbbE  bbbaE  bbba…E  bbbaa… S  bB  bbD  bbbE  bbbbE  bbbb…E  bbbbb… (E’den türetilen terminal simge a veya b ile sonlanır)

b) Sol yan terminal olmayan tek simge, sağda bir kaç terminal sınıfı ya da bir kaç terminal simge ve en sağda tek bir terminal olmayan simge bulunmakta.  Tip3(Sonlu durumlu otomat)

c) L(M) = (a V b)(aaa V bbb) (a V b)

2)  = {a,b} alfabesinden oluşan ve L(M) = a2mb, m 0 dilini kabul eden bir DFA oluşturun.

Çözüm:

m=0  L(M) = a^0 b m=1  L(M) = a^2 b m=2  L(M) = a^4 b m=3  L(M) = a^6 b …

Tasarlanan bu DFA için başlangıç durumu s={q 0 } ve kabul edilen durum F = {q 1 }.

3) Aşağıdaki dillerin gramerlerinin üretim kurallarını bulunuz ve bu gramerlerin hangi Chomsky sınıfına ait olduğunu söyleyiniz.

a) L(G) = {anbn, n1} b) L(G) = {anbn+m, n1, m1}

Çözüm:

a) Bu tip sorularda değişkene farklı değerler vererek, dilin türetim kuralına ulaşmaya çalışırız.

n=1  ab n=2  aabb n=3  aaabbb

S  aA A  b | aAb BNF: ::= a ::= b | ab  her a için bir b

b)

Çözüm:

a) L(M) = 0* 11 00(0 v 1)^ = 0* 1 +00(0v1)*

b) L(M) = 01(0 v 101)10(0v1)

= (010 v 0 110 1)10(0v1)*

= (0* 101 0 v 0 110 * 1 +0) (0v1)*