И так мне нужно задать такие операторы
отрицание - (&)
коньюнкция - (>)
дизюнкция - (<)
еквиваленция - (=)
импликация - (_)
так чтобы они могли состыковатся с буквами только таким способом:
Если у нас буквы X,Y
(&X), (X>Y), (X<Y),(X=Y),(X_Y).
Также чтоб могли состыковатся теперь эти скобки между собой( таким же способом), только представьте что эти скобки это наши буквы.И скобки по краям тоже обязательны.
Но чтоб если гдето не хваало скобки,
&X), или (&X)>Y)
или операторы состыковывались между собой например вот так
(X_=Y),
ещё оператор & , не может соеденять 2 буквы, он работает только с 1 , тоесть выражение вида:
(X&Y) должно выдать ошибку.
А выражение вида :
(X>(&Y)) уже должно пройти без ошибок.
Тоесть,
1 что надо сделать……., это написать программу которая определяет что кол-во открывшихся = колву закр. скобок( но это легко, и давно сделано)
2 что надо сделать……., это чтоб программа выдавала ошибку при соеденении 2и более операторов например (X>=Y)( вот это я уже не знаю как реализовать)
3 что надо сделать………. Это чтоб Оператор & выдавал ошибку если он состыкует 2 переменные.
По сути дела мне надо определить является ли заданая функция ФАВ или нет, если вы не поняли моего обьяснения, то вот можно скачать методичку, где более подробно описывается что можно делать а что нельзя http://fmponmu.narod.ru/metodichki/odm.exe