102 lines
1.3 KiB
CSV
102 lines
1.3 KiB
CSV
automata,512
|
|
states,476
|
|
algorithm,356
|
|
learning,301
|
|
testing,290
|
|
language,215
|
|
orbit,306
|
|
minimal,172
|
|
languages,157
|
|
model,145
|
|
implementation,142
|
|
sequences,138
|
|
deterministic,132
|
|
residual,132
|
|
proof,131
|
|
transition,128
|
|
output,126
|
|
equivariant,122
|
|
order,122
|
|
product,122
|
|
tree,121
|
|
function,118
|
|
input,118
|
|
queries,113
|
|
semantics,100
|
|
infinite,96
|
|
equivalence,94
|
|
method,92
|
|
software,92
|
|
structure,89
|
|
support,86
|
|
theory,83
|
|
alphabet,81
|
|
generators,81
|
|
time,77
|
|
construction,76
|
|
data,76
|
|
program,76
|
|
symmetry,89
|
|
ioco,62
|
|
representation,62
|
|
hypothesis,58
|
|
space,58
|
|
family,57
|
|
algebra,56
|
|
consistent,56
|
|
teacher,56
|
|
partition,53
|
|
action,52
|
|
relation,52
|
|
atoms,51
|
|
join,51
|
|
system,51
|
|
group,50
|
|
loop,50
|
|
counterexample,48
|
|
succinct,47
|
|
dimension,46
|
|
maps,46
|
|
complexity,45
|
|
canonical,44
|
|
characterisation,44
|
|
probabilistic,44
|
|
specification,44
|
|
fsm,42
|
|
nondeterministic,42
|
|
behaviour,40
|
|
observation,40
|
|
components,37
|
|
properties,35
|
|
formal,34
|
|
category,33
|
|
distribution,33
|
|
irreducible,33
|
|
monad,33
|
|
completeness,32
|
|
conformance,32
|
|
permutations,32
|
|
reachable,32
|
|
regular,31
|
|
unique,31
|
|
value,31
|
|
abstract,30
|
|
applications,30
|
|
control,30
|
|
derivatives,30
|
|
coalgebra,29
|
|
correct,28
|
|
minimisation,28
|
|
probability,28
|
|
compatible,27
|
|
experiments,27
|
|
library,27
|
|
power,26
|
|
research,26
|
|
isomorphism,25
|
|
rational,25
|
|
study,25
|
|
chain,24
|
|
interesting,24
|
|
bisimulation,23
|
|
functor,23
|