C++ parser for the Numerical Transition System language
In the original NTS language, the following arithmetic term is ungramatical:
a[i+1]
Instead, we have modified the syntax for arithmetic terms ( is added and is modified).
::= | [ ] | | ( ) | [ ]
::= [ ] | [ ]