Sie sind hier:
of finite automata processes sequences of symbols that are labeled with vectors of natural numbers. Such a word is accepted if there is an accepting run in the automaton and the sum of the vectors lies in
Bereich: AG Theoretische Informatik