Similar to 状態遷移系

0

1

2

3

4

5

6

7

8

9

Axiom (computer algebra system)

CR manifold

13 (number)

19 (number)

40 (number)

50 (number)

70 (number)

Model of computation

Communicating sequential processes

FRACTRAN

One-instruction set computer

Actor model

Automata theory

Reversible computing

Probabilistic Turing machine