Здравствуйте, AVC, Вы писали:

AVC>Здравствуйте, Дон Рэба, Вы писали:

AVC>Т.е. (локальных) массивов нет?

Мне только динамическое выделение памяти хотелось исклюлчить. Наличие или отсутствие фисксированного размера локальных массивов не влияет на выразительность, поэтому можно использовать их и итерацию. А вот alloca и тому подобное, это уже жульничество.

Мне кажется, эта задача нерешаема, но я пока не понимаю как это доказать. Думаю о приведении к ругулярным выражениям — там есть похожие задачи с доказательствами.