D K

234

Reputation

98 views

Registered User

Name	D K
Member for	1 year
Seen	22 hours ago
Website
Location
Age

stats recent reputation favorites

2

Questions

5

votes

0

answers

124

views

Büchi automata with acceptance strategy

automata-theory computer-science formal-languages

may 15 12 at 17:52 D K 234●1●7

3

votes

3

answers

161

views

Well-ordering with a topological property

axiom-of-choice topology

nov 27 at 2:01 Andres Caicedo 14.4k●1●42●79

9

Answers

votes newest views recent

Examples where adding complexity made a problem simpler

Blackbox Theorems

Satisfiability problem for FOL[<,R]

Translate a buchi automaton to LTL

Rabin’s Tree Theorem

Minimal right ideals in finite semigroup

Finite variation and idempotent languages and automata.

Can all programs reducible to ones with only arithmetic operations on inputs be simulated with polynomial overhead by arithmetic machine?

Infimum of a finite number of distances in the plane

3

Votes

3

16

Tags

lo.logic× 4
formal-languages× 4
automata-theory× 4
soft-question× 2
computer-science× 2
computability-theory× 2
big-list× 2
topology
semigroups
intuition

ho.history-overview
gr.group-theory
gn.general-topology
computational-complexity
axiom-of-choice
algebra

8

Badges

● Yearling
● Commentator

● Critic
● Scholar

● Supporter
● Student

● Editor
● Teacher