реходов посредством структурных операторов, то он может применяться для преобразования программ, написанных на Си. В этом случае его действие ограничит использование операторов GOTO переходами лишь в объемлющие блоки. Подобный стиль программирования является предпочтительным по сравнению с использованием операторов перехода безо всяких ограничений.

Следует отметить, что при отказе от использования оператора GOTO возникают издержки в производительности. Однако подобные издержки неизбежны, что связано с необходимостью эмулировать механизм переходов.

В результате применения описанного алгоритма императивная часть исходной программы станет строго структурированной. Автоматический анализ таких программ проводить значительно легче, существенно упрощается написание их анализаторов. Таким образом, предложенный алгоритм может стать необходимой составной частью любого транслятора.

Указатель литературы

1.Dijkstra E. W. Go to statement considered harmful Comm. ACM. 1968. Vol. 11. N 3. P. 147-148.

2.Kernighan B.W., Ritchie D.M. The C Programming Language. Englewood Cliffs, New Jersey: Prentice-Hall, 1978. 274 p.

3.Gosling J., Joy B., Steele G. The Java Language Specification. Reading: Addison-Wesley, 1996. 825 p.

4.Erosa A., Hendren L. Taming control flow: a structured approach to eliminating Goto statements Proc. of the 1994 IEEE International Conference on Computer Languages. IEEE Computer Society, 1994. P. 229-240.