1,057 reputation
420
bio website
location Aachen, Germany
age 25
visits member for 2 years, 8 months
seen 12 hours ago

I'm computer science grad student in my first master semester majoring in theoretical computer science.


Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling puncuation
Aug
6
suggested suggested edit on Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling and stuff
Aug
6
suggested suggested edit on Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
Jul
26
awarded  Nice Question
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
fixing latex
Jun
25
accepted Generlized Büchi Games and Closed under superset Muller Games
Jun
25
suggested suggested edit on Generlized Büchi Games and Closed under superset Muller Games
Jun
25
awarded  Custodian
Jun
25
reviewed Approve suggested edit on Generlized Büchi Games and Closed under superset Muller Games
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
edited tags
Jun
25
asked Generlized Büchi Games and Closed under superset Muller Games
Jun
23
comment Stochastic Automaton accepting every word with same probability
Which is exactly what you want since you want to avoid a probability higher then $c$.
Jun
22
asked Homomorphism for a fixed graph NP-complete?
Jun
9
accepted Constraint satisfaction problem - Arc consistency
Jun
9
answered Constraint satisfaction problem - Arc consistency
Jun
9
comment Constraint satisfaction problem - Arc consistency
Thats correct this is what makes it arc-inconsitent.
Jun
6
asked Constraint satisfaction problem - Arc consistency
May
10
asked Homomorphical Equivalence is NP-complete
May
5
accepted Infinite Chomp is a finite game?