HoldFast, в общем, есть у меня идеи, буду их потихоньку распространять сюда. Потом отпишусь, когда доделаю.

Этап 1.1

Этап 1.1

Сначала я хочу преобразовать вещи вида 10 operators : GOTO 20 — то есть безусловный переход. Просматривая листинг сверху вниз делаем следующее:

[копировать] [скачать]

1. 70 PRINT "стекло":GOTO 90   # линейный переход
2. 80 PRINT "пальцы":R=1:GOTO 40
3. 90 IF K=0 THEN K=1:GOTO 30
4.  
5.  
6. 70 PRINT "стекло"           # GOTO заменяем на 90 строку
7. IF K=0 THEN K=1:GOTO 30    
8. 80 PRINT "пальцы":R=1:GOTO 40   # не на 90 строку
9. 90 IF K=0 THEN K=1:GOTO 30  # недостижимый код, никогда не выполнится

Строку 90 можно удалить, на него нет GOTO, и поток выполнения не перейдет к этой строке.


На самом деле более общая замена GOTO 90 должна быть на блок от 90 строки до конца кода, но так как в 90 строке стоит GOTO 30 (30 < 90), то весь остальной код можно обрезать.

Итак, имеем:

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. 20 IF Y=0 THEN GOTO 100
3. 30 PRINT "как шоколад в руке"
4. 40 IF Y=1 AND K=1 AND R=0 THEN GOTO 80
5. 50 IF Y=1 AND K=1 AND R=1 THEN GOTO 110
6.  
7. 70 PRINT "стекло"
8. IF K=0 THEN K=1:GOTO 30
9. 80 PRINT "пальцы":R=1:GOTO 40
10.  
11. 100 Y=1:GOTO 70
12. 110 PRINT "не могут прикоснуться к тебе"
13. 120 REPAINT:SLEEP 5000

Этап 1.2

Этап 1.2

После того как я удалил GOTO в 70 строке, мне хочется сделать то же самое и в 80 строке, там тоже безусловный переход:

[копировать] [скачать]

1. 30 PRINT "как шоколад в руке"
2. 40 IF THEN ...
3. 50 IF THEN ...
4. 70 IF THEN ...
5. 80 PRINT "пальцы":R=1:GOTO 40
6.  
7.  
8. 30 PRINT "как шоколад в руке"
9. while (true) {
10. 40 IF THEN ...
11. 50 IF THEN ...
12. 70 IF THEN ...
13. 80 PRINT "пальцы":R=1
14. }

То есть если у нас обычная последовательность операторов (то есть GOTO не указывает в блок цикла, условия), и при этом GOTO стоит позже того места, куда он указывает (40 ...; 80 GOTO 40), то заменяем на цикл.

Имеем:

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. 20 IF Y=0 THEN GOTO 100
3. 30 PRINT "как шоколад в руке"
4. while (true) {
5.     40 IF Y=1 AND K=1 AND R=0 THEN GOTO 80
6.     50 IF Y=1 AND K=1 AND R=1 THEN GOTO 110
7.  
8.     70 PRINT "стекло"
9.     IF K=0 THEN K=1:GOTO 30
10.     80 PRINT "пальцы":R=1
11. }
12.  
13. 100 Y=1:GOTO 70
14. 110 PRINT "не могут прикоснуться к тебе"
15. 120 REPAINT:SLEEP 5000

Этап 1.3

Этап 1.3

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

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. if (Y != 0) {       # можем заменить if.
3.     30 PRINT "как шоколад в руке"
4.     while (true) {
5.         40 IF Y=1 AND K=1 AND R=0 THEN GOTO 80
6.         50 IF Y=1 AND K=1 AND R=1 THEN GOTO 110
7.  
8.         70 PRINT "стекло"
9.         IF K=0 THEN K=1:GOTO 30
10.         80 PRINT "пальцы":R=1
11.     }
12. }
13. 100 Y=1:GOTO 70
14. 110 PRINT "не могут прикоснуться к тебе"
15. 120 REPAINT:SLEEP 5000

1.4

1.4

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. if (Y != 0) {       # можем заменить if.
3.     30 PRINT "как шоколад в руке"
4.     while (true) {
5.         if (! (Y==1 & K==1 & R==0) ) {  # можем заменить это
6.             50 IF Y=1 AND K=1 AND R=1 THEN GOTO 110
7.  
8.             70 PRINT "стекло"
9.             IF K=0 THEN K=1:GOTO 30
10.         }
11.         80 PRINT "пальцы":R=1
12.     }
13. }
14. 100 Y=1:GOTO 70
15. 110 PRINT "не могут прикоснуться к тебе"
16. 120 REPAINT:SLEEP 5000

1.5

1.5

Применим трансформацию, вынесем goto из if.

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. if (Y != 0) {      
3.     30 PRINT "как шоколад в руке"
4.     while (true) {
5.         if (! (Y==1 & K==1 & R==0) ) {  
6.             [bool] goto_50_110 = (Y==1 & K==1 & R==1);
7.             if (!goto_50_110) {     # заменили GOTO 50, выходим из условия
8.                 70 PRINT "стекло"
9.                 IF K=0 THEN K=1:GOTO 30
10.             }
11.         }
12.         if (goto_50_110) then goto 110  # вынесли GOTO 50 сюда
13.         80 PRINT "пальцы":R=1
14.     }
15. }
16. 100 Y=1:GOTO 70
17. 110 PRINT "не могут прикоснуться к тебе"
18. 120 REPAINT:SLEEP 5000

Далее вынесем goto из цикла:

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. if (Y != 0) {      
3.     30 PRINT "как шоколад в руке"
4.     while (true) {
5.         if (! (Y==1 & K==1 & R==0) ) {  
6.             [bool] goto_50_110 = (Y==1 & K==1 & R==1);
7.             if (!goto_50_110) {    
8.                 70 PRINT "стекло"
9.                 IF K=0 THEN K=1:GOTO 30
10.             }
11.         }
12.         if (goto_50_110) break; {  # вынесли из while и из if'a (дальше нет операторов).
13.  
14.         80 PRINT "пальцы": R=1
15.     }
16. }
17. if (goto_50_110) then goto 110
18.  
19. 100 Y=1:GOTO 70
20. 110 PRINT "не могут прикоснуться к тебе"
21. 120 REPAINT:SLEEP 5000

Вынесем из if'a:

[копировать] [скачать]

1. 10 Y=0:K=0:R=0
2. if (Y != 0) {      
3.     30 PRINT "как шоколад в руке"
4.     while (true) {
5.         if (! (Y==1 & K==1 & R==0) ) {  
6.             [bool] goto_50_110 = (Y==1 & K==1 & R==1);
7.             if (!goto_50_110) {    
8.                 70 PRINT "стекло"
9.                 IF K=0 THEN K=1:GOTO 30
10.             }
11.         }
12.         if (goto_50_110) break;   # вынесли из while и из if'a (дальше нет операторов).
13.  
14.         80 PRINT "пальцы": R=1
15.     }
16. }
17. if (goto_50_110) then goto 110
18.  
19. 100 Y=1:GOTO 70
20. 110 PRINT "не могут прикоснуться к тебе"
21. 120 REPAINT:SLEEP 5000

Следующим шагом заменим обычный if (cond) goto 110; ... 110 PRINT.

[копировать] [скачать]

1. if (!goto_50_110) {
2. 100 Y=1:GOTO 70
3. }
4. 110 PRINT "не могут прикоснуться к тебе"
5. 120 REPAINT:SLEEP 5000

Открыть спойлер

Закрыть спойлер

[копировать] [скачать]

1. int Y = 0, K = 0, R = 0;
2.  
3. if (Y != 0) {      
4.     30 PRINT "как шоколад в руке"
5.     while (true) {
6.         if (! (Y==1 & K==1 & R==0) ) {  
7.             [bool] goto_50_110 = (Y==1 & K==1 & R==1);
8.             if (!goto_50_110) {    
9.                 70 PRINT "стекло"
10.                 IF K=0 THEN K=1:GOTO 30   # Вот это нужно пропустить вниз, после while.
11.             }
12.         }
13.         if (goto_50_110) break;
14.         print("пальцы"); R = 1;
15.     }
16. }
17. if (!goto_50_110) {
18.     Y = 1;
19.     GOTO 70;  # Вот это нужно закинуть наверх, перед if.
20. }
21. print("не могут прикоснуться к тебе");
22. repaint(5000);

Открыть спойлер

Закрыть спойлер

[копировать] [скачать]

1. if (Y != 0) {      
2.     30 PRINT "как шоколад в руке"
3.     while (true) {
4.         if ( .. ) {  
5.             [bool] goto_50_110 = ( ... );
6.             if (!goto_50_110) {    
7.                 70 PRINT "стекло"
8.  
9.                 [bool] goto_70_30 = (K == 0);
10.                 if (!goto_70_30) { }
11.             }
12.         }
13.         if (goto_50_110) break;
14.         if (goto_70_30) break;
15.         ...
16.     }
17.     GOTO 30;
18. }
19. ...

1. 30 PRINT "..."
2. ...
3. GOTO 30
4. ###
5. while (true) {
6.     30 PRINT "..."
7.     ...
8. }

Остаётся прокинуть GOTO 70 наверх перед циклом, там дальше есть способы, которые позволяют просунуть его в цикл, в условия.

HoldFast, А сударь знает толк в извращениях.

Ну человек то может к этому привести, а парсер как сделать? Целый ai

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

А кстати, как там обстоят дела с MBasic? Синтаксическое дерево строится, не? Можно сорцы глянуть?

Беспроигрышный варик

HoldFast, та ну? А переполнение стека?

Ну.. Разбить на классы можно

Хватит страдать фигнёй

HoldFast (17.11.2014/11:57)Беспроигрышный варик мне это больше нравится

Ксакеп, гляди сорцы, кто запрещает? ПП