Kernel: Python 3
automaton
.project
Create a copy of the automaton and keeping only the selected tape of the original automaton's label.
Preconditions:
the original automaton has tuple labels.
the tape number is smaller than the tuples' size.
Examples
In [1]:
In [2]:
In [3]:
In [4]:
In [5]:
If after the projection two transitions are equivalent, they are fused into one using the weightset's addition.
In [6]:
In [7]:
In [8]:
In [9]: