Computer Science
chansey's user avatar
chansey's user avatar
chansey's user avatar
chansey
  • Member for 6 years, 4 months
  • Last seen this week
Profile Activity
Stats
245
reputation
5k
reached
2
answers
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
1
Score
3
Posts
30
Posts %
1
Score
2
Posts
20
Posts %
1
Score
1
Posts
10
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Understanding $\lambda \mu$-calculus in more programming way
Jun 30, 2020
question
2
Should we eliminate left recursion before using NPDA to simulate CFG?
Mar 20, 2018
question
2
What's the meaning of linguistics?
Jul 19, 2020
question
2
Is the term $(\lambda x.x)(y y)$ a normal form in call-by-value reduction strategy?
Sep 9, 2020
question
1
When is a stuck state not final and when is a maximal sequence not complete in transition systems?
Nov 18, 2021
answer
1
Prove REGULAR_TM is undecidable
Feb 7, 2017
answer
1
Is the term $(\lambda x.x)(y y)$ a normal form in call-by-value reduction strategy?
Mar 18, 2021
question
0
Is there any official terminology about something like double quotes "" grammar?
Jul 20, 2020
question
0
Is it possible to encode contradictory horn clauses without goal clauses?
Oct 29, 2021
question
0
What is the difference between type inhabitant and subtyping?
May 4, 2022
Top network posts
View all network posts
19
Can a species have different ancestors?
10
What story does "Love Letter" tell?
6
codeblocks error on win7 64bits
5
category-extras needed, but the stack configuration has no specified version
5
Trait mixin with conflicting members: Why my code can be compiled successfully?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.