Article
Full entry |
PDF
(1.4 MB)
Feedback
PDF
(1.4 MB)
Feedback
Related articles:
References:
[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 0176856
[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 0146026 | Zbl 0129.26202
[7] J. A. Brzozowski: Canonical regular expressions and minimal state graphs for definite events. In: Mathematical Theory of Automata, Polytechnic Press, 1963. MR 0175719 | Zbl 0116.33605
[8] J. A. Brzozowski: Derivatives of regular expressions. JACM 11 (1964), 4, 481-494. MR 0174434 | Zbl 0225.94044
[9] J. A. Brzozowski: Regular expressions for linear sequential circuits. Transactions of the IREE (IRE) on Electronic Computers 14 (1965), 2, 148-156. Zbl 0199.04501
[10] J. A. Brzozowski: Roots of star events. JACM 14 (1967), 3, 466-77. MR 0237237 | Zbl 0162.02601
[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 0119.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.
[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 0129523
[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 0191762
[22] L. C. Eggan: Transition graphs and the star height of regular events. Michigan Math. Journal 10 (1963), 385-397. MR 0157840 | Zbl 0173.01504
[23] C. C. Elgot: Decision problems of finite automata design and related arithmetic. Trans. Am. Math. Soc. 98 (1961), 1, 21-51. MR 0139530
[24] S. Even: Rational numbers and regular events. Transactions of the IEEE (IRE) on Electronic Computers 13 (1964), 6, 740-741. Zbl 0178.33101
[25] T. Frey: Über die Konstruktion endlicher Automaten. Acta Math. Acad. Sci. Hungar, 15 (1964), 383-398. MR 0166100 | Zbl 0133.25604
[26] H. Ghiron: Rules to manipulate regular expressions of finite automata. Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 574-575. Zbl 0137.01004
[27] S. Ginsburg, T. N. Hibbard: Solvability of Machine Mappings of regular sets to regular sets. JACM 11 (1964) 3, 302-312. MR 0165731
[28] S. Ginsburg, E. H. Spanier: Bounded regular sets. Proc. Am. Math. Soc. 17 (1966), 1043-1049. MR 0201310 | Zbl 0147.25301
[29] S. Ginsburg, E. H. Spanier: Quotients of context-free languages. JACM 10 (1963), 4, 487-492. MR 0163808
[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 0156.01904
[31] A. Ginzburg: A procedure for checking equality of regular expressions. JACM 14 (1967), 2, 355-362. Zbl 0155.34501
[32] A. Ginzburg: Algebraic theory of automata. Academic Press, New York, 1958. MR 0242679
[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 0216904 | Zbl 0148.25104
[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 0247956 | Zbl 0169.31504
[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 0232813
[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 0201311
[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 0077478
[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 0234780
[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 0213241 | Zbl 0212.33902
[49] R. McNaughton: The loop complexity of pure-group events. Information and Control 11 (1967), 167-176. MR 0249218 | Zbl 0166.26905
[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 0156.25501
[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 0141549 | Zbl 0171.27505
[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 0210524 | Zbl 0127.01004
[55] A. Paz, B. Peleg: On concatenative decompositions of regular events. Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 229-237. Zbl 0155.34404
[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 0153518
[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 0103795
[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 0169750 | Zbl 0124.00501
[63] A. Salomaa: Axiom systems for regular expressions of finite automata. Ann. Univ. Turku, AI Vol. 75 (1964), 14-29. MR 0168463 | Zbl 0127.01003
[64] A. Salomaa: The complete axiom systems for the algebra of regular events. JACM 13 (1966), 1, 152-169. MR 0189995
[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 0235942 | Zbl 0174.29001
[66] M. P. Schützenberger: Finite counting automata. Information and Control 5 (1962), 91-107. MR 0154774
[67] M. P. Schützenberger: On finite monoids having only trivial subgroups. Information and Control 8 (1965), 2, 190-194. MR 0176883
[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 0219365 | Zbl 0192.07902
[69] M. P. Schützenberger: Sur certaines varietés de monoides finis. In: Automata theory (ed. Caianiello), Academic Press 1966, 314-319. MR 0205766
[70] E. Shamir: On sequential languages and two classes of regular events. Zeit. Phonetik Sprachwiss. Komm. 18 (1965), 61-69. MR 0183642
[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 0159760 | Zbl 0129.26301
[72] P. H. Starke: Stochastische Ereignisse und Wortmengen. Zeit. Math. Log. u. Grund. Math. 12 (1966), 1-2, 61-68. MR 0197227 | Zbl 0163.01101
[73] R. E. Stearns, J. Hartmanis: Regularity preserving modifications of regular expressions. Information and Control 6 (1963), 55-69. MR 0160694 | Zbl 0112.11307
[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 0224476
[76] K. Thompson: Regular expression search algorithm. Comm. ACM 11 (1968), 6, 419-422. Zbl 0164.46205
[77] P. Turakainen: Оn non-regular events representable in probabilistic automata with one input letter. Ann. Univ. Turku, AI., Vol. 90 (1966). MR 0255325
[78] K. Udagawa Y. Inagaki, H. Tange: State characteristic equations of finite automata and their regular expressions. Electron. Commun. Japan 48 (1965), 25. MR 0209089
[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 0218241
[81] H. Yamada: Disjunctively linear logic nets. Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 5, 623-639. MR 0154447
[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 0178086 | Zbl 0128.25102
[85] M. Yoeli: Canonical representation of chain events. Information and Control 8 (1965), 2, 180-189. MR 0174436
[86] В. Г. Боднарчук: Автоматы и события. Укpaинcкий мaтeмaтичecкий жypнaл 14 (1962), 2, 351-361. MR 0146031 | Zbl 1005.68507
[87] В. Г. Боднарчук: Анализ взвешенных графов методом решения уравнений в алгебре событий. В сборнике: Теория конечных и вероятностных автоматов, Москва 1965, 246-249. Zbl 1099.01519
[88] В. Г. Боднарчук: Системы уравнений в алгебре событий. Журн. вычисл. математики и мат. физики 3 (1963) 6, 1077-1088. MR 0162711 | Zbl 1145.93303
[89] В. Г. Боднарчук: Метрические пространство событий I./II. Kибepнeтикa (AH Укpaинcкoй CCP) (1965), 1, 24-27; 2, 22-23. Zbl 0298.02073
[90] В. Н. Глушков: Об одном алгоритме синтеза абстрактных автоматов. Укpaинcкий мaтeмaтичecкий жypнaл 12 (1960) 2, 147-156. MR 0136489 | Zbl 1004.90500
[91] В. Н. Глушков: Про один метод аналiзу абстрактных автоматiв. Доповiдi Акад. Наук Украинской ССР 12 (1960), 9, 1151-1154.
[92] В. Н. Глушков: Некоторые проблемы синтеза цифровых автоматов. Журн. вычисл. математики и мат. физики 1 (1961) 3, 371-411. MR 0182513 | Zbl 1160.68305
[93] В. Н. Глушков: Синтез цифровых автоматов. Физматгиз, Москва 1962. Zbl 1005.68507
[94] В. Н. Глушков: Абстрактная теория автоматов. Успехи мат. наук 16 (1961) 5. Zbl 1160.68305
[95] В. И. Казначеев: Построение тестов конечных автоматов с помощью языка регулярных выражений. В сб. Проблемы синтеза цифровых автоматов, Москва 1967, 145. Zbl 1103.35360
[96] И. Н. Коваленко: Замечание о сложности представления событий в вероятностных и детерминированных конечных автоматах. Kибepнeтикa (AH Укpaинcкoй CCP) (1965) 2, 35-36. Zbl 1099.01519
[97] А. А. Курмит: Обращение автоматов по отношению к регулярному событию. Автоматика и вычислительная техника (1967), 4, 9-16. Zbl 1103.35360
[98] О. П. Кузнецов: Об одном классе регулярных событий. В сб.: Структурная теория релейных устройств. Москва 1963. Zbl 1145.93303
[99] О. П. Кузнецов: Представление регулярных событий в асинхронных автоматах. Aвтoмaтикa и тeлeмexaникa 26 (1965) 6, 1086-1093. Zbl 1099.01519
[100] О. П. Кузнецов Е. Д. Стоцкая: Исследования по языке регулярных событий. Колл. по языкам конечных автоматов, Томск 1964. Zbl 1230.62001
[101] А. Г. Лунц: Метод анализа конечных автоматов. ДАН 160 (1965) 4, 778-780. MR 0183594 | Zbl 1099.01519
[102] Ю. И. Любич: О свойствах периодичности событий, представлимых в конечных автоматах. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964), 3, 396-402. MR 0171669 | Zbl 1117.65300
[103] Ю. Т. Медведев: О классе событий, допускающих представление в конечном автомате. В сб.: Автоматы, Москва 1956. Zbl 0995.90522
[104] В. Г. Миркин: Новый алгоритм построения базиса в языке регулярных выражений. Известия АН СССР - Техническая кибернетика (1966) 5, 113-119. Zbl 1155.78304
[105] В. Г. Миркин: О языке псевдорегулярных выражений. Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 8-11. Zbl 1155.78304
[106] В. Г. Миркин: Минимизация последовательностных машин относительно регулярных полных справа событий. Aвтoмaтикa и тeлeмexaникa (1967) 11, 149-153. MR 0235922 | Zbl 1103.35360
[107] В. Г. Миркин: О распознавании относительной эквивалентности последовательностных машин. Aвтoмaтикa и тeлeмexaникa (1967), 2, 133-136. Zbl 1103.35360
[108] Г. С. Плеснович: О событиях, связанных с семейством автоматов 1. Вычислительные системы 9 (1963), 44-64. Zbl 0316.53012
[109] В. Н. Редько: Про коммутативные замыкания подий. Доповиди АН УССР (1963), 1156-1158. Zbl 1145.93303
[110] В. Н. Редько: Об алгебре коммутативных событий. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 2, 185-195. Zbl 1117.65300
[111] В. Н. Редько: Об определяющей совокупности соотношений алгебры регулярных событий. Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 1, 120-126. MR 0179033 | Zbl 1117.65300
[112] В. Н. Редько: О коммутативных автоматах. В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 253-256. Zbl 1099.01519
[113] А. Саломаа: Аксиоматизация алгебры событий, реализуемых логическими сетями. Проблемы кибернетики 17, Москва 1966, 237-246. MR 0215724 | Zbl 1155.78304
[114] М. А. Спивак: Новый алгоритм абстрактного синтеза автоматов. Материалы научных семинаров на теорет. и прикл. вопросам кибернетики 1 (1963), 3. Zbl 1145.93303
[115] М. А. Спивак: Разложение регулярного выражения по базису и его применения. ДАН 162 (1965), 3, 520-522. MR 0180462 | Zbl 1099.01519
[116] М. А. Спивак: Алгоритм абстрактного синтеза автоматов для расширенного языка регулярных выражений. Извести АН СССР - Техническая кибернетика (1965) 1, 51-57. MR 0188022 | Zbl 1099.01519
[117] М. А. Спивак: К методу анализа абстрактных автоматов с помощью уравнений в алгебре событий. Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 1, 28. Zbl 1099.01519
[118] М. А. Спивак: Представление автоматных отображений регулярными выражениями. Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 6, 15-17. Zbl 1099.01519
[119] М. А. Спивак: Некоторые свойства множества экспериментов автомата. Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 1-7. Zbl 1155.78304
[120] Ю. И. Янов: О тождественных преобразованиях регулярных выражений. ДАН 147 (1962), 2, 327-330. MR 0142460 | Zbl 1005.68507
[121] Ю. И. Янов: Об инвариантных операциях над событиями. Пробл. кибернетики 12, Москва 1964, 253-258. Zbl 1117.65300
[122] Ю. И. Янов: Об эквивалентных преобразованиях регулярных выражений. В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 230-231. Zbl 1099.01519
[123] Ю. И. Янов: О некоторых подалгебрах событий, не имеющих конечных полных систем тождеств. Пробл. кибернетики 17, Москва 1966, 255-258. MR 0214412 | Zbl 1155.78304
Search
Partner of
