языки и грамматика не хватает одного условия в программе

[pizhon1]

Вообщем программа должна выдавать YES если текст например такого вида z=c*b если не такого вида(вместо z может быть x или y,и любая комбинация -+*с буквами a,b,c)то должен выдавать ошибку,но вот у меня если я введу =с*b или c*b или *b или b ошибку не выдаёт надо где то условие поставить не могу понять где?

type AutoState=(AH,AK,AP,AT,AR,AuS,AE);
var i:byte;InputSt:string;
function ErrorCode(InputSt:string):byte;
var i:byte;Istate:AutoState;
begin
i:=length(InputSt);
Istate:=AH;
repeat
case Istate of
AH:if InputSt[i] in ['a,b,c'] then begin IState:=AK;
dec(i) end else Istate:=AE;
AK:if InputSt[i] in ['+,-,*'] then begin IState:=AP;
dec(i) end else Istate:=AE;
AP:if InputSt[i] in [a,b,c] then begin IState:=AT;
dec(i) end else Istate:=AE;
AT:if InputSt[i] in ['='] then begin IState:=AR;
dec(i) end else Istate:=AE;
AR:if InputSt[i] in ['x,y,z'] then begin IState:=AuS;
dec(i) end else Istate:=AE;
end;
AuS:if i<>1 then IState:=AE else i:=0;
end;
until(i=0) or (IState=AE);
ErrorCode:=i;
end;
begin
readln(InputSt);
If ErrorCode(InputSt)<>0 then writeln('Error at pos',ErrorCode(InputSt)) else writeln('YES');
readln;
end.
end.

Замечание модератора: Используйте тег [CODE]

[Utkin]

У тебя не предусмотрены пробелы? То есть z = a + b даст ошибку?
Я бы разбил выражение на z и a+b через pos по знаку равно. Тогда твоя логика существенно упростилась, а скорость работы бы изменилась незначительно.
Низкоуровневое посимовльное сканирование оно конечно элегантно и быстро, но понятности не добавляет и время на отладку уйдет больше, чем разбитие выражений на более осмысленные блоки.