saçlarımın sigara kokusu...

türkçe klavyede yazabilmek...Botanik parkı...Belpa'nın önünden geçen, 1. caddeye döndüğümüz cadde...Vosvoslar...

iyi geceler...

Demin sekillerimin bi kismina karar kildim.

Temel sekiller, sabit nokta sekli, 2li renk sekli.

Once:

nu. [b]ff AND <>Z

Bi kac patolojik vaka:

mu. <> tt AND [a]Z

2?

Fix, Sum...: Y: <>tt OR <>tt .|. fix X. Y + a.X

parallel composition: tt || mu. [a]Z ??

Dilian'in gözleri yasarirdi valla surada beni görse.

Bu arada bu Schreier abim de fena degil hani. Ama anlamadigim nasil Dieskau bariton, bu tenorken ayni liedleri soyleyebiliyorlar?

Red day

i am so "motivate"d today..

i am still having some trouble about the acceptance condition hierarchy. Mostowski, Muller, Sttreet and Rabin. (btw i have my very own as well) Which is equivalent to what? What is more powerful?

nice day. shopping. bought 2 cookbooks, one for Bagsen, one for me. cooked okra, mmm, fantastisk. Kristof, the kid, wrote that he wants to see me one last time.

ser bra ut.

Ezberledim kisin sarkilarini...

Einsamkeit

Wie eine trübe Wolke
Durch heit're Lüfte geht,
Wann in der Tanne Wipfel
Ein mattes Lüftchen weht:

So zieh ich meine Straße
Dahin mit trägem Fuß,
Durch helles, frohes Leben,
Einsam und ohne Gruß.

Ach, daß die Luft so ruhig!
Ach, daß die Welt so licht!
Als noch die Stürme tobten,
War ich so elend nicht.

Wilhelm Müller

Tezime....

KAÇSAM BIRAKIP SENDEN UZAK YOLLARA

Kaçsam bırakıp senden uzak yollara gitsem
Kalbim yanıyor ismini her kimden işitsem
Derdinle ufuklarda sönen gün gibi bitsem
Kalbim yanıyor ismini her kimden işitsem

Gönlüm o kadar aşkınla yanmış iki ezelden
Bir lahza unutmak seni bak gelmiyor elden
N'olurdu ölüm zehrini içseydim ecelden
Kalbim yanıyor ismini her kimden işitsem

Nihâvend
Bestekâr : Zekai Cankardeş

A very nice page to look at to understand computer scientists in academy:

Evaluating CS people

Rose

"I imagined him whenever I had to hide. Just for a moment. When getting out of the metro perhaps, with quick steps, when I am about to think I should have been at least 20 min. earlier to work. I would imagine him. With his grey t-shirt(maybe he never had one) and the little nooks and crannies of his nose and his smile and even the way his eyebrows lifted or how he licked his lips when he is about to speak..In all his ways he was beautiful. He was.. To me he was beauty. He was my personal rose."

Automata on Infinite Trees

Wikipedia'ya provami tabi ki burada yapacagimdir...
Possible Entries:

• Alternating Tree Automata: In contrast to tree automata which have transitions that lead to one state per successor of current node, these automata may send multiple copies along one branch or may not send a copy along some branch at all. As with other tree automata several acceptance conditions can be used like Sttreet, Rabin, Parity, Muller and Buchi. However, unlike A.A. on infinite words, A.T.A. are not equivalent to nondeterministic automata on infinite trees but are more powerful. Fortunately, modal mu-calculus properties may be translated into such A.T.A. that in turn be translated into N.T.A. (Hence, the equality of expression of the two formalisms.)

[EJ91]: What is new is the translation from "history free" A.T.A. to N.T.A. As far as I understand (which may not be far) the translation from modal mu-calculus to A.T.A was done in [MS84]. (In any case, in order to translate one has to construct the A.T.A.s in a certain manner, at least one needs a grasp of them)

Construction: Given Phi, we construct an A.T.A. A such that A accepts exactly those trees labeled with Prop, which are models of Phi. (Phi is the set of propositional symbols in Phi) ...

To be continued...

Important Notice to Meself!: i write to my blog, not my thesis.

this is the day...

• when S told me that "M ile mutlu bir yuva istiyom"
• when I got rejected by yet another conference (makes 2 so far, mylife has just shortened by at least 2 months)
• when I realized my life sucks completely (and not (only) because there are no guys OR conferences)

ps. my god i am a computer scientist with embedded matching paranthesis.. and the realizations continue...