behavioral syntax analysis based on the paper of Andre Brown - View it on GitHub