DCTLib's user avatar
DCTLib's user avatar
DCTLib's user avatar
DCTLib
  • Member for 10 years, 8 months
  • Last seen more than a month ago
86 votes
Accepted

Why is binary search faster than ternary search?

9 votes
Accepted

Undecidability in the context of modern programming languages

9 votes
Accepted

How similar are two DFAs? -not just binary equivalence-

9 votes

How does automated verification of systems with infinitely many states work?

8 votes

How exactly MOV AX will load data from RAM?

5 votes

Reducing Zero-One Integer Linear Programming problem to SAT

5 votes
Accepted

Determining a minimal-state regular language $A$ such that $A \cap B = C$ given regular languages $B$ and $C$

5 votes

Equisatisfiability in the reduction from 4-SAT to 3-SAT

5 votes

Why are non-deterministic Buchi automata factorially succinct when compared to deterministic Rabin Automata?

5 votes
Accepted

Is model checking PSpace-hard *in formula size*?

4 votes

Initial States in Moore Machine?

4 votes
Accepted

Büchi automaton to Linear Temporal Logic

4 votes
Accepted

Why doesn't the C/C++ compilers create different tokens for different types of numbers?

4 votes
Accepted

What kind of LTL formula can be represented by DBAs

4 votes

Minimal Deterministic Buchi Automata Product

3 votes
Accepted

What is the file system of ram?

3 votes

Complement of Mealy machine

3 votes
Accepted

Efficient Algorithm Linear Temporal Logic to Deterministic Rabin Automata

3 votes
Accepted

LTL Until Tautology

3 votes
Accepted

Does an algorithm exist for scheduling jobs on two processors?

3 votes

Why is LTL Model Checking in PSPACE

2 votes
Accepted

Can one determinize finite automata over infinite trees?

2 votes
Accepted

A way to express LTL (varient) to enforce a stream of data to satisfy some linear time logic

2 votes
Accepted

Given LTL formulas $m$ and $p$, is there a tool that can check whether $m \models p$ does hold?

2 votes

Acceptance conditions when translating LTL to Büchi automaton?

2 votes
Accepted

What the State is, and Where it comes from, when Generating Reachability Graphs

2 votes
Accepted

Rectangular Automata

2 votes

How to graph search a LTL-generated Buchi automaton to generate valid execution paths

2 votes

Language equivalent states in a deterministic parity automaton

2 votes
Accepted

Question about DFA for exact string matching