New answers tagged automata-theory
-1
votes
formal definition of "flowcharts"
If the need is business processes, have a look at this : link and link
else you can go with the normal one here.
0
votes
where to read about PSO (partial store order) memory model
These explains better : TSO and PSO Memory
Models
Dynamic_Partial_Order_Reduction_for_Relaxed_Memory_Models
Also contains resources for further learning at the end.
6
votes
Accepted
Existence of injective length-preserving rational function to a smaller alphabet
It turns out the answer is "no": in [2] the authors show that a regular language $L$ exists with density $\rho_L(n) \leq |B|^n$ such that no regular language over $B$ has the same density; ...
Top 50 recent answers are included
Related Tags
automata-theory × 381fl.formal-languages × 179
regular-language × 73
reference-request × 59
cc.complexity-theory × 37
dfa × 35
context-free × 29
computability × 26
turing-machines × 26
regular-expressions × 21
lo.logic × 18
grammars × 18
ds.algorithms × 17
omega-language × 17
co.combinatorics × 13
nondeterminism × 12
graph-theory × 11
minimization × 11
algebra × 9
nfa × 9
time-complexity × 8
probabilistic-automata × 8
lower-bounds × 7
model-checking × 7
linear-temporal-logic × 7