Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
user3472798's user avatar
user3472798's user avatar
user3472798's user avatar
user3472798
  • Member for 10 years, 1 month
  • Last seen more than 7 years ago
15 votes
3 answers
43k views

How does an NFA use epsilon transitions?

7 votes
2 answers
3k views

What is 'halting'?

7 votes
2 answers
16k views

What is an "encoding" of a TM?

2 votes
3 answers
135 views

Graph cycles on 40 vertices

1 vote
0 answers
47 views

Proving that a language is regular [duplicate]

1 vote
1 answer
109 views

Unification Functions

1 vote
1 answer
316 views

number of different undirected graphs?

1 vote
1 answer
2k views

MIPS with one read port in the register file?

0 votes
1 answer
565 views

Proving that it's decidable whether a TM ever moves on the blank input