Sie sind hier:
This extension 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
Bereich: AG Theoretische Informatik