I am an undergraduate student of computer science in my 4th semester at RWTH Aachen University, Germany.
3 Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack aug 6 '13
3 Upper bound and monotony nov 20 '11
3 Existence of linear mapping jul 28 '13
2 Quality of Reduction of finite automata jul 31 '13
1 Finding a mapping such that its kernel equals the image of another non bijective mapping sep 20 '13