phs

Paris, France
Member for 8 years, 3 months

Reputation

831

831
806
781

2018
2019
2020
2021

Top tag

automata

Next privilege

1,000 Rep.

See votes

Badges

5

7

Newest

Enlightened

Next badge

0/1

Impact

1 post edited

0 helpful flags

51 votes cast

42 Tags

17 automata × 4	5 proof-techniques	2 concurrency	1 strings
14 complexity-theory × 4	4 discrete-mathematics × 2	2 loops	1 time-complexity
13 formal-languages × 3	3 education	2 terminology	1 sampling
11 decision-problem	3 simulation	2 numerical-algorithms	1 context-free
11 np	3 computation-tree-logic	2 termination	1 optimization
10 nondeterminism × 2	3 logic	2 transition-systems	0 term-rewriting
10 context-sensitive	3 linear-temporal-logic	2 intuition	0 np-complete
10 regular-languages	3 mu-calculus	1 regular-expressions	0 logical-validity
9 finite-automata × 3	3 applied-theory	1 random-number-generator	0 normal-forms
8 algorithms × 5	2 recursion	1 probability-theory
8 philosophy	2 performance	1 dynamic-programming

Computer Science Stack Exchange works best with JavaScript enabled