The theory of regular events. II

Havel, Ivan M.

Kybernetika, Tome 5 (1969) no. 6, pp. 520-544

Détail

Classification : 94.40

Bibliographie

[1] S. Aanderaa: On the algebra of regular expressions. Appl. Math., Harvard University, Jan. 1965, 1-18.

[2] V. Amar G. Putzolu: Generalizations of regular events. Information and Control 8 (1965), 1, 56-63. | MR

[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.

[4] J. A. Brzozowski: Properties of regular expressions and state diagrams. Tech. Rept. No 15, Princeton University, 1962.

[5] J. A. Brzozowski: Regular expression techniques for sequential circuits. Ph. D. dissertation, Princeton University 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. | MR | Zbl

[7] J. A. Brzozowski: Canonical regular expressions and minimal state graphs for definite events. In: Mathematical Theory of Automata, Polytechnic Press, 1963. | MR | Zbl

[8] J. A. Brzozowski: Derivatives of regular expressions. JACM 11 (1964), 4, 481-494. | MR | Zbl

[9] J. A. Brzozowski: Regular expressions for linear sequential circuits. Transactions of the IREE (IRE) on Electronic Computers 14 (1965), 2, 148-156. | Zbl

[10] J. A. Brzozowski: Roots of star events. JACM 14 (1967), 3, 466-77. | MR | Zbl

[11] J. A. Brzozowski: Regular theory of sequential machines. (Manuscript) Univ. of Waterloo, 1968.

[12] J. A. Brzozowski: Regular-like expressions for some irregular languages. In: IEEE 8th. Ann. Symp. on Switching and Automata Theory, 1968.

[13] J. A. Brzozowski, R. Cohen: On decompositions of regular events. In: IEEE 7th Ann. Symp. Switching and Automata Theory, 1967, 255-264.

[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. | Zbl

[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.

[16] R. Cohen: Transition graphs and the star heights problem. In: IEEE 8th Ann. Symp. on Switching and Automata Theory, 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.

[18] R. Cohen, J. A. Brzozowski: On star-free events. Hawaii Int. Conf. on System Sciences, 1968.

[19] I. Copi C. C. Elgot, J. B. Wright: Realization of events by logical nets. JACM 5 (1958), 2, 181-196. | MR

[20] H. Allen Curtis: Polylinear sequential circuit realizations of finite automata. Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 251-259.

[21] F. Dejean, M. P. Schutzenberger: On a question of Eggan. Information and Control 9 (1966), 23 - 25. | MR

[22] L. C. Eggan: Transition graphs and the star height of regular events. Michigan Math. Journal 10 (1963), 385-397. | MR | Zbl

[23] C. C. Elgot: Decision problems of finite automata design and related arithmetic. Trans. Am. Math. Soc. 98 (1961), 1, 21-51. | MR

[24] S. Even: Rational numbers and regular events. Transactions of the IEEE (IRE) on Electronic Computers 13 (1964), 6, 740-741. | Zbl

[25] T. Frey: Über die Konstruktion endlicher Automaten. Acta Math. Acad. Sci. Hungar, 15 (1964), 383-398. | MR | Zbl

[26] H. Ghiron: Rules to manipulate regular expressions of finite automata. Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 574-575. | Zbl

[27] S. Ginsburg, T. N. Hibbard: Solvability of Machine Mappings of regular sets to regular sets. JACM 11 (1964) 3, 302-312. | MR

[28] S. Ginsburg, E. H. Spanier: Bounded regular sets. Proc. Am. Math. Soc. 17 (1966), 1043-1049. | MR | Zbl

[29] S. Ginsburg, E. H. Spanier: Quotients of context-free languages. JACM 10 (1963), 4, 487-492. | MR

[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. | Zbl

[31] A. Ginzburg: A procedure for checking equality of regular expressions. JACM 14 (1967), 2, 355-362. | Zbl

[32] A. Ginzburg: Algebraic theory of automata. Academic Press, New York, 1958. | MR

[33] Y. Give'on: The theory of algebraic automata I. Univ. of Michigan, Ann Arboг, 1964.

[34] Y. Give'on: Outline for an algebraic study of event automata. Univ. of Michigan, Ann Arbor, 1964.

[35] J. N. Gray, M. A. Harrison: The theory of sequential relations. Information and Control 9 (1966), 5, 435-468. | MR | Zbl

[36] I. M. Havel: Jazyky zápisu a zadání konečných automatů. Thesis EF ČVUT, Praha 1966.

[37] I. M. Havel: Regular expressions over generalized alphabet and design of logical nets. Kybernetika 4 (1968), 6, 516-537. | MR | Zbl

[38] D. Ion Ion: Un sistem de axiome pentru algebra evenimen telor. Studii ci cercetări mat. Acad. RPR 17 (1965), 4, 599-606. | MR

[40] T. Kasami K. Torii, H. Ozaki: Generalized sequential machine mapping of regular set to regular set. Electron. Commun. Japan 48 (1965), 15-24. | MR

[41] T. Kasami K. Torii, H. Ozaki: Translation of finite state languages by a sequential machine. Journ. Inst. Elec. Commun. Engs. Japan (1966).

[42] S. C. Kleene: Representation of events in nerve nets and finite automata. In: Automata Studies, Princeton University Press, 1956. | MR

[43] R. Laing: Tape machined realization sof commutative-regular events. Techn. Rept. Michigan Univ. 1965.

[44] R. Laing: Realization and complexity of commutative events. Rept., Michigan Univ. 1967.

[45] R. Laing, J. B. Wright: Commutative machines. Techn. Rept. Michigan Univ. 1962.

[46] R. McNaughton: Techniques for manipulating regular expressions. In: Systems and Computer Science. University of Toronto Press, 1967. | MR

[47] R. McNaughton: The loop complexity of regular events. Rept. M.I.T. 1966.

[48] R. McNaughton: Testing and generating infinite sequences by a finite automaton. Information and Control 9 (1966), 5, 521-530. | MR | Zbl

[49] R. McNaughton: The loop complexity of pure-group events. Information and Control 11 (1967), 167-176. | MR | Zbl

[50] R. McNaughton, H. Yamada: Regular expressions and state graphs for automata. Transactions of the IEEE (IRE) on Electronic Computers 9 (1960), 1, 39-47. | Zbl

[51] J. Myhill: Finite automata and the representation of events. WADC Tech. Rept. 1957.

[52] G. Ott, N. Feinstein: Design of sequential machines from their regular expressions. JACM 8 (1961), 4, 585-600. | MR | Zbl

[53] S. Papert, R. McNaughton: Non-counting automata. Rensselaer Polyt. Inst. (manuscript), 1967.

[54] A. Paz, B. Peleg: Ultimate-definite and symmetric-definite events and automata. JACM 12 (1965), 3, 399-410. | MR | Zbl

[55] A. Paz, B. Peleg: On concatenative decompositions of regular events. Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 229-237. | Zbl

[56] 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. | MR

[57] T. F. Piatkowski: Computer programs dealing with finite state machines. Techn. Rept., Michigan University, 1967.

[58] M. O. Rabin, D. Scott: Remarks on finite automata. In: Summer Inst. Symb. Logic, Cornell Univ. 1957, 106-112.

[59] M. O. Rabin, D. Scott: Finite automata and their decision problems. IBM Journal Res. Dev. 3 (1959), 2, 114-125. | MR

[60] 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.

[61] F. Saez Vacas E. Daclin: Sur une méthode algorithmique de synthèse d'une machine séquentielle. Automatisme 13 (1968), 10, 510-520.

[62] A. Salomaa: Theorems on the representation of events in Moore-automata. Ann. Univ. Turku, AI. Vol. 69 (1964). | MR | Zbl

[63] A. Salomaa: Axiom systems for regular expressions of finite automata. Ann. Univ. Turku, AI Vol. 75 (1964), 14-29. | MR | Zbl

[64] A. Salomaa: The complete axiom systems for the algebra of regular events. JACM 13 (1966), 1, 152-169. | MR

[65] 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. | MR | Zbl

[66] M. P. Schützenberger: Finite counting automata. Information and Control 5 (1962), 91-107. | MR

[67] M. P. Schützenberger: On finite monoids having only trivial subgroups. Information and Control 8 (1965), 2, 190-194. | MR

[68] 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. | MR | Zbl

[69] M. P. Schützenberger: Sur certaines varietés de monoides finis. In: Automata theory (ed. Caianiello), Academic Press 1966, 314-319. | MR

[70] E. Shamir: On sequential languages and two classes of regular events. Zeit. Phonetik Sprachwiss. Komm. 18 (1965), 61-69. | MR

[71] P. H. Starke: Über die Darstellbarkeit von Ereignissen in nicht-initialen Automaten. Zeit. Math. Log. und Grund. Math. 9 (1963), 4, 315-319. | MR | Zbl

[72] P. H. Starke: Stochastische Ereignisse und Wortmengen. Zeit. Math. Log. u. Grund. Math. 12 (1966), 1-2, 61-68. | MR | Zbl

[73] R. E. Stearns, J. Hartmanis: Regularity preserving modifications of regular expressions. Information and Control 6 (1963), 55-69. | MR | Zbl

[74] V. Tixier: Recursive functions of regular expressions in language analysis. Thesis, Stanford University, 1967.

[75] 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. | MR

[76] K. Thompson: Regular expression search algorithm. Comm. ACM 11 (1968), 6, 419-422. | Zbl

[77] P. Turakainen: Оn non-regular events representable in probabilistic automata with one input letter. Ann. Univ. Turku, AI., Vol. 90 (1966). | MR

[78] K. Udagawa Y. Inagaki, H. Tange: State characteristic equations of finite automata and their regular expressions. Electron. Commun. Japan 48 (1965), 25. | MR

[79] K. Udagawa, H. Tange: Transformation of state diagrams by state characteristic equations of finite automata. Electron. Commun. Japan 48 (1965), 48.

[80] V. Vučkovič: On a class of regular sets. Notre Dame Journ. Form. Log. 5 (1964), 2, 113-124. | MR

[81] H. Yamada: Disjunctively linear logic nets. Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 5, 623-639. | MR

[82] H. Yamada: Franctionalization of regular expressions. (unpublished note).

[83] S. S. Yau: Generation on an output regular expression of a sequential machine with a specified input regular expression. Rept. Northwestern Univ., Evanston, 1966.

[84] M. Yoeli: Lattice-ordered semigroups, graphs and automata. Journal of the SIAM 13 (1965), 2, 411-422. | MR | Zbl

[85] M. Yoeli: Canonical representation of chain events. Information and Control 8 (1965), 2, 180-189. | MR

[86] В. Г. Боднарчук: Автоматы и события. Укpaинcкий мaтeмaтичecкий жypнaл 14 (1962), 2, 351-361. | MR | Zbl

[87] В. Г. Боднарчук: Анализ взвешенных графов методом решения уравнений в алгебре событий. В сборнике: Теория конечных и вероятностных автоматов, Москва 1965, 246-249. | Zbl

[88] В. Г. Боднарчук: Системы уравнений в алгебре событий. Журн. вычисл. математики и мат. физики 3 (1963) 6, 1077-1088. | MR | Zbl

[89] В. Г. Боднарчук: Метрические пространство событий I./II. Kибepнeтикa (AH Укpaинcкoй CCP) (1965), 1, 24-27; 2, 22-23. | Zbl

[90] В. Н. Глушков: Об одном алгоритме синтеза абстрактных автоматов. Укpaинcкий мaтeмaтичecкий жypнaл 12 (1960) 2, 147-156. | MR | Zbl

[91] В. Н. Глушков: Про один метод аналiзу абстрактных автоматiв. Доповiдi Акад. Наук Украинской ССР 12 (1960), 9, 1151-1154.

[92] В. Н. Глушков: Некоторые проблемы синтеза цифровых автоматов. Журн. вычисл. математики и мат. физики 1 (1961) 3, 371-411. | MR | Zbl

[93] В. Н. Глушков: Синтез цифровых автоматов. Физматгиз, Москва 1962. | Zbl

[94] В. Н. Глушков: Абстрактная теория автоматов. Успехи мат. наук 16 (1961) 5. | Zbl

[95] В. И. Казначеев: Построение тестов конечных автоматов с помощью языка регулярных выражений. В сб. Проблемы синтеза цифровых автоматов, Москва 1967, 145. | Zbl

[96] И. Н. Коваленко: Замечание о сложности представления событий в вероятностных и детерминированных конечных автоматах. Kибepнeтикa (AH Укpaинcкoй CCP) (1965) 2, 35-36. | Zbl

[97] А. А. Курмит: Обращение автоматов по отношению к регулярному событию. Автоматика и вычислительная техника (1967), 4, 9-16. | Zbl

[98] О. П. Кузнецов: Об одном классе регулярных событий. В сб.: Структурная теория релейных устройств. Москва 1963. | Zbl

[99] О. П. Кузнецов: Представление регулярных событий в асинхронных автоматах. Aвтoмaтикa и тeлeмexaникa 26 (1965) 6, 1086-1093. | Zbl

[100] О. П. Кузнецов Е. Д. Стоцкая: Исследования по языке регулярных событий. Колл. по языкам конечных автоматов, Томск 1964. | Zbl

[101] А. Г. Лунц: Метод анализа конечных автоматов. ДАН 160 (1965) 4, 778-780. | MR | Zbl

[102] Ю. И. Любич: О свойствах периодичности событий, представлимых в конечных автоматах. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964), 3, 396-402. | MR | Zbl

[103] Ю. Т. Медведев: О классе событий, допускающих представление в конечном автомате. В сб.: Автоматы, Москва 1956. | Zbl

[104] В. Г. Миркин: Новый алгоритм построения базиса в языке регулярных выражений. Известия АН СССР - Техническая кибернетика (1966) 5, 113-119. | Zbl

[105] В. Г. Миркин: О языке псевдорегулярных выражений. Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 8-11. | Zbl

[106] В. Г. Миркин: Минимизация последовательностных машин относительно регулярных полных справа событий. Aвтoмaтикa и тeлeмexaникa (1967) 11, 149-153. | MR | Zbl

[107] В. Г. Миркин: О распознавании относительной эквивалентности последовательностных машин. Aвтoмaтикa и тeлeмexaникa (1967), 2, 133-136. | Zbl

[108] Г. С. Плеснович: О событиях, связанных с семейством автоматов 1. Вычислительные системы 9 (1963), 44-64. | Zbl

[109] В. Н. Редько: Про коммутативные замыкания подий. Доповиди АН УССР (1963), 1156-1158. | Zbl

[110] В. Н. Редько: Об алгебре коммутативных событий. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 2, 185-195. | Zbl

[111] В. Н. Редько: Об определяющей совокупности соотношений алгебры регулярных событий. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 1, 120-126. | MR | Zbl

[112] В. Н. Редько: О коммутативных автоматах. В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 253-256. | Zbl

[113] А. Саломаа: Аксиоматизация алгебры событий, реализуемых логическими сетями. Проблемы кибернетики 17, Москва 1966, 237-246. | MR | Zbl

[114] М. А. Спивак: Новый алгоритм абстрактного синтеза автоматов. Материалы научных семинаров на теорет. и прикл. вопросам кибернетики 1 (1963), 3. | Zbl

[115] М. А. Спивак: Разложение регулярного выражения по базису и его применения. ДАН 162 (1965), 3, 520-522. | MR | Zbl

[116] М. А. Спивак: Алгоритм абстрактного синтеза автоматов для расширенного языка регулярных выражений. Извести АН СССР - Техническая кибернетика (1965) 1, 51-57. | MR | Zbl

[117] М. А. Спивак: К методу анализа абстрактных автоматов с помощью уравнений в алгебре событий. Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 1, 28. | Zbl

[118] М. А. Спивак: Представление автоматных отображений регулярными выражениями. Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 6, 15-17. | Zbl

[119] М. А. Спивак: Некоторые свойства множества экспериментов автомата. Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 1-7. | Zbl

[120] Ю. И. Янов: О тождественных преобразованиях регулярных выражений. ДАН 147 (1962), 2, 327-330. | MR | Zbl

[121] Ю. И. Янов: Об инвариантных операциях над событиями. Пробл. кибернетики 12, Москва 1964, 253-258. | Zbl

[122] Ю. И. Янов: Об эквивалентных преобразованиях регулярных выражений. В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 230-231. | Zbl

[123] Ю. И. Янов: О некоторых подалгебрах событий, не имеющих конечных полных систем тождеств. Пробл. кибернетики 17, Москва 1966, 255-258. | MR | Zbl