Skip to main content
Computer Science
Hans Hüttel's user avatar
Hans Hüttel's user avatar
Hans Hüttel's user avatar
Hans Hüttel
  • Member for 8 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
2,516
reputation
104k
reached
64
answers
0
questions
Communities
View all
About

Associate Professor in the Department of Computer Science at Aalborg University.

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
17
bronze badges
Top tags
View all tags
47
Score
13
Posts
20
Posts %
39
Score
13
Posts
20
Posts %
37
Score
15
Posts
23
Posts %
33
Score
15
Posts
23
Posts %
28
Score
9
Posts
14
Posts %
27
Score
15
Posts
23
Posts %
Top posts
View all questions and answers
answer
25
Lambda calculus didn't seem abstract. And I can't see the point of it
Dec 3, 2016
answer
10
Why does the state remain unchanged in the small-step operational semantics of a while loop?
Oct 16, 2016
answer
7
Lambda calculus :difficulty in getting hang of induction and conversion
Jun 11, 2017
answer
7
Should two DFAs be complete before making an intersection of them?
Oct 24, 2016
answer
7
Is the Rice Theorem applicable for these problems?
Oct 30, 2016
answer
6
When does the product automaton of two NFAs A and B not decide L(A) U L(B)?
May 12, 2017
answer
6
Expressing 3-SAT in first-order logic
Oct 22, 2016
answer
6
Is the difference between between an union and a product of two DFA lies in their accepting states?
Oct 24, 2016
answer
6
Can an NFA have multiple accepting states?
Dec 28, 2016
answer
6
Understanding why ALL_nfa is in co-nspace
Nov 1, 2016
Top network posts
View all network posts
43
Copyright Status of a Math Text
25
Why study finite-dimensional vector spaces in the abstract if they are all isomorphic to $R^n$?
18
Slightly changing the formal definition of continuity of $f: \mathbb{R} \to \mathbb{R}$?
12
Still struggling to understand vacuous truths
10
How to respond positively to a scientist's rejection e-mail (PhD program)?