|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 1 (17) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/29686
|
| Название: | Формализация операций переходов в управляющем автомате с операционным автоматом переходов |
| Другие названия: | Формалізація операцій переходів в керуючому автоматі з операційним автоматом переходів
Formalizanion of transitions operations for control automaton with operational automaton of transitions |
| Авторы: | Бабаков, Р.М.
Babakov, R.M. |
| Ключевые слова: | управляющий автомат
операционный автомат переходов
операция перехода
код состояния автомата
керуючий автомат
операційний автомат переходів
операція переходу
код стану автомата
control automaton
operational automaton of transitions
operation of transition
automaton state code |
| Дата публикации: | 2013 |
| Издатель: | ДонНТУ |
| Библиографическое описание: | Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка : збірник статей. Вип.1 (17) / ДВНЗ "ДонНТУ" ; редкол.: О.Є. Башков (голов. ред.) та ін. - Донецьк : ДонНТУ, 2013. |
| Аннотация: | В работе рассматриваются вопросы установления соответствий между операциями
переходов и состояниями управляющего автомата с операционным автоматом переходов.
Дается формальное представление операций перехода как математических функций с
ограниченной областью определения. Установлены сходства и различия между операциями условного и безусловного перехода с точки зрения правил сопоставления операций и состояний автомата. Решение данных вопросов является обязательным шагом на пути
разработки методики синтеза данного класса управляющих автоматов. |
| Описание: | In this article the questions of match making between operations of transitions and states of the control automaton with the operational automaton of transitions are considered. Operations of conditional and
unconditional transitions are considered. They can be implemented as mathematical functions for which a unique value corresponds to each set of arguments. It is shown that the quantity of various sets of arguments for operations of transition is the finite value that allows setting them in tabular view. For some values of state codes
operations of conditional and unconditional transitions can be not defined. If an operation of transition is not defined for each value of state codes its usage in the operational automaton of transitions is impossible. If an operation of transition is put in correspondence to some state it should realize all transitions of the given state which are present in a flow-chart. As the same operation of transition can be put in correspondence to more than one state of the flow-chart, then the greater is the quantity of states, to which this operation of transition can be
put in correspondence, the smaller is the number of various operations of transition in the automaton circuit.
Thus, decreasing of hardware expenses can be achieved. The circuit of operation of transition (both conditional and unconditional), besides hardware expenses, can be characterized by such parameters as operation time, power consumption, possibility of realization with standard library units of modern programmable logic devices, etc. It means, that not only the quantity of states, to which the given operation of transition is comparable,
influences the possibility of usage of this or that operation of transition as a part of the operational automat on of transitions, but also the correspondence of its circuit to designing requirements. The way of matching an operation of transition to an automaton state offered in this paper can be taken further as the basis for the method
of synthesis of a controlling automaton with operational automaton of transitions. |
| URI: | http://ea.donntu.org/handle/123456789/29686 |
| Располагается в коллекциях: | Випуск 1 (17)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
