[abc] found small mistake in the semantics

Hi.

Just to not confuse you right away, I wanted to let you know that I still found a minor mistake in the beginning of the definition of "pos".

There I said that we would be "passing in the initial configuration". This is not true. We pass in the current configuration, but rather store the result in the initial configuration (true,false,...,false). So instead of ...

pos(\gamma,\beta,s,t) := \gamma[t\mapsto c / t\mapsto \uline{pos(\gamma_0(s),\beta)}]

... the line must be ...

pos(\gamma,\beta,s,t) := \gamma_0[t\mapsto c / t\mapsto \uline{pos(\gamma(s),\beta)}]

I have an updated PDF attached. Sorry about that!

Eric

--
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada