Schlagwörter
finite automata, picture languages, language equations, distributed synthesis, infinite-state systems, synchronous automata, automata on infinite words, self-similar groups, synchronizing automata, model-checking, timed automata, Cobham’s theorem, road colouring problem, free groups, finite transducers, Boolean circuits, profinite topology, fractal image generation, Markov decision processes, regular languages, algorithmic learning, varieties of languages, automatic groups, descriptive set theory, regular expressions, automata on trees, symbolic dynamics, equational theories, weighted automata, recursion schemes, branching time logic, temporal logic, descriptional complexity, finite model theory, numeration systems, forest algebras, quantum finite automata, Stallings automata, Hopcroft’s algorithm, automatic sequences, communicating automata, Church’s problem, natural language processing