Построить грамматику, задающую язык

Построить грамматику, задающую язык, состоящий из цепочек, начинающихся символом $ и заканчивающуюся символом &, между которыми расположена не пустая последовательность знаков + или – , не содержащих двух одинаковых символов, стоящих рядом.

Примеры: $-+&, $+&, $+-+-+&.

Построить диаграмму состояний для конечного автомата, распознающего этот язык.

Выполнить программную реализацию.

Для вопросов ICQ (в контактах).