StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

danportin

Rating
1512.74 (53,877th) 		Reputation
3,063 (55,220th)
Page: 1 2
Title Δ
Calculate the code complexity of below code +0.98
Is union is regular expression different from union in set? +3.71
Finding middle element in a Standard ML list 0.00
No permission to modify static procedure dynamic/1 0.00
Turing machine to calculate sum of 2 binary numbers 0.00
Minimum pumping length of a regular language 0.00
Is the union of two non-regular languages regular? -0.02
Can a Context-free grammar exist, where all of its symbols are usel... 0.00
Is this grammar LL(1) grammar? 0.00
Find all lists of sublists that when concatenated give a given list 0.00
Check if a number contains digits A and B. Prolog +0.04
Create AND expression with OR and NOT -0.09
Haskell ways to filter out a list comprehensions 0.00
Prolog- what causes the out of local stack error in this case? 0.00
How to write boolean comparsion function in Coq 0.00
Does SLD tree exist if the query is invalid in Prolog? 0.00
How to delete every second occurence of an element in a nested list... 0.00
How to find the last item in the third list, which is collected fro... 0.00
Check less or equal natural number in coq -4.08
what is the logic of Finite Automa and loops 0.00
Generating a list which is made by right shifting elements n times -0.39
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq? +4.18
Kripke semantics: learning software available? 0.00
Why do these two functions in Haskell have the same type? +0.29
How do I figure out the language generated by this context-free gra... -2.19
Miranda going through lists -2.83
Grammar Parse tree? -3.99
Functional Language for Untyped Lambda Calculus +3.82
How to determine if my NFA is correct? 0.00
What type of parser is needed for this grammar? 0.00
Notation for concat in set theory +3.76
Read an expression 0.00
linear grammar with unequal number of 0s and 1s 0.00
"odd" expression in PL/0 +4.54
How do I find the language from a regular expression? -3.77
Create set of all possible matches for a given regex +2.40
How to build parse tree? +1.86
How to show that addition is primitive recursive? 0.00
Grammar Induction Program - Squitor 0.00
Conversion to Chomsky Normal Form +1.42
CFG grammar definition -3.39
Verifying that a grammar is strong LL(2) 0.00
LL(1) grammar verification 0.00
How to make my relation work +0.14
Update2,Haskell 0.00
Algorithm - How to delete duplicate elements in a Haskell list +1.74
Duplicate each element in a Haskell List -2.71
Removing Left Recursion with Terminals 0.00
new to haskell -- how to use :? to find all function list and mannu... +3.98
Haskell data types usage good practicies +1.03