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