I am a Post-doc researcher. Currently visiting the research group on Natural Computing in Seville. My PhD work was on the computational complexity of membrane systems. Though I am interested in all sorts of Natural models of computation.
5 reversible Turing machines May 10 '10
4 Is every input gate of a Boolean Circuit (to decide a language) on a path to the output gate? May 20 '10
1 Using TikZ in papers Apr 15 '10
1 The (upper hat of) an octahedral diagram in (la)tex May 15 '10
0 Emptiness and determinization of NFAs May 12 '10