Computer science 6 Infinite word 6 Automata theory 4 Computability and decidability 4 Computable maps 4 Finite automata 4 Finite state 4 Finite state transducers 4 Finite-state automata 4 Infinite words 4 Metric spaces 4 Normal numbers 4 Normal sequences 4 Number theory 4 Problem solving 4 Set theory 4 Theorem proving 4 Topology 4 Turing machines 4 Agafonov's theorem 2 Auxiliary inputs 2 Compaction 2 Compression 2 Computer networks 2 Deterministic finite automata 2 Finite transducers 2 Independence 2 Infinite sequences 2 Lebesgue measure 2 Lossless 2