Sie sind hier:
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 the respective classes of languages to the
Bereich: AG Theoretische Informatik