user3472798's user avatar
user3472798's user avatar
user3472798's user avatar
user3472798
  • Member for 9 years, 8 months
  • Last seen more than 7 years ago
15 votes
3 answers
41k views

How does an NFA use epsilon transitions?

7 votes
2 answers
3k views

What is 'halting'?

7 votes
2 answers
15k views

What is an "encoding" of a TM?

2 votes
3 answers
123 views

Graph cycles on 40 vertices

1 vote
0 answers
46 views

Proving that a language is regular [duplicate]

1 vote
1 answer
103 views

Unification Functions

1 vote
1 answer
304 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
545 views

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