The theory of regular events. II

 Access to full text

 Full (PDF)

1. S. Aanderaa, On the algebra of regular expressions, Appl. Math., Harvard University, Jan. 1965, 1-18. (1965) 
2. V. Amar G. Putzolu, Generalizations of regular events, Information and Control 8 (1965), 1, 56-63. (1965) MR0176856
3. D. N. Arden, Delayed logic and finite state machines, In: Theory of Computing Machine Design, Univ. of Michigan Press, Ann Arbor, 1960, 1 - 35. (1960) 
4. J. A. Brzozowski, Properties of regular expressions and state diagrams, Tech. Rept. No 15, Princeton University, 1962. (1962) 
5. J. A. Brzozowski, Regular expression techniques for sequential circuits, Ph. D. dissertation, Princeton University 1962. (1962) 
6. J. A. Brzozowski, A survey of regular expressions and their applications, Transactions of the IREE (IRE) on Electronic Computers 11 (1962), 324-335. (1962) Zbl0129.26202MR0146026
7. J. A. Brzozowski, Canonical regular expressions and minimal state graphs for definite events, In: Mathematical Theory of Automata, Polytechnic Press, 1963. (1963) Zbl0116.33605MR0175719
8. J. A. Brzozowski, Derivatives of regular expressions, JACM 11 (1964), 4, 481-494. (1964) Zbl0225.94044MR0174434
9. J. A. Brzozowski, Regular expressions for linear sequential circuits, Transactions of the IREE (IRE) on Electronic Computers 14 (1965), 2, 148-156. (1965) Zbl0199.04501
10. J. A. Brzozowski, Roots of star events, JACM 14 (1967), 3, 466-77. (1967) Zbl0162.02601MR0237237
11. J. A. Brzozowski, Regular theory of sequential machines, (Manuscript) Univ. of Waterloo, 1968. (1968) 
12. J. A. Brzozowski, Regular-like expressions for some irregular languages, In: IEEE 8th. Ann. Symp. on Switching and Automata Theory, 1968. (1968) 
13. J. A. Brzozowski, R. Cohen, On decompositions of regular events, In: IEEE 7th Ann. Symp. Switching and Automata Theory, 1967, 255-264. (1967) 
14. J. A. Brzozowski, E. J. McCluskey, Signal flow graph techniques for sequential circuit state diagrams, Transactions of the IREE (IRE) on Electronic Computers 12 (1963), 67-76. (1963) Zbl0119.12903
15. J. A. Brzozowski, Poage, On the construction of sequential machine from regular expressions, Transactions of the IEEE (IRE) on Electronic Computers 12 (1963), 4, 402-403. (1963) 
16. R. Cohen, Transition graphs and the star heights problem, In: IEEE 8th Ann. Symp. on Switching and Automata Theory, 1968. (1968) 
17. R. Cohen, J. A. Brzozowski, On the star height of regular events, In: IEEE 7th Ann. Symp. Switching and Automata theory, 1967, 265-280. (1967) 
18. R. Cohen, J. A. Brzozowski, On star-free events, Hawaii Int. Conf. on System Sciences, 1968. (1968) 
19. I. Copi C. C. Elgot, J. B. Wright, Realization of events by logical nets, JACM 5 (1958), 2, 181-196. (1958) MR0129523
20. H. Allen Curtis, Polylinear sequential circuit realizations of finite automata, Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 251-259. (1968) 
21. F. Dejean, M. P. Schutzenberger, On a question of Eggan, Information and Control 9 (1966), 23 - 25. (1966) MR0191762
22. L. C. Eggan, Transition graphs and the star height of regular events, Michigan Math. Journal 10 (1963), 385-397. (1963) Zbl0173.01504MR0157840
23. C. C. Elgot, Decision problems of finite automata design and related arithmetic, Trans. Am. Math. Soc. 98 (1961), 1, 21-51. (1961) MR0139530
24. S. Even, Rational numbers and regular events, Transactions of the IEEE (IRE) on Electronic Computers 13 (1964), 6, 740-741. (1964) Zbl0178.33101
25. T. Frey, Über die Konstruktion endlicher Automaten, Acta Math. Acad. Sci. Hungar, 15 (1964), 383-398. (1964) Zbl0133.25604MR0166100
26. H. Ghiron, Rules to manipulate regular expressions of finite automata, Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 574-575. (1962) Zbl0137.01004
27. S. Ginsburg, T. N. Hibbard, Solvability of Machine Mappings of regular sets to regular sets, JACM 11 (1964) 3, 302-312. (1964) MR0165731
28. S. Ginsburg, E. H. Spanier, Bounded regular sets, Proc. Am. Math. Soc. 17 (1966), 1043-1049. (1966) Zbl0147.25301MR0201310
29. S. Ginsburg, E. H. Spanier, Quotients of context-free languages, JACM 10 (1963), 4, 487-492. (1963) MR0163808
30. A. Ginzburg, About some properties of definite, reverse definite and related automata, Transactions of the IEEE (IRE) on Electronic Computers 15 (1966), 5, 806-810. (1966) Zbl0156.01904
31. A. Ginzburg, A procedure for checking equality of regular expressions, JACM 14 (1967), 2, 355-362. (1967) Zbl0155.34501
32. A. Ginzburg, Algebraic theory of automata, Academic Press, New York, 1958. (1958) MR0242679
33. Y. Give'on, The theory of algebraic automata I, Univ. of Michigan, Ann Arboг, 1964. (1964) 
34. Y. Give'on, Outline for an algebraic study of event automata, Univ. of Michigan, Ann Arbor, 1964. (1964) 
35. J. N. Gray, M. A. Harrison, The theory of sequential relations, Information and Control 9 (1966), 5, 435-468. (1966) Zbl0148.25104MR0216904
36. I. M. Havel, Jazyky zápisu a zadání konečných automatů, Thesis EF ČVUT, Praha 1966. (1966) 
37. I. M. Havel, Regular expressions over generalized alphabet and design of logical nets, Kybernetika 4 (1968), 6, 516-537. (1968) Zbl0169.31504MR0247956
38. D. Ion Ion, Un sistem de axiome pentru algebra evenimen telor, Studii ci cercetări mat. Acad. RPR 17 (1965), 4, 599-606. (1965) MR0232813
39. T. Kasami K. Torii, H. Ozaki, Generalized sequential machine mapping of regular set to regular set, Electron. Commun. Japan 48 (1965), 15-24. (1965) MR0201311
40. T. Kasami K. Torii, H. Ozaki, Translation of finite state languages by a sequential machine, Journ. Inst. Elec. Commun. Engs. Japan (1966). (1966) 
41. S. C. Kleene, Representation of events in nerve nets and finite automata, In: Automata Studies, Princeton University Press, 1956. (1956) MR0077478
42. R. Laing, Tape machined realization sof commutative-regular events, Techn. Rept. Michigan Univ. 1965. (1965) 
43. R. Laing, Realization and complexity of commutative events, Rept., Michigan Univ. 1967. (1967) 
44. R. Laing, J. B. Wright, Commutative machines, Techn. Rept. Michigan Univ. 1962. (1962) 
45. R. McNaughton, Techniques for manipulating regular expressions, In: Systems and Computer Science. University of Toronto Press, 1967. (1967) MR0234780
46. R. McNaughton, The loop complexity of regular events, Rept. M.I.T. 1966. (1966) 
47. R. McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9 (1966), 5, 521-530. (1966) Zbl0212.33902MR0213241
48. R. McNaughton, The loop complexity of pure-group events, Information and Control 11 (1967), 167-176. (1967) Zbl0166.26905MR0249218
49. R. McNaughton, H. Yamada, Regular expressions and state graphs for automata, Transactions of the IEEE (IRE) on Electronic Computers 9 (1960), 1, 39-47. (1960) Zbl0156.25501
50. J. Myhill, Finite automata and the representation of events, WADC Tech. Rept. 1957. (1957) 
51. G. Ott, N. Feinstein, Design of sequential machines from their regular expressions, JACM 8 (1961), 4, 585-600. (1961) Zbl0171.27505MR0141549
52. S. Papert, R. McNaughton, Non-counting automata, Rensselaer Polyt. Inst. (manuscript), 1967. (1967) 
53. A. Paz, B. Peleg, Ultimate-definite and symmetric-definite events and automata, JACM 12 (1965), 3, 399-410. (1965) Zbl0127.01004MR0210524
54. A. Paz, B. Peleg, On concatenative decompositions of regular events, Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 229-237. (1968) Zbl0155.34404
55. M. Perles M. O. Rabin, E. Shamir, The theory of definite automata, Transactions of the IEEE (IRE) on Electronic Computers 12 (1963), 3, 233-243. (1963) MR0153518
56. T. F. Piatkowski, Computer programs dealing with finite state machines, Techn. Rept., Michigan University, 1967. (1967) 
57. M. O. Rabin, D. Scott, Remarks on finite automata, In: Summer Inst. Symb. Logic, Cornell Univ. 1957, 106-112. (1957) 
58. M. O. Rabin, D. Scott, Finite automata and their decision problems, IBM Journal Res. Dev. 3 (1959), 2, 114-125. (1959) MR0103795
59. F. Saez Vacas, Programmation de l'algorithme de synthèse de Gloushkov pour les tables de fluence des systèmes séquentiels, Thèse à l'Ecole Nationale Supérieure de l'Aéronautique, Paris, 1966. (1966) 
60. F. Saez Vacas E. Daclin, Sur une méthode algorithmique de synthèse d'une machine séquentielle, Automatisme 13 (1968), 10, 510-520. (1968) 
61. A. Salomaa, Theorems on the representation of events in Moore-automata, Ann. Univ. Turku, AI. Vol. 69 (1964). (1964) Zbl0124.00501MR0169750
62. A. Salomaa, Axiom systems for regular expressions of finite automata, Ann. Univ. Turku, AI Vol. 75 (1964), 14-29. (1964) Zbl0127.01003MR0168463
63. A. Salomaa, The complete axiom systems for the algebra of regular events, JACM 13 (1966), 1, 152-169. (1966) MR0189995
64. A. Salomaa, V. Tixier, Two complete axiom systems for the extended language of regular expressions, Transactions of the IEEE (IRE) on Computers 17 (1968) 7, 700-701. (1968) Zbl0174.29001MR0235942
65. M. P. Schützenberger, Finite counting automata, Information and Control 5 (1962), 91-107. (1962) MR0154774
66. M. P. Schützenberger, On finite monoids having only trivial subgroups, Information and Control 8 (1965), 2, 190-194. (1965) MR0176883
67. M. P. Schützenberger, On a family of sets related to McNaughton's L-language, In: Automata theory (ed. Caianiello), Academic Press, 1966, 320-324. (1966) Zbl0192.07902MR0219365
68. M. P. Schützenberger, Sur certaines varietés de monoides finis, In: Automata theory (ed. Caianiello), Academic Press 1966, 314-319. (1966) MR0205766
69. E. Shamir, On sequential languages and two classes of regular events, Zeit. Phonetik Sprachwiss. Komm. 18 (1965), 61-69. (1965) MR0183642
70. P. H. Starke, Über die Darstellbarkeit von Ereignissen in nicht-initialen Automaten, Zeit. Math. Log. und Grund. Math. 9 (1963), 4, 315-319. (1963) Zbl0129.26301MR0159760
71. P. H. Starke, Stochastische Ereignisse und Wortmengen, Zeit. Math. Log. u. Grund. Math. 12 (1966), 1-2, 61-68. (1966) Zbl0163.01101MR0197227
72. R. E. Stearns, J. Hartmanis, Regularity preserving modifications of regular expressions, Information and Control 6 (1963), 55-69. (1963) Zbl0112.11307MR0160694
73. V. Tixier, Recursive functions of regular expressions in language analysis, Thesis, Stanford University, 1967. (1967) 
74. J. W. Thatcher J. B. Wright, Generalized automata theory with an application to a decision problem of second-order logic, Math. Syst. Theory 2 (1968), 57-81. (1968) MR0224476
75. K. Thompson, Regular expression search algorithm, Comm. ACM 11 (1968), 6, 419-422. (1968) Zbl0164.46205
76. P. Turakainen, Оn non-regular events representable in probabilistic automata with one input letter, Ann. Univ. Turku, AI., Vol. 90 (1966). (1966) MR0255325
77. K. Udagawa Y. Inagaki, H. Tange, State characteristic equations of finite automata and their regular expressions, Electron. Commun. Japan 48 (1965), 25. (1965) MR0209089
78. K. Udagawa, H. Tange, Transformation of state diagrams by state characteristic equations of finite automata, Electron. Commun. Japan 48 (1965), 48. (1965) 
79. V. Vučkovič, On a class of regular sets, Notre Dame Journ. Form. Log. 5 (1964), 2, 113-124. (1964) MR0218241
80. H. Yamada, Disjunctively linear logic nets, Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 5, 623-639. (1962) MR0154447
81. H. Yamada, Franctionalization of regular expressions, (unpublished note). 
82. S. S. Yau, Generation on an output regular expression of a sequential machine with a specified input regular expression, Rept. Northwestern Univ., Evanston, 1966. (1966) 
83. M. Yoeli, Lattice-ordered semigroups, graphs and automata, Journal of the SIAM 13 (1965), 2, 411-422. (1965) Zbl0128.25102MR0178086
84. M. Yoeli, Canonical representation of chain events, Information and Control 8 (1965), 2, 180-189. (1965) MR0174436
85. В. Г. Боднарчук, Автоматы и события, Укpaинcкий мaтeмaтичecкий жypнaл 14 (1962), 2, 351-361. (1962) Zbl1005.68507MR0146031
86. В. Г. Боднарчук, Анализ взвешенных графов методом решения уравнений в алгебре событий, В сборнике: Теория конечных и вероятностных автоматов, Москва 1965, 246-249. (1965) Zbl1099.01519
87. В. Г. Боднарчук, Системы уравнений в алгебре событий, Журн. вычисл. математики и мат. физики 3 (1963) 6, 1077-1088. (1963) Zbl1145.93303MR0162711
88. В. Г. Боднарчук, Метрические пространство событий I./II, Kибepнeтикa (AH Укpaинcкoй CCP) (1965), 1, 24-27; 2, 22-23. (1965) Zbl0298.02073
89. В. Н. Глушков, Об одном алгоритме синтеза абстрактных автоматов, Укpaинcкий мaтeмaтичecкий жypнaл 12 (1960) 2, 147-156. (1960) Zbl1004.90500MR0136489
90. В. Н. Глушков, Про один метод аналiзу абстрактных автоматiв, Доповiдi Акад. Наук Украинской ССР 12 (1960), 9, 1151-1154. (1960) 
91. В. Н. Глушков, Некоторые проблемы синтеза цифровых автоматов, Журн. вычисл. математики и мат. физики 1 (1961) 3, 371-411. (1961) Zbl1160.68305MR0182513
92. В. Н. Глушков, Синтез цифровых автоматов, Физматгиз, Москва 1962. (1962) Zbl1005.68507
93. В. Н. Глушков, Абстрактная теория автоматов, Успехи мат. наук 16 (1961) 5. (1961) Zbl1160.68305
94. В. И. Казначеев, Построение тестов конечных автоматов с помощью языка регулярных выражений, В сб. Проблемы синтеза цифровых автоматов, Москва 1967, 145. (1967) Zbl1103.35360
95. И. Н. Коваленко, Замечание о сложности представления событий в вероятностных и детерминированных конечных автоматах, Kибepнeтикa (AH Укpaинcкoй CCP) (1965) 2, 35-36. (1965) Zbl1099.01519
96. А. А. Курмит, Обращение автоматов по отношению к регулярному событию, Автоматика и вычислительная техника (1967), 4, 9-16. (1967) Zbl1103.35360
97. О. П. Кузнецов, Об одном классе регулярных событий, В сб.: Структурная теория релейных устройств. Москва 1963. (1963) Zbl1145.93303
98. О. П. Кузнецов, Представление регулярных событий в асинхронных автоматах, Aвтoмaтикa и тeлeмexaникa 26 (1965) 6, 1086-1093. (1965) Zbl1099.01519
99. О. П. Кузнецов Е. Д. Стоцкая, Исследования по языке регулярных событий, Колл. по языкам конечных автоматов, Томск 1964. (1964) Zbl1230.62001
100. А. Г. Лунц, Метод анализа конечных автоматов, ДАН 160 (1965) 4, 778-780. (1965) Zbl1099.01519MR0183594
101. Ю. И. Любич, О свойствах периодичности событий, представлимых в конечных автоматах, Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964), 3, 396-402. (1964) Zbl1117.65300MR0171669
102. Ю. Т. Медведев, О классе событий, допускающих представление в конечном автомате, В сб.: Автоматы, Москва 1956. (1956) Zbl0995.90522
103. В. Г. Миркин, Новый алгоритм построения базиса в языке регулярных выражений, Известия АН СССР - Техническая кибернетика (1966) 5, 113-119. (1966) Zbl1155.78304
104. В. Г. Миркин, О языке псевдорегулярных выражений, Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 8-11. (1966) Zbl1155.78304
105. В. Г. Миркин, Минимизация последовательностных машин относительно регулярных полных справа событий, Aвтoмaтикa и тeлeмexaникa (1967) 11, 149-153. (1967) Zbl1103.35360MR0235922
106. В. Г. Миркин, О распознавании относительной эквивалентности последовательностных машин, Aвтoмaтикa и тeлeмexaникa (1967), 2, 133-136. (1967) Zbl1103.35360
107. Г. С. Плеснович, О событиях, связанных с семейством автоматов 1, Вычислительные системы 9 (1963), 44-64. (1963) Zbl0316.53012
108. В. Н. Редько, Про коммутативные замыкания подий, Доповиди АН УССР (1963), 1156-1158. (1963) Zbl1145.93303
109. В. Н. Редько, Об алгебре коммутативных событий, Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 2, 185-195. (1964) Zbl1117.65300
110. В. Н. Редько, Об определяющей совокупности соотношений алгебры регулярных событий, Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 1, 120-126. (1964) Zbl1117.65300MR0179033
111. В. Н. Редько, О коммутативных автоматах, В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 253-256. (1965) Zbl1099.01519
112. А. Саломаа, Аксиоматизация алгебры событий, реализуемых логическими сетями, Проблемы кибернетики 17, Москва 1966, 237-246. (1966) Zbl1155.78304MR0215724
113. М. А. Спивак, Новый алгоритм абстрактного синтеза автоматов, Материалы научных семинаров на теорет. и прикл. вопросам кибернетики 1 (1963), 3. (1963) Zbl1145.93303
114. М. А. Спивак, Разложение регулярного выражения по базису и его применения, ДАН 162 (1965), 3, 520-522. (1965) Zbl1099.01519MR0180462
115. М. А. Спивак, Алгоритм абстрактного синтеза автоматов для расширенного языка регулярных выражений, Извести АН СССР - Техническая кибернетика (1965) 1, 51-57. (1965) Zbl1099.01519MR0188022
116. М. А. Спивак, К методу анализа абстрактных автоматов с помощью уравнений в алгебре событий, Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 1, 28. (1965) Zbl1099.01519
117. М. А. Спивак, Представление автоматных отображений регулярными выражениями, Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 6, 15-17. (1965) Zbl1099.01519
118. М. А. Спивак, Некоторые свойства множества экспериментов автомата, Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 1-7. (1966) Zbl1155.78304
119. Ю. И. Янов, О тождественных преобразованиях регулярных выражений, ДАН 147 (1962), 2, 327-330. (1962) Zbl1005.68507MR0142460
120. Ю. И. Янов, Об инвариантных операциях над событиями, Пробл. кибернетики 12, Москва 1964, 253-258. (1964) Zbl1117.65300
121. Ю. И. Янов, Об эквивалентных преобразованиях регулярных выражений, В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 230-231. (1965) Zbl1099.01519
122. Ю. И. Янов, О некоторых подалгебрах событий, не имеющих конечных полных систем тождеств, Пробл. кибернетики 17, Москва 1966, 255-258. (1966) Zbl1155.78304MR0214412

1. Jürgen Dassow, Stefan Rudolf, Conditional Lindenmayer systems with subregular conditions: The non-extended case
2. Dimitr B. Šiškov, Минимизация конечных автоматов
3. Alica Pirická, Directable automata and directly subdefinite events