Добавил:

Studfiles2 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Санкт-Петербургский государственный электротехнический университет "ЛЭТИ"

Предмет:

Теория языков программирования

Файл:

Курсовой проект по дисциплине Формальные грамматики, языки и автоматы / Curs1 / ARVIN / KURS-ARV.DOC

Скачиваний:

Добавлен:

01.05.2014

Размер:

1.09 Mб

Скачать

☆

<<< < Предыдущая 12 / 82 3 4 5 6 7 8 > Следующая >>>

Пример работы преобразователя

ТАКТ 0

cостояние S

входная цепочка "main()" {"for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <PROGRAM>[]

выходная цепочка

функция перехода (S,"MAIN()",<PROGRAM>)=(S,<MAINBLOCK>,$)

ТАКТ 1

cостояние S

входная цепочка {"for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <MAINBLOCK>[]

выходная цепочка

функция перехода (S,{,<MAINBLOCK>)=(S,}<BODY>,$)

ТАКТ 2

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <BODY>}[]

выходная цепочка

функция перехода *(S,"FOR(",<BODY>)=(S,<CONT_BODY><DEFINE_CONSTANT>,$)

ТАКТ 3

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <DEFINE_CONSTANT><CONT_BODY>}[]

выходная цепочка

функция перехода *(S,"FOR(",<DEFINE_CONSTANT>)=(S,$,$)

ТАКТ 4

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT_BODY>}[]

выходная цепочка

функция перехода *(S,"FOR(",<CONT_BODY>)=(S,<CONT_CONT_BODY><CONT_BODY1>,$)

ТАКТ 5

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT_BODY1><CONT_CONT_BODY>}[]

выходная цепочка

функция перехода *(S,"FOR(",<CONT_BODY1>)=(S,<FOR>,$)

ТАКТ 6

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <FOR><CONT_CONT_BODY>}[]

выходная цепочка

функция перехода *(S,"FOR(",<FOR>)=(S,#"BEG GOTO END:"#;}<CONT_BODY>{<HEAD>,$

ТАКТ 7

cостояние S

входная цепочка "for(" a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BODY>}[]

выходная цепочка

функция перехода (S,"FOR(",<HEAD>)=(S,<CONT_HEAD><CONDITION1>,#" "#)

ТАКТ 8

cостояние S

входная цепочка a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <CONDITION1><CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT_C

выходная цепочка "" ""

функция перехода *(S,A,<CONDITION1>)=(S,#"="#<CONSTANT>"="<IDENTIFICATOR>,$)

ТАКТ 9

cостояние S

входная цепочка a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <IDENTIFICATOR>"="<CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};...

выходная цепочка "" ""

функция перехода *(S,A,<IDENTIFICATOR>)=(S,<CONT><CHAR>,$)

ТАКТ 10

cостояние S

входная цепочка a=0;a"<" 2;a+1")" {b=2;};}-|

магазин <CHAR><CONT>"="<CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>}...

выходная цепочка "" ""

функция перехода (S,A,<CHAR>)=(S,$,#A#)

ТАКТ 11

cостояние S

входная цепочка =0;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT>"="<CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};...

выходная цепочка "" ""A

функция перехода *(S,=,<CONT>)=(S,$,#" "#)

ТАКТ 12

cостояние S

входная цепочка =0;a"<" 2;a+1")" {b=2;};}-|

магазин "="<CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#.

выходная цепочка "" ""A"" ""

функция перехода (S,=,=)=(S,$,$)

ТАКТ 13

cостояние S

входная цепочка 0;a"<" 2;a+1")" {b=2;};}-|

магазин <CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CON

выходная цепочка "" ""A"" ""

функция перехода *(S,0,<CONSTANT>)=(S,<CONT_CONSTANT><NUMBER>,$)

ТАКТ 14

cостояние S

входная цепочка 0;a"<" 2;a+1")" {b=2;};}-|

магазин <NUMBER><CONT_CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};#"BEG GO

выходная цепочка "" ""A"" ""

функция перехода *(S,0,<NUMBER>)=(S,<CONT_NUMBER><DIGIT>,$)

ТАКТ 15

cостояние S

входная цепочка 0;a"<" 2;a+1")" {b=2;};}-|

магазин <DIGIT><CONT_NUMBER><CONT_CONSTANT>#"="#<CONT_HEAD>{<CONT_BOD

выходная цепочка "" ""A"" ""

функция перехода (S,0,<DIGIT>)=(S,$,#0#)

ТАКТ 16

cостояние S

входная цепочка ;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT_NUMBER><CONT_CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};#"B

выходная цепочка "" ""A"" ""0

функция перехода *(S,;,<CONT_NUMBER>)=(S,$,$)

ТАКТ 17

cостояние S

входная цепочка ;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT_CONSTANT>#"="#<CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"

выходная цепочка "" ""A"" ""0

функция перехода *(S,;,<CONT_CONSTANT>)=(S,$,$)

ТАКТ 18

cостояние S

входная цепочка ;a"<" 2;a+1")" {b=2;};}-|

магазин #"="#<CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BOD

выходная цепочка "" ""A"" ""0

функция перехода *(S,$,#"="#)=(S,$,#"="#)

ТАКТ 19

cостояние S

входная цепочка ;a"<" 2;a+1")" {b=2;};}-|

магазин <CONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BODY>}[]

выходная цепочка "" ""A"" ""0""=""

функция перехода (S,";",<CONT_HEAD>)=(S,<RCONT_HEAD>#"END JMP_F"#<CND2>#"BEG

ТАКТ 20

cостояние S

входная цепочка a"<" 2;a+1")" {b=2;};}-|

магазин #"BEG:"#<CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG GO

выходная цепочка "" ""A"" ""0""=""

функция перехода *(S,$,#"BEG:"#)=(S,$,#"BEG:"#)

ТАКТ 21

cостояние S

входная цепочка a"<" 2;a+1")" {b=2;};}-|

магазин <CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"

выходная цепочка "" ""A"" ""0""=""""BEG:""

функция перехода *(S,A,<CND2>)=(S,<CONT_CND2><IDENTIFICATOR>,$)

ТАКТ 22

cостояние S

входная цепочка a"<" 2;a+1")" {b=2;};}-|

магазин <IDENTIFICATOR><CONT_CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BOD

выходная цепочка "" ""A"" ""0""=""""BEG:""

функция перехода *(S,A,<IDENTIFICATOR>)=(S,<CONT><CHAR>,$)

ТАКТ 23

cостояние S

входная цепочка a"<" 2;a+1")" {b=2;};}-|

магазин <CHAR><CONT><CONT_CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>}

выходная цепочка "" ""A"" ""0""=""""BEG:""

функция перехода (S,A,<CHAR>)=(S,$,#A#)

ТАКТ 24

cостояние S

входная цепочка "<" 2;a+1")" {b=2;};}-|

магазин <CONT><CONT_CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG

выходная цепочка "" ""A"" ""0""=""""BEG:""A

функция перехода *(S,"<",<CONT>)=(S,$,#" "#)

ТАКТ 25

cостояние S

входная цепочка "<" 2;a+1")" {b=2;};}-|

магазин <CONT_CND2>#"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG GOTO

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""

функция перехода (S,"<",<CONT_CND2>)=(S,#"<"#<CONSTANT>,$)

ТАКТ 26

cостояние S

входная цепочка 2;a+1")" {b=2;};}-|

магазин <CONSTANT>#"<"##"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG G

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""

функция перехода *(S,2,<CONSTANT>)=(S,<CONT_CONSTANT><NUMBER>,$)

ТАКТ 27

cостояние S

входная цепочка 2;a+1")" {b=2;};}-|

магазин <NUMBER><CONT_CONSTANT>#"<"##"END JMP_F"#<RCONT_HEAD>{<CONT_B

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""

функция перехода *(S,2,<NUMBER>)=(S,<CONT_NUMBER><DIGIT>,$)

ТАКТ 28

cостояние S

входная цепочка 2;a+1")" {b=2;};}-|

магазин <DIGIT><CONT_NUMBER><CONT_CONSTANT>#"<"##"END JMP_F"#<RCONT_H

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""

функция перехода (S,2,<DIGIT>)=(S,$,#2#)

ТАКТ 29

cостояние S

входная цепочка ;a+1")" {b=2;};}-|

магазин <CONT_NUMBER><CONT_CONSTANT>#"<"##"END JMP_F"#<RCONT_HEAD>{<C

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2

функция перехода *(S,;,<CONT_NUMBER>)=(S,$,$)

ТАКТ 30

cостояние S

входная цепочка ;a+1")" {b=2;};}-|

магазин <CONT_CONSTANT>#"<"##"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2

функция перехода *(S,;,<CONT_CONSTANT>)=(S,$,$)

ТАКТ 31

cостояние S

входная цепочка ;a+1")" {b=2;};}-|

магазин #"<"##"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2

функция перехода *(S,$,#"<"#)=(S,$,#"<"#)

ТАКТ 32

cостояние S

входная цепочка ;a+1")" {b=2;};}-|

магазин #"END JMP_F"#<RCONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<""

функция перехода *(S,$,#"END JMP_F"#)=(S,$,#" END JMP_F"#)

ТАКТ 33

cостояние S

входная цепочка ;a+1")" {b=2;};}-|

магазин <RCONT_HEAD>{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BODY>}[

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""

функция перехода (S,";",<RCONT_HEAD>)=(S,")"<CONDITION3>,$)

ТАКТ 34

cостояние S

входная цепочка a+1")" {b=2;};}-|

магазин <CONDITION3>")"{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BODY

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""

функция перехода *(S,A,<CONDITION3>)=(S,<CONT_COND3><IDENTIFICATOR>,$)

ТАКТ 35

cостояние S

входная цепочка a+1")" {b=2;};}-|

магазин <IDENTIFICATOR><CONT_COND3>")"{<CONT_BODY>};#"BEG GOTO END:"#

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""

функция перехода *(S,A,<IDENTIFICATOR>)=(S,<CONT><CHAR>,$)

ТАКТ 36

cостояние S

входная цепочка a+1")" {b=2;};}-|

магазин <CHAR><CONT><CONT_COND3>")"{<CONT_BODY>};#"BEG GOTO END:"#...

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""

функция перехода (S,A,<CHAR>)=(S,$,#A#)

ТАКТ 37

cостояние S

входная цепочка +1")" {b=2;};}-|

магазин <CONT><CONT_COND3>")"{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CON

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A

функция перехода *(S,+,<CONT>)=(S,$,#" "#)

ТАКТ 38

cостояние S

входная цепочка +1")" {b=2;};}-|

магазин <CONT_COND3>")"{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT_BODY

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""

функция перехода (S,"+",<CONT_COND3>)=(S,#"+"#<R_EQUATION>,$)

ТАКТ 39

cостояние S

входная цепочка 1")" {b=2;};}-|

магазин <R_EQUATION>#"+"#")"{<CONT_BODY>};#"BEG GOTO END:"#<CONT_CONT

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""

функция перехода *(S,1,<R_EQUATION>)=(S,<CONT_R_EQUATION><CONSTANT>,$)

ТАКТ 40

cостояние S

входная цепочка 1")" {b=2;};}-|

магазин <CONSTANT><CONT_R_EQUATION>#"+"#")"{<CONT_BODY>};#"BEG GOTO E

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""

функция перехода *(S,1,<CONSTANT>)=(S,<CONT_CONSTANT><NUMBER>,$)

ТАКТ 41

cостояние S

входная цепочка 1")" {b=2;};}-|

магазин <NUMBER><CONT_CONSTANT><CONT_R_EQUATION>#"+"#")"{<CONT_BODY>}

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""

функция перехода *(S,1,<NUMBER>)=(S,<CONT_NUMBER><DIGIT>,$)

ТАКТ 42

cостояние S

входная цепочка 1")" {b=2;};}-|

магазин <DIGIT><CONT_NUMBER><CONT_CONSTANT><CONT_R_EQUATION>#"+"#")"{

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""

функция перехода (S,1,<DIGIT>)=(S,$,#1#)

ТАКТ 43

cостояние S

входная цепочка ")" {b=2;};}-|

магазин <CONT_NUMBER><CONT_CONSTANT><CONT_R_EQUATION>#"+"#")"{<CONT_B

выходная цепочка "" ""A"" ""0""=""""BEG:""A"" ""2""<"""" END JMP_F""A"" ""1

функция перехода *(S,")",<CONT_NUMBER>)=(S,$,#" "#)

ТАКТ 44

cостояние S

входная цепочка ")" {b=2;};}-|

магазин <CONT_CONSTANT><CONT_R_EQUATION>#"+"#")"{<CONT_BODY>};#"BEG G