word-parse/output/uniwords.csv

1	automata	512
2	states	476
3	algorithm	356
4	learning	301
5	testing	290
6	language	215
7	orbit	306
8	minimal	172
9	languages	157
10	model	145
11	implementation	142
12	sequences	138
13	deterministic	132
14	residual	132
15	proof	131
16	transition	128
17	output	126
18	equivariant	122
19	order	122
20	product	122
21	tree	121
22	function	118
23	input	118
24	queries	113
25	semantics	100
26	infinite	96
27	equivalence	94
28	method	92
29	software	92
30	structure	89
31	support	86
32	theory	83
33	alphabet	81
34	generators	81
35	time	77
36	construction	76
37	data	76
38	program	76
39	symmetry	89
40	ioco	62
41	representation	62
42	hypothesis	58
43	space	58
44	family	57
45	algebra	56
46	consistent	56
47	teacher	56
48	partition	53
49	action	52
50	relation	52
51	atoms	51
52	join	51
53	system	51
54	group	50
55	loop	50
56	counterexample	48
57	succinct	47
58	dimension	46
59	maps	46
60	complexity	45
61	canonical	44
62	characterisation	44
63	probabilistic	44
64	specification	44
65	fsm	42
66	nondeterministic	42
67	behaviour	40
68	observation	40
69	components	37
70	properties	35
71	formal	34
72	category	33
73	distribution	33
74	irreducible	33
75	monad	33
76	completeness	32
77	conformance	32
78	permutations	32
79	reachable	32
80	regular	31
81	unique	31
82	value	31
83	abstract	30
84	applications	30
85	control	30
86	derivatives	30
87	coalgebra	29
88	correct	28
89	minimisation	28
90	probability	28
91	compatible	27
92	experiments	27
93	library	27
94	power	26
95	research	26
96	isomorphism	25
97	rational	25
98	study	25
99	chain	24
100	interesting	24
101	bisimulation	23
102	functor	23