Skip to main content
Theoretical Computer Science
TomKern's user avatar
TomKern's user avatar
TomKern's user avatar
TomKern
  • Member for 1 year, 8 months
  • Last seen this week
Profile Activity
Stats
519
reputation
2k
reached
2
answers
7
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
6
Score
3
Posts
33
Posts %
6
Score
1
Posts
11
Posts %
0
Score
7
Posts
78
Posts %
0
Score
5
Posts
56
Posts %
0
Score
3
Posts
33
Posts %
0
Score
3
Posts
33
Posts %
Top posts
question
13
Obscure characterizations of the regular languages
Feb 3
answer
6
Turing Machines and Logic
Mar 11, 2023
question
5
The empty tree-word for regular tree languages
May 10
question
5
Equivalent Characterizations of Semilinear Sets
Mar 11, 2023
question
5
Logical Equivalents of Finite State Transducers
Apr 29, 2023
question
3
Is it useful to "untangle" an NFA by converting to a regular expression and back
Jan 22
question
2
Are MSO formulae on graphs expressible with bounded quantifier alternation?
Jul 11, 2023
question
2
Is there a text that contains all 4 Büchi-Elgot-Trakhtenbrot-style theorems?
Dec 26, 2023
answer
0
The empty tree-word for regular tree languages
May 20
Top network posts
View all network posts
40
Students confusing "object types" in introductory proofs class
39
Best way to explain the thinking steps from x² = 9 to x=±3
35
What should be memorized in math and what should be reference table?
28
Why is a Calculus III student more likely to solve this problem?
27
What is the justification to teach the (redundant) use of parentheses in multiplications?