ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.06.2024
Просмотров: 104
Скачиваний: 0
31. К у р м ит А. А.— Автоматика и вычислительная техника, 1969, 1.
32.Л е т и ч е в с к и й А. А.— Кибернетика, 1965, 1.
33.М у р Э. Ф.— В кн.: Автоматы. ИЛ, М., 1956.
34.М у ч н и к А. А.— В кн.: Проблемы кибернетики. Вып. 20. «Наука». М., 1968.
35. |
П р о х о р о в Ю. В., |
Р о з а н о в Ю. А. Теория вероятностей. «Наука», |
|||
36. |
М., 1967. |
О. М., |
С к о т т Д.— В кн.: Кибернетический сборник. Вып. 4. |
||
Р а б и н |
|||||
37. |
ИЛ, М., |
1962. |
Л. А. |
Элементы теории структур. «Наука», М., |
1970. |
С к о р н я к о в |
|||||
38. |
С п е р а н с к и й |
Д. В.— Кибернетика, 1971, 6. |
1969, 3. |
||
39. |
С п и в а к М. А.— Известия АН СССР. Техническая кибернетика, |
40.С п и в а к М. А.— В кн.: Кибернетика (Донецкое отделение). Вып. 2. Изд. Ин-та кибернетики АН УССР, К-, 1969.
41.С п и в а к М. А.— В кн.: Кибернетика (Донецкое отделение). Вып. 2. Изд. Ин-та кибернетики АН УССР, К-, 1968.
42.С п и в а к М. А. Введение в абстрактную теорию автоматов. Изд-во Сара товского университета, 1970.
43.С її н в а к М. А.— В кн.: Труды семинара по теоретическим и практическим вопросам кибернетики. Теория автоматов. КДНТП, К-, 1963.
44. Т р а х т е н б р о т Б. А., Б а р з д и н ь Я- М. Конечные автоматы (по ведение и синтез). «Наука», М., 1970.
45.Ф е л л е р В. Введение в теорию вероятностей и ее приложения. ИЛ, М., 1952.
46. |
X и б б а р д |
Т. Н.— В кн.: Кибернетический сборник. Вып. 2. ИЛ, М., |
|
47. |
1966. |
Комбинаторика. «Мир», М., 1970. |
|
Х о л л М. |
|||
48. |
Ч е г и с И. А., Я б л о н с к и й |
С. В.— В кн.: Труды Института им. Стек- |
|
49. |
лова. Изд-во АН СССР, 1958, 51. |
|
|
Ш р е й д е р |
Ю. А.— Кибернетика, 1970, 2. |
||
50. |
Ш р е й д е р |
Ю. А. Равенство, сходство, порядок. «Наука», М., 1971. |
|
51. |
B a r n e s В. |
Н . , F i t z g e r a l d |
J . М.— J . Assoc. Comput. Mach., 1967, 14, 4. |
52. В a v e 1 Z.— Proc. Annual Symp. on Switeh. Circuits Th. and Logic. Design. New York, N. Y., IEEE Inc., 1964.
53- B e l l m a n R., K a l a b a R., Z a d e h Z. A.— Math. Anal. Appl., 1966, 13.
54.C e r n y J . — Mat.— lyz. casop., 1964, 14, 3.
55.E v e n Sh.— IEEE Trans., vol. IT — 10, 1964, 3.
56.E v e n Sh.—IEEE Trans., vol. EC — 14, 1965, Aug.
57.G a g 1 і а г d і R. M . — Joint Automat. Control Coni., Rensselaer Polytechn. Inst (Troy, N. Y), 1965. Preprints papers.
58.G о n e n с G.— IEEE Trans., vol. C—19, 1970, 7.
59.G г а у J . N.. H a r r i s o n M . A.— Inform, and Control, 1966, 9, 5.
60. H a r t m a n і s J . , S t e а г n s R. E. Algebraic structure theory of sequen tial machines. Prentice — Hall, Inc., 1966.
61.H e n n і e F. C— Proc. Annual Symp. on Swich. Circuits Th. and Logic. De sign. New York, N. Y., IEEE Inc., 1964.
62.H u f f m a n D. A.— IRE Trans., vol. CT—6 (spec, suppl.), 1959.
63.К і m eC. R.— IEEE Trans., vol. EC—16, 1967, 4, R67—47.
64.К і m e C. R.— IEEE Trans., vol. EC —15, 1966, 1.
65.К о h a v і I . , К o>h a v і Z.— IEEE Trans., vol. C—17, 1968, 8.
66. |
К о h a v і Z., L a v a 1 e e |
P.— IEEE Trans., vol. C—16, 1967, 4. |
67. |
N e w b o r n M. M — IEEE |
Trans., vol. C—17, 1968, 1. |
68. |
P о a ge J . F., M с С 1 u s k e у E. J . — Proc. Annual Symp. on Swich. Cir |
|
69. |
cuit Th. and Logic. Design. Now York, N. Y., IEEE Inc., 1964. |
|
R o z e n k r a n t z D . J . — IEEE Trans., vol. EC—15, 1966, 1. |
70.S t а г k e P. H . — Z. math. Logik und Grundl. Math., 1967, 13, 1.
71.W a n g К- C — Proc. 7 th Ann. Allerton Conf. Circuits and System Scie. Monticello, 111, 1969, 4.
72.Z a d e h L. A.— Proceedings of the Symposium on system theory. Politechnic Institute of Brooklyn. New York, 1965.
73.Z a d e h L. A.— Inform, and Control, 1965, 8.
О г л а в л е н и е
Предисловие |
|
|
3 |
|
Введение. Предварительные сведения по теории эксперимен |
|
|||
тов с автоматами |
|
5 |
||
|
1. |
Основные |
понятия |
5 |
|
2. |
Основные |
результаты |
8 |
Г л а в а |
1. Контрольные эксперименты |
16 |
||
|
1.1. Контроль |
переходов автомата |
17 |
|
|
1.2. Процедуры построения контрольных после |
|
||
|
|
довательностей |
20 |
|
|
1.3. Примеры |
приведенных процедур |
26 |
|
|
1.4. Минимальные процедуры |
30 |
1.5.Контрольный эксперимент с автоматом, име ющим периодические диагностические пос
|
ледовательности |
|
|
33 |
||
|
1.6. Контрольный эксперимент с однородно-диа |
|
||||
|
гностируемым |
автоматом |
|
|
38 |
|
Г л а в а |
2. Эксперименты |
по распознаванию автоматов |
|
|||
|
известного класса |
|
|
|
43 |
|
|
2.1. Правила вывода заключений при безусловном |
|
||||
|
эксперименте |
|
|
|
44 |
|
|
2.2. Правила вывода заключений при условном |
|
||||
|
эксперименте |
|
|
|
51 |
|
|
2.3. Устойчивость |
установочных |
экспериментов |
54 |
||
Г л а в а |
3. Частичные тесты для распознавания автома |
|
||||
|
тов известного |
класса |
|
|
58 |
|
|
3.1. Векторы различимости для класса автоматов |
59 |
||||
|
3.2. Частичные |
тесты |
|
|
69 |
|
Г л а в а |
4. Вероятностные |
эксперименты с |
автоматами |
78 |
||
|
4.1. Автоматы, |
диагностируемые |
вероятностным |
|
||
|
экспериментом |
|
|
|
80 |
|
|
4.2. Проверка |
диагностируемое™ |
автомата . . |
83 |
||
|
4.3. Оценка длины вероятностного |
эксперимента |
85 |
|||
|
4.4. Контролирующий автомат |
|
|
90 |
||
|
4.5. Распознавание автомата известного класса |
92 |
||||
|
4.6. Контроль |
исправности автомата |
93 |
|||
Г л а в а |
5. Компонентно-диагностируемые |
сети автома |
|
|||
|
тов |
|
|
|
|
98 |
|
5.1. Определение |
компонентно-диагностируемой |
99 |
|||||
|
сети |
компонентной |
диагностируемое™ |
|||||
|
5.2. Условия |
102 |
||||||
|
сети |
|
компонентно-диагностируемой |
|||||
|
5.3. Построение |
107 |
||||||
|
сети |
|
|
|
|
|
компонен |
|
|
5.4. Последовательная и параллельная |
114 |
||||||
|
тно-диагностируемая |
декомпозиция . . . . |
||||||
Г л а в а |
6. Расширения |
автоматов |
|
автомата . . . . |
123 |
|||
|
6.1. Определение |
расширения |
123 |
|||||
|
6.2. Задача синтеза расширений |
автомата . . . |
125 |
|||||
|
6.3. Алгоритм |
нахождения |
эквивалентности на |
129 |
||||
|
множестве |
с |
заданным |
отношением . . . . |
||||
|
6.4. Аіодифицированная |
задача синтеза |
расшире |
135 |
||||
|
ний автомата |
|
|
|
|
|||
|
Литература |
|
|
|
|
|
|
141 |
Богомолов Анатолий Михаилович Барашко Анатолий Сергеевич Грунский Игорь Сергеевич
ЭКСПЕРИМЕНТЫ С АВТОМАТАМИ
Печатается по постановлению ученого совета Института прикладной математики и механики АН УССР
Редактор |
Т. С. М е л ь н и к . |
Художественный |
редактор |
||||||
И. П . А н т о н ю к. Оформление художника Д . Д . |
Г р и ft о - |
||||||||
в а. |
Технический редактор. Г. |
Р. |
Ь о д н е р. |
|
Корректор |
||||
Л . М . Т и щ е н к о |
|
|
|
|
|
|
|||
Сдано в |
набор |
1 5 . V I I I |
1972 г. Подписано к печати |
27. X I I |
|||||
1972 |
г. БФ 00777 |
Заказ |
№ 2—1686. |
И з д . № 130. |
Т и р а ж 2300. |
||||
Бумага Лі 1. 60Х90'/іа. |
Условн . |
печ. листов. |
9,0. |
Учетно- |
|||||
изд. листов 9,2. Цена 92 коп. |
|
|
|
|
|
||||
Издательство «Наукова |
д у м к а > , Киев. Репина, |
3. |
|
Головное предприятие республиканского производствен
ного |
объединения |
«Полиграфкннга» Госкомиздата У С С Р . |
Киев, |
Д о в ж е н к о , |
3. |