×

zbMATH — the first resource for mathematics

The theory of regular events. II. (English) Zbl 0184.28703

PDF BibTeX XML Cite
Full Text: EuDML
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. · Zbl 0236.94041
[3] D. N. Arden: Delayed logic and finite state machines. 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. · Zbl 0129.26202
[7] J. A. Brzozowski: Canonical regular expressions and minimal state graphs for definite events. Mathematical Theory of Automata, Polytechnic Press, 1963. · Zbl 0116.33605
[8] J. A. Brzozowski: Derivatives of regular expressions. JACM 11 (1964), 4, 481-494. · 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. · 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. IEEE 8th. Ann. Symp. on Switching and Automata Theory, 1968.
[13] J. A. Brzozowski, R. Cohen: On decompositions of regular events. 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. · Zbl 0125.07805
[16] R. Cohen: Transition graphs and the star heights problem. IEEE 8th Ann. Symp. on Switching and Automata Theory, 1968.
[17] R. Cohen, J. A. Brzozowski: On the star height of regular events. IEEE 7th Ann. Symp. Switching and Automata theory, 1967, 265-280. · Zbl 0245.94038
[18] R. Cohen, J. A. Brzozowski: On star-free events. Hawaii Int. Conf. on System Sciences, 1968. · Zbl 0217.29602
[19] I. Copi C. C. Elgot, J. B. Wright: Realization of events by logical nets. JACM 5 (1958), 2, 181-196. · Zbl 0088.01901
[20] H. Allen Curtis: Polylinear sequential circuit realizations of finite automata. Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 251-259. · Zbl 0164.32401
[21] F. Dejean, M. P. Schutzenberger: On a question of Eggan. Information and Control 9 (1966), 23 - 25. · Zbl 0209.02903
[22] L. C. Eggan: Transition graphs and the star height of regular events. Michigan Math. Journal 10 (1963), 385-397. · 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. · Zbl 0111.01102
[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. · 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. · Zbl 0192.08101
[28] S. Ginsburg, E. H. Spanier: Bounded regular sets. Proc. Am. Math. Soc. 17 (1966), 1043-1049. · Zbl 0147.25301
[29] S. Ginsburg, E. H. Spanier: Quotients of context-free languages. JACM 10 (1963), 4, 487-492. · Zbl 0148.00803
[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. · Zbl 0195.02501
[33] Y. Give’on: The theory of algebraic automata I. Univ. of Michigan, Ann Arbor, 1964. · Zbl 0155.34401
[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. · 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. · 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.
[39] T. Kasami K. Torii, H. Ozaki: Generalized sequential machine mapping of regular set to regular set. Electron. Commun. Japan 48 (1965), 15-24.
[40] T. Kasami K. Torii, H. Ozaki: Translation of finite state languages by a sequential machine. Journ. Inst. Elec. Commun. Engs. Japan (1966).
[41] S. C. Kleene: Representation of events in nerve nets and finite automata. Automata Studies, Princeton University Press, 1956.
[42] R. Laing: Tape machined realization sof commutative-regular events. Techn. Rept. Michigan Univ. 1965.
[43] R. Laing: Realization and complexity of commutative events. Rept., Michigan Univ. 1967.
[44] R. Laing, J. B. Wright: Commutative machines. Techn. Rept. Michigan Univ. 1962.
[45] R. McNaughton: Techniques for manipulating regular expressions. Systems and Computer Science. University of Toronto Press, 1967.
[46] R. McNaughton: The loop complexity of regular events. Rept. M.I.T. 1966. · Zbl 0166.26905
[47] R. McNaughton: Testing and generating infinite sequences by a finite automaton. Information and Control 9 (1966), 5, 521-530. · Zbl 0212.33902
[48] R. McNaughton: The loop complexity of pure-group events. Information and Control 11 (1967), 167-176. · Zbl 0166.26905
[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. · Zbl 0156.25501
[50] J. Myhill: Finite automata and the representation of events. WADC Tech. Rept. 1957.
[51] G. Ott, N. Feinstein: Design of sequential machines from their regular expressions. JACM 8 (1961), 4, 585-600. · Zbl 0171.27505
[52] S. Papert, R. McNaughton: Non-counting automata. Rensselaer Polyt. Inst. (manuscript), 1967. · Zbl 0232.94024
[53] A. Paz, B. Peleg: Ultimate-definite and symmetric-definite events and automata. JACM 12 (1965), 3, 399-410. · Zbl 0127.01004
[54] 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
[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. · Zbl 0158.01002
[56] T. F. Piatkowski: Computer programs dealing with finite state machines. Techn. Rept., Michigan University, 1967.
[57] M. O. Rabin, D. Scott: Remarks on finite automata. Summer Inst. Symb. Logic, Cornell Univ. 1957, 106-112.
[58] M. O. Rabin, D. Scott: Finite automata and their decision problems. IBM Journal Res. Dev. 3 (1959), 2, 114-125. · Zbl 0158.25404
[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.
[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.
[61] A. Salomaa: Theorems on the representation of events in Moore-automata. Ann. Univ. Turku, AI. Vol. 69 (1964). · Zbl 0124.00501
[62] A. Salomaa: Axiom systems for regular expressions of finite automata. Ann. Univ. Turku, AI Vol. 75 (1964), 14-29. · Zbl 0127.01003
[63] A. Salomaa: The complete axiom systems for the algebra of regular events. JACM 13 (1966), 1, 152-169. · Zbl 0149.24902
[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. · Zbl 0174.29001
[65] M. P. Schützenberger: Finite counting automata. Information and Control 5 (1962), 91-107. · Zbl 0118.12506
[66] M. P. Schützenberger: On finite monoids having only trivial subgroups. Information and Control 8 (1965), 2, 190-194. · Zbl 0131.02001
[67] M. P. Schützenberger: On a family of sets related to McNaughton’s L-language. Automata theory (ed. Caianiello), Academic Press, 1966, 320-324. · Zbl 0192.07902
[68] M. P. Schützenberger: Sur certaines varietés de monoides finis. Automata theory (ed. Caianiello), Academic Press 1966, 314-319. · Zbl 0192.07901
[69] E. Shamir: On sequential languages and two classes of regular events. Zeit. Phonetik Sprachwiss. Komm. 18 (1965), 61-69.
[70] P. H. Starke: Über die Darstellbarkeit von Ereignissen in nicht-initialen Automaten. Zeit. Math. Log. und Grund. Math. 9 (1963), 4, 315-319. · Zbl 0129.26301
[71] P. H. Starke: Stochastische Ereignisse und Wortmengen. Zeit. Math. Log. u. Grund. Math. 12 (1966), 1-2, 61-68. · Zbl 0163.01101
[72] R. E. Stearns, J. Hartmanis: Regularity preserving modifications of regular expressions. Information and Control 6 (1963), 55-69. · Zbl 0112.11307
[73] V. Tixier: Recursive functions of regular expressions in language analysis. Thesis, Stanford University, 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. · Zbl 0157.02201
[75] K. Thompson: Regular expression search algorithm. Comm. ACM 11 (1968), 6, 419-422. · Zbl 0164.46205
[76] P. Turakainen: On non-regular events representable in probabilistic automata with one input letter. Ann. Univ. Turku, AI., Vol. 90 (1966). · Zbl 0166.00602
[77] K. Udagawa Y. Inagaki, H. Tange: State characteristic equations of finite automata and their regular expressions. Electron. Commun. Japan 48 (1965), 25.
[78] K. Udagawa, H. Tange: Transformation of state diagrams by state characteristic equations of finite automata. Electron. Commun. Japan 48 (1965), 48.
[79] V. Vučkovič: On a class of regular sets. Notre Dame Journ. Form. Log. 5 (1964), 2, 113-124. · Zbl 0133.25702
[80] H. Yamada: Disjunctively linear logic nets. Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 5, 623-639.
[81] H. Yamada: Franctionalization of regular expressions.
[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.
[83] M. Yoeli: Lattice-ordered semigroups, graphs and automata. Journal of the SIAM 13 (1965), 2, 411-422. · Zbl 0128.25102
[84] M. Yoeli: Canonical representation of chain events. Information and Control 8 (1965), 2, 180-189. · Zbl 0199.04203
[85] В. Г. Боднарчук: Автоматы и события. Украинский матєматичєский журнал 14 (1962), 2, 351-361. · Zbl 1005.68507
[86] В. Г. Боднарчук: Анализ взвешенных графов методом решения уравнений в алгебре событий. В сборнике: Теория конечных и вероятностных автоматов, Москва 1965, 246-249. · Zbl 1099.01519
[87] В. Г. Боднарчук: Системы уравнений в алгебре событий. Журн. вычисл. математики и мат. физики 3 (1963) 6, 1077-1088. · Zbl 1145.93303
[88] В. Г. Боднарчук: Метрические пространство событий I./II. Кибєрнєтика (АН Украинской ССР) (1965), 1, 24-27; 2, 22-23. · Zbl 0298.02073
[89] В. Н. Глушков: Об одном алгоритме синтеза абстрактных автоматов. Украинский матєматичєский журнал 12 (1960) 2, 147-156. · Zbl 1004.90500
[90] В. Н. Глушков: Про один метод аналізу абстрактных автоматів. Доповіді Акад. Наук Украинской ССР 12 (1960), 9, 1151-1154.
[91] В. Н. Глушков: Некоторые проблемы синтеза цифровых автоматов. Журн. вычисл. математики и мат. физики 1 (1961) 3, 371-411. · Zbl 1160.68305
[92] В. Н. Глушков: Синтез цифровых автоматов. Физматгиз, Москва 1962. · Zbl 1005.68507
[93] В. Н. Глушков: Абстрактная теория автоматов. Успехи мат. наук 16 (1961) 5. · Zbl 1160.68305
[94] В. И. Казначеев: Построение тестов конечных автоматов с помощью языка регулярных выражений. В сб. Проблемы синтеза цифровых автоматов, Москва 1967, 145. · Zbl 1103.35360
[95] И. Н. Коваленко: Замечание о сложности представления событий в вероятностных и детерминированных конечных автоматах. Кибєрнєтика (АН Украинской ССР) (1965) 2, 35-36. · Zbl 1099.01519
[96] A. A. Kupmnt: Обращение автоматов по отношению к регулярному событию. Автоматика и вычислительная техника (1967), 4, 9-16. · Zbl 1103.35360
[97] О. П. Кузнецов: Об одном классе регулярных событий. B c6.: Структурная теория релейных устройств. Москва 1963. · Zbl 1145.93303
[98] О. П. Кузнецов: Представление регулярных событий в асинхронных автоматах. Автоматика и тєлємєханика 26 (1965) 6, 1086-1093. · Zbl 1099.01519
[99] О. П. Кузнецов Е. Д. Стоцкая: Исследования по языке регулярных событий. Колл. по языкам конечных автоматов, Томск 1964. · Zbl 1230.62001
[100] А. Г. Лунц: Метод анализа конечных автоматов. ДАН 160 (1965) 4, 778-780. · Zbl 1099.01519
[101] Ю. И. Любич: О свойствах периодичности событий, представлимых в конечных автоматах. Украинский матєматичєский журнал 16 (1964), 3, 396-402. · Zbl 1117.65300
[102] Ю. Т. Медведев: О классе событий, допускающих представление в конечном автомате. B c6.: Автоматы, Москва 1956. · Zbl 0995.90522
[103] В. Г. Миркин: Новый алгоритм построения базиса в языке регулярных выражений. Известия АН СССР - Техническая кибернетика (1966) 5, 113-119. · Zbl 1155.78304
[104] В. Г. Миркин: О языке псевдорегулярных выражений. Кибєрнєтика (АН Украинской ССР) 2 (1966) 6, 8-11. · Zbl 1155.78304
[105] В. Г. Миркин: Минимизация последовательностных машин относительно регулярных полных справа событий. Автоматика и тєлємєханика (1967) 11, 149-153. · Zbl 1103.35360
[106] В. Г. Миркин: О распознавании относительной эквивалентности последовательностных машин. Автоматика и тєлємєханика (1967), 2, 133-136. · Zbl 1103.35360
[107] Г. С. Плеснович: О событиях, связанных с семейством автоматов 1. Вычислительные системы 9 (1963), 44-64. · Zbl 0316.53012
[108] В. Н. Редько: Про коммутативные замыкания подий. Доповиди АН УССР (1963), 1156-1158. · Zbl 1145.93303
[109] В. Н. Редько: Об алгебре коммутативных событий. Украинский матєматичєский журнал 16 (1964) 2, 185-195. · Zbl 1117.65300
[110] В. Н. Редько: Об определяющей совокупности соотношений алгебры регулярных событий. Украинский матєматичєский журнал 16 (1964) 1, 120-126. · Zbl 1117.65300
[111] В. Н. Редько: О коммутативных автоматах. B c6.: Теория конечных и вероятностных автоматов. Москва 1965, 253-256. · Zbl 1099.01519
[112] A. Canomaa: Аксиоматизация алгебры событий, реализуемых логическими сетями. Проблемы кибернетики 17, Москва 1966, 237-246. · Zbl 1155.78304
[113] М. А. Спивак: Новый алгоритм абстрактного синтеза автоматов. Материалы научных семинаров на теорет. и прикл. вопросам кибернетики 1 (1963), 3. · Zbl 1145.93303
[114] М. А. Спивак: Разложение регулярного выражения по базису и его применения. ДАН 162 (1965), 3, 520-522. · Zbl 1099.01519
[115] М. А. Спивак: Алгоритм абстрактного синтеза автоматов для расширенного языка регулярных выражений. Извести АН СССР - Техническая кибернетика (1965) 1, 51-57. · Zbl 1099.01519
[116] М. А. Спивак: К методу анализа абстрактных автоматов с помощью уравнений в алгебре событий. Кибєрнєтика (АН Украинской ССР) 1 (1965) 1, 28. · Zbl 1099.01519
[117] М. А. Спивак: Представление автоматных отображений регулярными выражениями. Кибєрнєтика (АН Украинской ССР) 1 (1965) 6, 15-17. · Zbl 1099.01519
[118] М. А. Спивак: Некоторые свойства множества экспериментов автомата. Кибєрнєтика (АН Украинской ССР) 2 (1966) 6, 1-7. · Zbl 1155.78304
[119] Ю. И. Янов: О тождественных преобразованиях регулярных выражений. ДАН 147 (1962), 2, 327-330. · Zbl 1005.68507
[120] Ю. И. Янов: Об инвариантных операциях над событиями. Пробл. кибернетики 12, Москва 1964, 253-258. · Zbl 1117.65300
[121] Ю. И. Янов: Об эквивалентных преобразованиях регулярных выражений. B c6.: Теория конечных и вероятностных автоматов. Москва 1965, 230-231. · Zbl 1099.01519
[122] Ю. И. Янов: О некоторых подалгебрах событий, не имеющих конечных полных систем тождеств. Пробл. кибернетики 17, Москва 1966, 255-258. · Zbl 1155.78304
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.