The WeakReference class, monitoring memory leak and garbage collection in a Java application

Image
 Below is a Stack implementation that uses an internal resizeable array structure.  public class MyStack< T > implements Stack< T > { private static final int CAPACITY = 100 ; private Object[] array ; private int pos = 0 ; public MyStack () { this . array = new Object[ CAPACITY ] ; } @Override public void push ( T item) { if ( pos >= array . length / 2 ) { Object[] newArray = new Object[ pos * 2 ] ; System. arraycopy ( array , 0 , newArray , 0 , array . length ) ; array = newArray ; } array [ pos ++] = item ; } @Override public T pop () { if (isEmpty()) { throw new RuntimeException( "empty stack" ) ; } @SuppressWarnings ( "unchecked" ) T item = ( T ) array [ pos - 1 ] ; pos -= 1 ; return item ; } @Override @SuppressWarnings ( "unchecked" ) public T peek...

"Parsing" Konusu ile ilgili Temel Kavramlar

--Halen yazım aşamasında--

Regular expressions yardımıyla bir programın "lexical" yapısını ifade edebildiğimizi görmüştük. Aynı şeyi dildeki cümleler için yapmak mümkün mü?
Dildeki cümlelerin yapısını ifade etmek için "context free grammar" kavramı kullanılmakta.
Dildeki karmaşık yapıları oluşturmak için "production" yaparak ilerlemek gerekiyor. Aşağıda 5 tane production ile ifade edilen bir dili inceleyelim:


S -> S ; S
S -> ID = E
E -> E + E
E -> ID
E -> NUM


Bu kuralları kullanarak bir cümle üretmeye çalışalım:


S ; S
ID = E ; ID = E
ID = E + E; ID = E
ID = ID + NUM; ID = NUM


Burada ürettiğimiz cümlenin kaynak kodu (lexer ele almadan önce) şöyle olabilirdi:


var = i + 4; j = 5


Burada tokenlerin değerleri: var, i, j, 4, 5
Token türleri: ID, NUM, "+", ";", "="

Gramer ifadesinde sağ tarafta bulunamayan sonlanmış semboller dikkati çekiyor. Bunlara "terminal symbol" deniliyor. Terminal semboller, token türlerine karşılık gelmekte: ID, NUM
Gramer ifadesinde sol tarafta bulunan semboller ise üretim yapmaya olanak veriyor. Bunlara "nonterminal symbol" deniliyor. Nonterminal sembollerden birisiyle üretim yapmaya başlıyoruz ki bu sembole start symbol deniliyor.

Ambiguous Grammar


E -> E - E
E -> id
Bu gramer ile ilgili örnek bir cümle:

3 – 2 – 5

id - id - id


Bu cümleyi 2 farklı ağaç yapısı şeklinde gösterebiliyoruz:

E
|-----------------|
id +
|------------------|
id id

veya

E
|------------------|
+ id
|------------------|
id id


İşte bu şekilde birden fazla ağaç yapısı ile temsil edilebilen gramerlere çok anlamlı (ambiguous) deniliyor. Aynı ifade farklı anlamlara gelen ağaç yapılarıyla temsil edilebildiği için bu gramerler yorumlama açısından sorun yaratıyor.
Çok anlamlılığı ortadan kaldırmak için grameri değiştirmemiz gerekiyor:

E -> E – T
T-> (E)
E -> id

Bir sonraki yazıda, tasarladığımız bir dil için nasıl parser oluşturacağımız üzerinde duralım.

Comments

Popular posts from this blog

Trie Data Structure and Finding Patterns in a Collection of Words

My Crappy Looking Solution to "Binary Tree Common Ancestor" Problem

A Graph Application in Java: Using WordNet to Find Outcast Words