О Овсяк - Граматика мови текстового опису формул алгоритмів - страница 1

Страницы:
1 

. . II ³ . 2010. 15. 3. . 106-110. ( - 㳿).

004

. , ..

,

̲

. - ' ' . . . .

: , , , .

A. Ovsyak

GRAMMATICAL LANGUAGE TEXTUAL DESCRIPTION FORMULAS ALGORITHMS

The summary. For the record graphically-text formulas algorithms created in memory of a computer language grammar textual formulas algebra algorithms. The syntax and semantics described by means of algebra algorithms using operation sekventuvannya. The example was created using grammar to describe Euclid's algorithm formula. Established language grammar file provides a dynamic formula algebra algorithms.

Key words: grammatics, syntaxis, semantics, format.

. . ³ ' ', , . 㳿, , , - . . [1, 2, 3] [4, 5] . , . , . [1-5], , , , , - . ' ' - .

. ' , [6] [7], . , . , , , , .

. , .

ֲ-̲Ȳ ò

. .

. :

L = <?xml; #:v ;# ;z;#; ?> , <?xml - , , # - (), v - , z - , ?> -, ,

v B = version="1.0", version="1.1 ', . . . , version="X.Y",

z Z = encoding="utf8", encoding="utf16 ,

Ri = < ; root; > , < - - , root -  , > - ,

R2 = </; root; > , </ - - ,

Q = Wo; W1;... ; Wn-1, Wt = Vo; V1 ;... ; Vm-1 , i 0; 1;... ; n -1,

Vj M = S, E, P ; C, Ce, Cp, tTT^ , j 07TT. . . ; m - 1, S, E , P ; Cs, C, Cp, U - , ,

,  ,  ,

, , * - .

.

U = <; Uniterm ; # ; u ; # ; /> , uniterm - , u - (- ).

:

) , :

Si = < ; so ; # ; r ;#; o ; >

107

S2 = </; so; > ,

s0 = "sequence " - , r - , o ,

z R = "semicolon", "coma" , o O = "horizontal", "vertical" "semicolon" - , "coma" - , "horizontal" , "vertical" - . ) , :

Ei = < ; eo; # ; o; >

E2 = </; eo; > , eo = "elimination" - .

) , :

Pi = < ; po; # ; r ;#; o ; >

po = "parallelisation" - . ) , :

Csi = <~; ; o ; > ,

Cs2=<D; > ,

cs = "cyclic-sequence " - . ) , :

ce = "cyclic-elimination" - . ) , ^:

Cpi = <~Pp?#; o ; > ,

Cp2 = </^cp; > ,

ce = "cyclic-parallelisation" - .

:

)

) -

E = E^jWW};Wk, E2.

) ^ """^

P = PTTW^Wj; P2.

) _

C = CTJTTWg; # ; II]; # ; Cs:. )

ֲ-̲Ͳ ò

Ce = Ce1; # ; Wg; # ; W; # ; Ce2. )

Cp = (f^TfWg; # ; Wi; # ; Cp2,

Wg u , Wj = V0; V1 . . ; , j 0 ; 1;. . . ; k - 1. . [2]

fx

x<

^ ; Ki ; (xeN)-? '

( r!=o); K3 ; (x>y) - ?' ; K2 ; ()-? r=%(x, )

5

n=y; /=; (r=o) - ?

;

.

:

<?xml version = "1.0" encoding = "utf-8" ?> <root>

<sequence separator="semicolon" orientation = "vertical"> <uniterm>x^</uniterm> <elimination orientation = "horizontal"> <sequence separator="semicolon" orientation = "vertical"> <uniterm>y^</uniterm> <elimination orientation = "horizontal"> <elimination orientation = "horizontal"> <cyclic-sequence orientation = "vertical"> <uniterm>(r !=0)</uniterm>

<sequence separator="semicolon" orientation = "vertical"> <uniterm>r = %(x, y)</uniterm> <elimination orientation="horizontal"> <sequence separator="semicolon" orientation = "vertical"> <uniterm>x = y</uniterm> <sequence separator="semicolon"

orientation="vertical">

<uniterm>y = r</uniterm> <uniterm>C(r!=0)</uniterm> </sequence> </sequence> <uniterm> n=y </uniterm> <uniterm>(r ! = 0) - ?</uniterm> </elimination> </sequence> </cyclic-sequence>

<uniterm>K3</uniterm> <uniterm>(x>y)-?</uniterm> </elimination> <uniterm>K2</uniterm> ^^^) - ?</uniterm> </elimination> </sequence> <uniterm>Ki</uniterm> <uniterm>(xN)-?</uniterm> </elimination> </sequence> </root>

. . . , , ' . .

. i. . 2. ' ', . 3. '- C# Microsoft Visual Studio.NET.

. i. , ' ' ' . 2. .

˳

1. . / . // 쳿

. - i996. - 9. - C.83-89.

2. Owsiak W., Owsiak A., Owsiak J. Teoria algorytmow abstrakcyjnych i modelowanie matematyczne systemow informacyjnych / Owsiak W., Owsiak A., Owsiak J. - Opole: Politechnika Opolska, 2oo5. -275 s.

3. Ovsyak V.K. Computation models and algebra of algorithms / Ovsyak V.K. // . ³ " ". - 2oo8. - 62i. - .3 - i8.

4. Ovsyak V., Ovsyak O. The expansion of algebra of algorithms /Ovsyak V., Ovsyak O. // 4

̳ - "' 㳿 2oo9", 15-7 , 2oo9. - . - C24o-243.

5. Owsiak W., Owsiak A. Rozszerzenie algebry algorytmow /Owsiak W., Owsiak A. //Pomiary, automatyka, kontrola, 2. - S.i84-i88.

6. .. : . . . . . : . oi.o5.o2 " " / .. - , 2oo3. - i8 .

7. .. ϳ : . . . . . : . oi.o5.o2 " " / .. - ,

2oo8. - 2o .

02.06.2010 .

iio

Страницы:
1 


Похожие статьи

О Овсяк - Граматика мови текстового опису формул алгоритмів

О Овсяк - Класи інформаційної системи генерування коду

О Овсяк - Моделі інформаційних технологій видалення, формування xml-опису і деселекції операції секвентування

О Овсяк - Засобами розширеної алгебри алгоритмів описано моделі рекурсії та рекуренції, наведено приклади їхнього використання

О Овсяк - Модель інформаційної технології опрацювання формул алгоритмів