| << Prev | - Up - |
Adaption of the recognizer/generator of the previous section to be able to deal with jump arcs.
It is very easy to adapt the recognizer/generator of the previous section to be able to deal with jump arcs. All we have to do is to specify that if an arc is labelled with '#', we can make a transition without doing anything to the input string. We do so by adding the following the following clause to the traverse/3 predicate:
traverse('#',String,String).| << Prev | - Up - |