Есть скрипт, к примеру такой
авторIF POS0==POS1 THEN FLG3=0;
IF POS0>POS1 THEN VAR2=(POS0-POS1) FLG3=1;
IF POS1>POS0 THEN VAR2=(POS1-POS0) FLG3=2;

IF FLG3>0 THEN VAR4=(VAR2*PWMDEL0);

Прежде чем загружать его в микроконтроллер я хочу проверить валидность на уровне синтаксиса что IF не в середине а THEN не в начале, и THEN1, THUN это не правильно и 0.1.02 это не валидное число и POS, VAR находяться в списке разрешенных переменных.
В С я лексером иду чар-чар, разбиваю на токены и так далее, долгая муторная работа. Можно как то красиво это сделать в С#?

1 пункт - это как? что такое БНФ?