Всё это из теории автоматов и формальных языков. Нужно посторить синтаксический анализатор для цепочек автоматного языка вида:
http://s46.radikal.ru/i113/0910/c8/7b2bb567b15f.jpg (собственно, тут и всё задание:))
Обозначения:
< ... > - нетерминал;
::= - разделитель левой и правой частей правил и обозна¬ча¬ет: “это есть” или “состоит из”;
[ ... ] - факультативный (необязательный) элемент;
{ ... } - итерация, т.е. элемент повторяется 0 или более раз;
? ... ¦ ... ¦ ... ? - альтернативы;
По заданию нужно построить граф состояний, потом анализатор. По графу я построить смогу, но он делается для автоматных грамматик, а эта вроде контекстно-свободная.