Annotated machine grammar