Дескрипція автоматів їхньою поведінкою
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Дескрипція автоматів їхньою поведінкою
Automata characterisation through behaviour |
|
| Creator |
Грунський, І.С.
Козловський, В.А. |
|
| Subject |
скінченний автомат
експеримент визначальне співвідношення finite automation experiment defining relation |
|
| Description |
Розглянуто деякі питання дескрипції автоматів, у першу чергу, фрагментами поведінки. Наведено умови існування контрольних експериментів та ідентифікаторів станів автомата. Для систем визначальних співвідношень, якими може бути заданий автомат, вказано метричні характеристики, вказано зв'язок між визначальними співвідношеннями і контрольними експериментами. Для експериментів з груповими автоматами наведено точні оцінки складності таких експериментів.
Certain problems of automata description are considered, first and foremost with behavior fragments. Existence conditions for checking experiments and automaton's stare identifiers are given. Metric characterisation of the systems of automaton's defining relations is given, a link between checking experiments and defining relations is established. The exact complexity estimations for experiments with group automate are given. |
|
| Date |
2012-05-02T18:41:45Z
2012-05-02T18:41:45Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Грунський І.С. Дескрипція автоматів їхньою поведінкою / І.С. Грунський, В.А. Козловський // Вісник Київського національного університету імені Тараса Шевченка. Серія «Фізико-математичні науки». – 2011. – №1. – С. 108-114
УДК 519.7 http://ea.donntu.edu.ua/handle/123456789/12994 |
|