4. Сопоставьте левую и получились предложения:

• That is why, the sort of programming

• These methods are

• In recent years great attention has been

• This method

• Automata in such a system

• So the process of software

правую колонки так, чтобы

• paid to the development of the technology of programming for the embedded systems and real­time systems.

• could be considered as a type of synchronous programming.

• creation could be named “automata software design”.

• which is based on this term was called “automata-based programming” in paper.

• can interact by nesting, by calling ability and with the help of state numbers inter change.

• based on the giving specifica­tion for the developing project with the help of set of connected transition graphs.

4. Найдите в тексте предложения, содержащие ниже­следующие слова и выражения:

• a technology of programming

• synchronous programming

• a software development

• computing devices

• a searing mode

• input actions

• an automata system

• standard facilities

• a computing system

4. Закончите предложения:

• These system have ...

• Nowadays a technology is been ...

• The term event in the programming has been ...

• In work formal methods ...

• These methods are based ...

• ... it is based on the created program.

4- This paper describes ...

• ... which contains meaningful identifiers and comments.

• Any drawn up protocol could be ...

• This project had been ...

4. Определите истинность или ложность следующих предложений:

• This methods could be considered as a type of synchronous programming.

• That is why the sort of programming, which is based on this term was called “state-based programming” in paper.

• That is why the technology of “state-based programming” in paper was called as “switch-technology”.

• So this king of programming was called as “state-based programming”.

• After addition of the term “output action”, the term “input action” could be brought in.

• Using offered approach, programming is to be performed using the concept of “state” and of “flag variables”.

• Henceforward described approach was evolved by N. I. Tukkel developing systems for microcontrollers.

• In automata-based programming protocols will be build automatically at the real-time.

4. Составьте предложения:

• Event, the, the, has, term, in, used, been, programming,

and, wider, in, programming.

• The, after, of, term, “automaton”, brought, be, addition,

“output action”, the, term, could,in.

• This, been, for, project, system, had, with, ix86 architecture, implemented, computing.

• Of, is, advantage, that, may, all, technology, be, personal, on, automata, design, done, using, computer.

4. Преобразуйте следующие предложения в вопроси­тельную и отрицательную форму:

• In recent years a great attention has been paid to the development of the technology of programming for the embedded systems and real-time systems.

• The process of software creation could be named “automata software design”.

• This allows to introduce in programming the term “program observability”.

• It allows to understand and specify the task and its parts better.

4- The technology of “automata-based programming” in paper was called as “Switch-technology”.

• In 1996 Russian Fund for Fundamental Investigations in the context of publishing project № 96-01-14066.

• Henceforth automata approach was spread to the event- based (reactive) systems.

• Last type of interaction is described in work.

• Last property allows to verify the propriety of automata system functioning.

• Logging is performed automatically.

• This mechanism could be also used for large scale tasks.

• Mentioned system was specified with help of more than thirteen interacting automata.

• These documents replace self documenting programs.

• This project had been implemented for computing system with architecture ix86.