Sie sind hier:
word is accepted if there is an accepting run in the automaton and the sum of the vectors lies in a given semi-linear set. In the first part, we study PA where the size of the vectors is bounded and compare
Bereich: AG Theoretische Informatik