-
Notifications
You must be signed in to change notification settings - Fork 1
/
credit.txt
479 lines (333 loc) · 16.6 KB
/
credit.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
https://en.wikipedia.org/wiki/JOVIAL
https://en.wikipedia.org/wiki/Jules_Schwartz
https://en.wikipedia.org/wiki/GW-BASIC
https://en.wikipedia.org/wiki/Greg_Whitten
https://en.wikipedia.org/wiki/Eiffel_(programming_language)
https://en.wikipedia.org/wiki/Gustave_Eiffel
https://en.wikipedia.org/wiki/Linda_(coordination_language)
https://en.wikipedia.org/wiki/Linda_Lovelace
https://en.wikipedia.org/wiki/Bradford%27s_law
https://en.wikipedia.org/wiki/Samuel_C._Bradford
https://en.wikipedia.org/wiki/Hasse_diagram
https://en.wikipedia.org/wiki/Helmut_Hasse
https://en.wikipedia.org/wiki/AWK
https://en.wikipedia.org/wiki/Alfred_Aho
https://en.wikipedia.org/wiki/Peter_J._Weinberger
https://en.wikipedia.org/wiki/Brian_Kernighan
https://en.wikipedia.org/wiki/Erlang_(programming_language)
https://en.wikipedia.org/wiki/Agner_Krarup_Erlang
https://en.wikipedia.org/wiki/Nyquist%E2%80%93Shannon_sampling_theorem
https://en.wikipedia.org/wiki/Harry_Nyquist
https://en.wikipedia.org/wiki/Claude_Elwood_Shannon
https://en.wikipedia.org/wiki/Rent%27s_rule
E. F. Rent
https://en.wikipedia.org/wiki/Schneier%27s_law
https://en.wikipedia.org/wiki/Bruce_Schneier
https://en.wikipedia.org/wiki/Price%27s_law
https://en.wikipedia.org/wiki/Derek_J._de_Solla_Price
https://en.wikipedia.org/wiki/Lotka%27s_law
https://en.wikipedia.org/wiki/Alfred_J._Lotka
https://en.wikipedia.org/wiki/Hofstadter%27s_law
https://en.wikipedia.org/wiki/Douglas_Hofstadter
https://en.wikipedia.org/wiki/Metcalfe%27s_law
https://en.wikipedia.org/wiki/Robert_Metcalfe
https://en.wikipedia.org/wiki/Koomey%27s_law
https://en.wikipedia.org/wiki/Jonathan_Koomey
https://en.wikipedia.org/wiki/Gustafson%27s_law
https://en.wikipedia.org/wiki/John_L._Gustafson
https://en.wikipedia.org/wiki/Gustafson-Barsis%27_law
https://en.wikipedia.org/wiki/John_L._Gustafson
Edwin H. Barsis
https://en.wikipedia.org/wiki/Peter_principle
https://en.wikipedia.org/wiki/Laurence_J._Peter
https://en.wikipedia.org/wiki/Dilbert_principle
https://en.wikipedia.org/wiki/Dilbert
https://en.wikipedia.org/wiki/Engelbart%27s_law
https://en.wikipedia.org/wiki/Douglas_Engelbart
https://en.wikipedia.org/wiki/Goodhart%27s_law
https://en.wikipedia.org/wiki/Charles_Goodhart
https://en.wikipedia.org/wiki/Greenspun%27s_tenth_rule
https://en.wikipedia.org/wiki/Philip_Greenspun
https://en.wikipedia.org/wiki/Laning_and_Zierler_system
https://en.wikipedia.org/wiki/J._Halcombe_Laning
Neal Zierler
https://en.wikipedia.org/wiki/De_Morgan%27s_laws
https://en.wikipedia.org/wiki/Augustus_De_Morgan
https://en.wikipedia.org/wiki/Linus%27s_law
https://en.wikipedia.org/wiki/Linus_Torvalds
https://en.wikipedia.org/wiki/Amdahl%27s_law
https://en.wikipedia.org/wiki/Gene_Amdahl
https://en.wikipedia.org/wiki/Andy_and_Bill%27s_law
https://en.wikipedia.org/wiki/Andrew_Grove
https://en.wikipedia.org/wiki/Bill_Gates
https://en.wikipedia.org/wiki/Atwood%27s_law
https://en.wikipedia.org/wiki/Jeff_Atwood
https://en.wikipedia.org/wiki/Brooks%27s_law
https://en.wikipedia.org/wiki/Fred_Brooks
https://en.wikipedia.org/wiki/G%C3%B6del_(programming_language)
https://en.wikipedia.org/wiki/Kurt_G%C3%B6del
https://en.wikipedia.org/wiki/Turing_(programming_language)
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Turing_Award
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Turing_test
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Turing_completeness
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Turing_machine
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis
https://en.wikipedia.org/wiki/Alonzo_Church
https://en.wikipedia.org/wiki/Alan_Turing
https://en.wikipedia.org/wiki/Church_encoding
https://en.wikipedia.org/wiki/Alonzo_Church
https://en.wikipedia.org/wiki/Frege%E2%80%93Church_ontology
https://en.wikipedia.org/wiki/Gottlob_Frege
https://en.wikipedia.org/wiki/Alonzo_Church
https://en.wikipedia.org/wiki/Church%E2%80%93Rosser_theorem
https://en.wikipedia.org/wiki/Alonzo_Church
https://en.wikipedia.org/wiki/J._Barkley_Rosser
https://en.wikipedia.org/wiki/Kleene%E2%80%93Rosser_paradox
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/J._Barkley_Rosser
https://en.wikipedia.org/wiki/Kleene%E2%80%93Mostowski_hierarchy
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/Andrzej_Mostowski
https://en.wikipedia.org/wiki/Tarski%E2%80%93Kuratowski_algorithm
https://en.wikipedia.org/wiki/Alfred_Tarski
https://en.wikipedia.org/wiki/Kazimierz_Kuratowski
https://en.wikipedia.org/wiki/Kleene_star
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
Kleene cross
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/Kleene_algebra
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem
https://en.wikipedia.org/wiki/Bronis%C5%82aw_Knaster
https://en.wikipedia.org/wiki/Alfred_Tarski
https://en.wikipedia.org/wiki/Jackson_structured_programming
https://en.wikipedia.org/wiki/Michael_A._Jackson
https://en.wikipedia.org/wiki/Jackson_system_development
https://en.wikipedia.org/wiki/Michael_A._Jackson
https://en.wikipedia.org/wiki/Dijkstra%27s_algorithm
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
https://en.wikipedia.org/wiki/DJP_algorithm
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
https://en.wikipedia.org/wiki/Vojt%C4%9Bch_Jarn%C3%ADk
https://en.wikipedia.org/wiki/Robert_C._Prim
https://en.wikipedia.org/wiki/Kruskal%27s_algorithm
https://en.wikipedia.org/wiki/Joseph_Kruskal
https://en.wikipedia.org/wiki/Bor%C5%AFvka%27s_algorithm
https://en.wikipedia.org/wiki/Otakar_Bor%C5%AFvka
https://en.wikipedia.org/wiki/Dijkstra_Prize
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
https://en.wikipedia.org/wiki/Van_Wijngaarden_grammar
https://en.wikipedia.org/wiki/Adriaan_van_Wijngaarden
https://en.wikipedia.org/wiki/Van_Emde_Boas_tree
https://en.wikipedia.org/wiki/Peter_van_Emde_Boas
https://en.wikipedia.org/wiki/B%C3%B6hm's_language
https://en.wikipedia.org/wiki/Corrado_B%C3%B6hm
https://en.wikipedia.org/wiki/Dyck_language
https://en.wikipedia.org/wiki/Walther_von_Dyck
https://en.wikipedia.org/wiki/Dyck_word
https://en.wikipedia.org/wiki/Walther_von_Dyck
https://en.wikipedia.org/wiki/Ada_(programming_language)
https://en.wikipedia.org/wiki/Ada_Lovelace
https://en.wikipedia.org/wiki/Pascal_(programming_language)
https://en.wikipedia.org/wiki/Blaise_Pascal
https://en.wikipedia.org/wiki/Darwin_(programming_language)
https://en.wikipedia.org/wiki/Charles_Darwin
https://en.wikipedia.org/wiki/Darwin_(ADL)
https://en.wikipedia.org/wiki/Charles_Darwin
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
https://en.wikipedia.org/wiki/J._Roger_Hindley
https://en.wikipedia.org/wiki/Robin_Milner
https://en.wikipedia.org/wiki/Haskell_(programming_language)
https://en.wikipedia.org/wiki/Haskell_Curry
https://en.wikipedia.org/wiki/B%C3%B6hm-Jacopini_theorem
https://en.wikipedia.org/wiki/Corrado_B%C3%B6hm
https://dblp.org/pers/hd/j/Jacopini:Giuseppe
https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form
https://en.wikipedia.org/wiki/John_Backus
https://en.wikipedia.org/wiki/Peter_Naur
https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form
https://en.wikipedia.org/wiki/John_Backus
https://en.wikipedia.org/wiki/Peter_Naur
https://en.wikipedia.org/wiki/Semi-Thue_system
https://en.wikipedia.org/wiki/Axel_Thue
https://en.wikipedia.org/wiki/Prouhet%E2%80%93Thue%E2%80%93Morse_sequence
https://fr.wikipedia.org/wiki/Eug%C3%A8ne_Prouhet
https://en.wikipedia.org/wiki/Axel_Thue
https://en.wikipedia.org/wiki/Marston_Morse
https://en.wikipedia.org/wiki/Thue%E2%80%93Siegel%E2%80%93Roth_theorem
https://en.wikipedia.org/wiki/Axel_Thue
https://en.wikipedia.org/wiki/Carl_Ludwig_Siegel
https://en.wikipedia.org/wiki/Klaus_Roth
https://en.wikipedia.org/wiki/Postel%27s_law
https://en.wikipedia.org/wiki/Jon_Postel
https://en.wikipedia.org/wiki/Jonathan_B._Postel_Service_Award
https://en.wikipedia.org/wiki/Jon_Postel
https://en.wikipedia.org/wiki/Lindenmayer_system
https://en.wikipedia.org/wiki/Aristid_Lindenmayer
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
https://en.wikipedia.org/wiki/Haskell_Curry
https://en.wikipedia.org/wiki/William_Alvin_Howard
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence#Curry%E2%80%93Howard%E2%80%93Lambek_correspondence
https://en.wikipedia.org/wiki/Haskell_Curry
https://en.wikipedia.org/wiki/William_Alvin_Howard
https://en.wikipedia.org/wiki/Joachim_Lambek
https://en.wikipedia.org/wiki/Galois_connection
https://en.wikipedia.org/wiki/%C3%89variste_Galois
https://en.wikipedia.org/wiki/Partial_evaluation#Futamura_projections
http://fi.ftmr.info/|||Yoshihiko Futamura
https://en.wikipedia.org/wiki/Chomsky_hierarchy
https://en.wikipedia.org/wiki/Noam_Chomsky
https://en.wikipedia.org/wiki/Conway%27s_law
https://en.wikipedia.org/wiki/Melvin_Conway
https://en.wikipedia.org/wiki/Occam_(programming_language)
https://en.wikipedia.org/wiki/William_of_Ockham
https://en.wikipedia.org/wiki/Wirth%27s_law
https://en.wikipedia.org/wiki/Niklaus_Wirth
https://en.wikipedia.org/wiki/Euler_(programming_language)
https://en.wikipedia.org/wiki/Leonhard_Euler
https://en.wikipedia.org/wiki/Wirth%E2%80%93Weber_precedence_relationship
https://en.wikipedia.org/wiki/Niklaus_Wirth
https://dblp.org/pers/hd/w/Weber_0002:Helmut
https://en.wikipedia.org/wiki/Bird%E2%80%93Meertens_formalism
https://en.wikipedia.org/wiki/Richard_Bird_(computer_scientist)
https://en.wikipedia.org/wiki/Lambert_Meertens
https://en.wikipedia.org/wiki/CYK_algorithm
https://en.wikipedia.org/wiki/John_Cocke
http://dblp.org/pers/hd/y/Younger:Daniel_H=
https://en.wikipedia.org/wiki/Tadao_Kasami
https://en.wikipedia.org/wiki/Chomsky_normal_form
https://en.wikipedia.org/wiki/Noam_Chomsky
https://en.wikipedia.org/wiki/Greibach_normal_form
https://en.wikipedia.org/wiki/Sheila_Greibach
https://en.wikipedia.org/wiki/Kuroda_normal_form
https://en.wikipedia.org/wiki/Sige-Yuki_Kuroda
https://en.wikipedia.org/wiki/Earley_parser
https://en.wikipedia.org/wiki/Jay_Earley
https://en.wikipedia.org/wiki/Liskov_substitution_principle
https://en.wikipedia.org/wiki/Barbara_Liskov
https://en.wikipedia.org/wiki/Lehman%27s_laws_of_software_evolution
https://en.wikipedia.org/wiki/Manny_Lehman_(computer_scientist)
https://en.wikipedia.org/wiki/Mealy_machine
https://en.wikipedia.org/wiki/George_H._Mealy
https://en.wikipedia.org/wiki/Moore_machine
https://en.wikipedia.org/wiki/Edward_F._Moore
https://en.wikipedia.org/wiki/Moore%27s_law
https://en.wikipedia.org/wiki/Gordon_Moore
https://en.wikipedia.org/wiki/Richards_controller
Charles L. Richards
https://en.wikipedia.org/wiki/McNaughton%27s_theorem
http://dblp.org/pers/hd/m/McNaughton:Robert
https://en.wikipedia.org/wiki/Muller_automaton
https://en.wikipedia.org/wiki/David_E._Muller
https://en.wikipedia.org/wiki/B%C3%BCchi_automaton
https://en.wikipedia.org/wiki/Julius_Richard_B%C3%BCchi
https://en.wikipedia.org/wiki/Petri_net
https://en.wikipedia.org/wiki/Carl_Adam_Petri
https://en.wikipedia.org/wiki/Brzozowski_derivative
https://en.wikipedia.org/wiki/Janusz_Brzozowski_(computer_scientist)
https://en.wikipedia.org/wiki/Chomsky%E2%80%93Sch%C3%BCtzenberger_enumeration_theorem
https://en.wikipedia.org/wiki/Noam_Chomsky
https://en.wikipedia.org/wiki/Marcel-Paul_Sch%C3%BCtzenberger
https://en.wikipedia.org/wiki/Chomsky%E2%80%93Sch%C3%BCtzenberger_representation_theorem
https://en.wikipedia.org/wiki/Noam_Chomsky
https://en.wikipedia.org/wiki/Marcel-Paul_Sch%C3%BCtzenberger
https://en.wikipedia.org/wiki/Dershowitz%E2%80%93Manna_ordering
https://en.wikipedia.org/wiki/Nachum_Dershowitz
https://en.wikipedia.org/wiki/Zohar_Manna
https://en.wikipedia.org/wiki/Muller%E2%80%93Schupp_theorem
https://en.wikipedia.org/wiki/David_E._Muller
https://en.wikipedia.org/wiki/Paul_Schupp
https://en.wikipedia.org/wiki/Myhill%E2%80%93Nerode_theorem
https://en.wikipedia.org/wiki/John_Myhill
https://en.wikipedia.org/wiki/Anil_Nerode
https://en.wikipedia.org/wiki/Ogden%27s_lemma
http://dblp.org/pers/hd/o/Ogden:William_F=
https://en.wikipedia.org/wiki/Parikh%27s_theorem
https://en.wikipedia.org/wiki/Rohit_Jivanlal_Parikh
https://en.wikipedia.org/wiki/Dolev%E2%80%93Yao_model
https://en.wikipedia.org/wiki/Danny_Dolev
https://en.wikipedia.org/wiki/Andrew_Yao
https://en.wikipedia.org/wiki/Hamming_code
https://en.wikipedia.org/wiki/Richard_Hamming
https://en.wikipedia.org/wiki/Hamming_distance
https://en.wikipedia.org/wiki/Richard_Hamming
https://en.wikipedia.org/wiki/Damerau%E2%80%93Levenshtein_distance
https://en.wikipedia.org/wiki/Frederick_J._Damerau
https://en.wikipedia.org/wiki/Vladimir_Levenshtein
https://en.wikipedia.org/wiki/Jaccard_index
https://en.wikipedia.org/wiki/Paul_Jaccard
https://en.wikipedia.org/wiki/Gini_coefficient
https://en.wikipedia.org/wiki/Corrado_Gini
https://en.wikipedia.org/wiki/S%C3%B8rensen%E2%80%93Dice_coefficient
https://en.wikipedia.org/wiki/Thorvald_S%C3%B8rensen
https://www.lib.umich.edu/faculty-history/faculty/lee-raymond-dice|||Lee Raymond Dice
https://en.wikipedia.org/wiki/Levenshtein_distance
https://en.wikipedia.org/wiki/Vladimir_Levenshtein
https://en.wikipedia.org/wiki/Ackermann_function
https://en.wikipedia.org/wiki/Wilhelm_Ackermann
https://en.wikipedia.org/wiki/Ackermann_coding
https://en.wikipedia.org/wiki/Wilhelm_Ackermann
https://en.wikipedia.org/wiki/Ackermann_ordinal
https://en.wikipedia.org/wiki/Wilhelm_Ackermann
https://en.wikipedia.org/wiki/Ackermann_set_theory
https://en.wikipedia.org/wiki/Wilhelm_Ackermann
https://en.wikipedia.org/wiki/Linus%27s_Law
https://en.wikipedia.org/wiki/Linus_Torvalds
http://hackersays.com/0da6e0|||Eagleson's Law
https://en.wikipedia.org/wiki/Peter_S._Eagleson
https://en.wikipedia.org/wiki/Peter_principle
https://en.wikipedia.org/wiki/Laurence_J._Peter
https://en.wikipedia.org/wiki/Dilbert_principle
https://en.wikipedia.org/wiki/Dilbert
https://en.wikipedia.org/wiki/Hofstadter%27s_law
https://en.wikipedia.org/wiki/Douglas_Hofstadter
https://en.wikipedia.org/wiki/Parkinson%27s_law
https://en.wikipedia.org/wiki/C._Northcote_Parkinson
https://en.wikipedia.org/wiki/Parkinson%27s_law_of_triviality
https://en.wikipedia.org/wiki/C._Northcote_Parkinson
https://en.wikipedia.org/wiki/Wirth_syntax_notation
https://en.wikipedia.org/wiki/Niklaus_Wirth
https://en.wikipedia.org/wiki/Knuth%E2%80%93Morris%E2%80%93Pratt_algorithm
https://en.wikipedia.org/wiki/Donald_Knuth
https://en.wikipedia.org/wiki/James_H._Morris
https://en.wikipedia.org/wiki/Vaughan_Pratt
https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm
https://en.wikipedia.org/wiki/Donald_Knuth
http://www.mos-ak.org/Peter_Bendix/|||Peter Bendix
https://en.wikipedia.org/wiki/Von_Neumann_architecture
https://en.wikipedia.org/wiki/John_von_Neumann
https://en.wikipedia.org/wiki/Von_Neumann_cellular_automaton
https://en.wikipedia.org/wiki/John_von_Neumann
https://en.wikipedia.org/wiki/Von_Neumann_universal_constructor
https://en.wikipedia.org/wiki/John_von_Neumann
https://en.wikipedia.org/wiki/Von_Neumann_neighborhood
https://en.wikipedia.org/wiki/John_von_Neumann
https://en.wikipedia.org/wiki/Bertrand_(programming_language)
https://en.wikipedia.org/wiki/Bertrand_Russell
https://en.wikipedia.org/wiki/Babbage_(programming_language)
https://en.wikipedia.org/wiki/Charles_Babbage
https://en.wikipedia.org/wiki/Church_(programming_language)
https://en.wikipedia.org/wiki/Alonzo_Church
https://en.wikipedia.org/wiki/Hoare_logic
https://en.wikipedia.org/wiki/Tony_Hoare
https://en.wikipedia.org/wiki/Macaulay2
https://en.wikipedia.org/wiki/Francis_Sowerby_Macaulay
https://en.wikipedia.org/wiki/Orwell_(programming_language)
https://en.wikipedia.org/wiki/George_Orwell
https://en.wikipedia.org/wiki/Thue_(programming_language)
https://en.wikipedia.org/wiki/Axel_Thue
https://en.wikipedia.org/wiki/Markov%27s_principle
https://en.wikipedia.org/wiki/Andrey_Markov_Jr.
https://en.wikipedia.org/wiki/Markov_algorithm
https://en.wikipedia.org/wiki/Andrey_Markov_Jr.
https://en.wikipedia.org/wiki/Markov_chain
https://en.wikipedia.org/wiki/Andrey_Markov