| Title:
|
The theory of regular events. II (English) |
| Title:
|
Teorie regulárních událostí. II (Czech) |
| Author:
|
Havel, Ivan M. |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
5 |
| Issue:
|
6 |
| Year:
|
1969 |
| Pages:
|
(520)-544 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
94.40 |
| idZBL:
|
Zbl 0184.28703 |
| idMR:
|
MR0256787 |
| . |
| Date available:
|
2009-09-24T16:06:37Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124137 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/125470 |
| . |
| Reference:
|
[1] S. Aanderaa: On the algebra of regular expressions.Appl. Math., Harvard University, Jan. 1965, 1-18. |
| Reference:
|
[2] V. Amar G. Putzolu: Generalizations of regular events.Information and Control 8 (1965), 1, 56-63. MR 0176856 |
| Reference:
|
[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. |
| Reference:
|
[4] J. A. Brzozowski: Properties of regular expressions and state diagrams.Tech. Rept. No 15, Princeton University, 1962. |
| Reference:
|
[5] J. A. Brzozowski: Regular expression techniques for sequential circuits.Ph. D. dissertation, Princeton University 1962. |
| Reference:
|
[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, MR 0146026 |
| Reference:
|
[7] J. A. Brzozowski: Canonical regular expressions and minimal state graphs for definite events.In: Mathematical Theory of Automata, Polytechnic Press, 1963. Zbl 0116.33605, MR 0175719 |
| Reference:
|
[8] J. A. Brzozowski: Derivatives of regular expressions.JACM 11 (1964), 4, 481-494. Zbl 0225.94044, MR 0174434 |
| Reference:
|
[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 |
| Reference:
|
[10] J. A. Brzozowski: Roots of star events.JACM 14 (1967), 3, 466-77. Zbl 0162.02601, MR 0237237 |
| Reference:
|
[11] J. A. Brzozowski: Regular theory of sequential machines.(Manuscript) Univ. of Waterloo, 1968. |
| Reference:
|
[12] J. A. Brzozowski: Regular-like expressions for some irregular languages.In: IEEE 8th. Ann. Symp. on Switching and Automata Theory, 1968. |
| Reference:
|
[13] J. A. Brzozowski, R. Cohen: On decompositions of regular events.In: IEEE 7th Ann. Symp. Switching and Automata Theory, 1967, 255-264. |
| Reference:
|
[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 |
| Reference:
|
[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. |
| Reference:
|
[16] R. Cohen: Transition graphs and the star heights problem.In: IEEE 8th Ann. Symp. on Switching and Automata Theory, 1968. |
| Reference:
|
[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. |
| Reference:
|
[18] R. Cohen, J. A. Brzozowski: On star-free events.Hawaii Int. Conf. on System Sciences, 1968. |
| Reference:
|
[19] I. Copi C. C. Elgot, J. B. Wright: Realization of events by logical nets.JACM 5 (1958), 2, 181-196. MR 0129523 |
| Reference:
|
[20] H. Allen Curtis: Polylinear sequential circuit realizations of finite automata.Transactions of the IEEE (IRE) on Computers 17 (1968), 3, 251-259. |
| Reference:
|
[21] F. Dejean, M. P. Schutzenberger: On a question of Eggan.Information and Control 9 (1966), 23 - 25. MR 0191762 |
| Reference:
|
[22] L. C. Eggan: Transition graphs and the star height of regular events.Michigan Math. Journal 10 (1963), 385-397. Zbl 0173.01504, MR 0157840 |
| Reference:
|
[23] C. C. Elgot: Decision problems of finite automata design and related arithmetic.Trans. Am. Math. Soc. 98 (1961), 1, 21-51. MR 0139530 |
| Reference:
|
[24] S. Even: Rational numbers and regular events.Transactions of the IEEE (IRE) on Electronic Computers 13 (1964), 6, 740-741. Zbl 0178.33101 |
| Reference:
|
[25] T. Frey: Über die Konstruktion endlicher Automaten.Acta Math. Acad. Sci. Hungar, 15 (1964), 383-398. Zbl 0133.25604, MR 0166100 |
| Reference:
|
[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 |
| Reference:
|
[27] S. Ginsburg, T. N. Hibbard: Solvability of Machine Mappings of regular sets to regular sets.JACM 11 (1964) 3, 302-312. MR 0165731 |
| Reference:
|
[28] S. Ginsburg, E. H. Spanier: Bounded regular sets.Proc. Am. Math. Soc. 17 (1966), 1043-1049. Zbl 0147.25301, MR 0201310 |
| Reference:
|
[29] S. Ginsburg, E. H. Spanier: Quotients of context-free languages.JACM 10 (1963), 4, 487-492. MR 0163808 |
| Reference:
|
[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 |
| Reference:
|
[31] A. Ginzburg: A procedure for checking equality of regular expressions.JACM 14 (1967), 2, 355-362. Zbl 0155.34501 |
| Reference:
|
[32] A. Ginzburg: Algebraic theory of automata.Academic Press, New York, 1958. MR 0242679 |
| Reference:
|
[33] Y. Give'on: The theory of algebraic automata I.Univ. of Michigan, Ann Arboг, 1964. |
| Reference:
|
[34] Y. Give'on: Outline for an algebraic study of event automata.Univ. of Michigan, Ann Arbor, 1964. |
| Reference:
|
[35] J. N. Gray, M. A. Harrison: The theory of sequential relations.Information and Control 9 (1966), 5, 435-468. Zbl 0148.25104, MR 0216904 |
| Reference:
|
[36] I. M. Havel: Jazyky zápisu a zadání konečných automatů.Thesis EF ČVUT, Praha 1966. |
| Reference:
|
[37] I. M. Havel: Regular expressions over generalized alphabet and design of logical nets.Kybernetika 4 (1968), 6, 516-537. Zbl 0169.31504, MR 0247956 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[41] T. Kasami K. Torii, H. Ozaki: Translation of finite state languages by a sequential machine.Journ. Inst. Elec. Commun. Engs. Japan (1966). |
| Reference:
|
[42] S. C. Kleene: Representation of events in nerve nets and finite automata.In: Automata Studies, Princeton University Press, 1956. MR 0077478 |
| Reference:
|
[43] R. Laing: Tape machined realization sof commutative-regular events.Techn. Rept. Michigan Univ. 1965. |
| Reference:
|
[44] R. Laing: Realization and complexity of commutative events.Rept., Michigan Univ. 1967. |
| Reference:
|
[45] R. Laing, J. B. Wright: Commutative machines.Techn. Rept. Michigan Univ. 1962. |
| Reference:
|
[46] R. McNaughton: Techniques for manipulating regular expressions.In: Systems and Computer Science. University of Toronto Press, 1967. MR 0234780 |
| Reference:
|
[47] R. McNaughton: The loop complexity of regular events.Rept. M.I.T. 1966. |
| Reference:
|
[48] R. McNaughton: Testing and generating infinite sequences by a finite automaton.Information and Control 9 (1966), 5, 521-530. Zbl 0212.33902, MR 0213241 |
| Reference:
|
[49] R. McNaughton: The loop complexity of pure-group events.Information and Control 11 (1967), 167-176. Zbl 0166.26905, MR 0249218 |
| Reference:
|
[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 |
| Reference:
|
[51] J. Myhill: Finite automata and the representation of events.WADC Tech. Rept. 1957. |
| Reference:
|
[52] G. Ott, N. Feinstein: Design of sequential machines from their regular expressions.JACM 8 (1961), 4, 585-600. Zbl 0171.27505, MR 0141549 |
| Reference:
|
[53] S. Papert, R. McNaughton: Non-counting automata.Rensselaer Polyt. Inst. (manuscript), 1967. |
| Reference:
|
[54] A. Paz, B. Peleg: Ultimate-definite and symmetric-definite events and automata.JACM 12 (1965), 3, 399-410. Zbl 0127.01004, MR 0210524 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[57] T. F. Piatkowski: Computer programs dealing with finite state machines.Techn. Rept., Michigan University, 1967. |
| Reference:
|
[58] M. O. Rabin, D. Scott: Remarks on finite automata.In: Summer Inst. Symb. Logic, Cornell Univ. 1957, 106-112. |
| Reference:
|
[59] M. O. Rabin, D. Scott: Finite automata and their decision problems.IBM Journal Res. Dev. 3 (1959), 2, 114-125. MR 0103795 |
| Reference:
|
[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. |
| Reference:
|
[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. |
| Reference:
|
[62] A. Salomaa: Theorems on the representation of events in Moore-automata.Ann. Univ. Turku, AI. Vol. 69 (1964). Zbl 0124.00501, MR 0169750 |
| Reference:
|
[63] A. Salomaa: Axiom systems for regular expressions of finite automata.Ann. Univ. Turku, AI Vol. 75 (1964), 14-29. Zbl 0127.01003, MR 0168463 |
| Reference:
|
[64] A. Salomaa: The complete axiom systems for the algebra of regular events.JACM 13 (1966), 1, 152-169. MR 0189995 |
| Reference:
|
[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. Zbl 0174.29001, MR 0235942 |
| Reference:
|
[66] M. P. Schützenberger: Finite counting automata.Information and Control 5 (1962), 91-107. MR 0154774 |
| Reference:
|
[67] M. P. Schützenberger: On finite monoids having only trivial subgroups.Information and Control 8 (1965), 2, 190-194. MR 0176883 |
| Reference:
|
[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. Zbl 0192.07902, MR 0219365 |
| Reference:
|
[69] M. P. Schützenberger: Sur certaines varietés de monoides finis.In: Automata theory (ed. Caianiello), Academic Press 1966, 314-319. MR 0205766 |
| Reference:
|
[70] E. Shamir: On sequential languages and two classes of regular events.Zeit. Phonetik Sprachwiss. Komm. 18 (1965), 61-69. MR 0183642 |
| Reference:
|
[71] 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, MR 0159760 |
| Reference:
|
[72] P. H. Starke: Stochastische Ereignisse und Wortmengen.Zeit. Math. Log. u. Grund. Math. 12 (1966), 1-2, 61-68. Zbl 0163.01101, MR 0197227 |
| Reference:
|
[73] R. E. Stearns, J. Hartmanis: Regularity preserving modifications of regular expressions.Information and Control 6 (1963), 55-69. Zbl 0112.11307, MR 0160694 |
| Reference:
|
[74] V. Tixier: Recursive functions of regular expressions in language analysis.Thesis, Stanford University, 1967. |
| Reference:
|
[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 |
| Reference:
|
[76] K. Thompson: Regular expression search algorithm.Comm. ACM 11 (1968), 6, 419-422. Zbl 0164.46205 |
| Reference:
|
[77] P. Turakainen: Оn non-regular events representable in probabilistic automata with one input letter.Ann. Univ. Turku, AI., Vol. 90 (1966). MR 0255325 |
| Reference:
|
[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 |
| Reference:
|
[79] K. Udagawa, H. Tange: Transformation of state diagrams by state characteristic equations of finite automata.Electron. Commun. Japan 48 (1965), 48. |
| Reference:
|
[80] V. Vučkovič: On a class of regular sets.Notre Dame Journ. Form. Log. 5 (1964), 2, 113-124. MR 0218241 |
| Reference:
|
[81] H. Yamada: Disjunctively linear logic nets.Transactions of the IEEE (IRE) on Electronic Computers 11 (1962), 5, 623-639. MR 0154447 |
| Reference:
|
[82] H. Yamada: Franctionalization of regular expressions.(unpublished note). |
| Reference:
|
[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. |
| Reference:
|
[84] M. Yoeli: Lattice-ordered semigroups, graphs and automata.Journal of the SIAM 13 (1965), 2, 411-422. Zbl 0128.25102, MR 0178086 |
| Reference:
|
[85] M. Yoeli: Canonical representation of chain events.Information and Control 8 (1965), 2, 180-189. MR 0174436 |
| Reference:
|
[86] В. Г. Боднарчук: Автоматы и события.Укpaинcкий мaтeмaтичecкий жypнaл 14 (1962), 2, 351-361. Zbl 1005.68507, MR 0146031 |
| Reference:
|
[87] В. Г. Боднарчук: Анализ взвешенных графов методом решения уравнений в алгебре событий.В сборнике: Теория конечных и вероятностных автоматов, Москва 1965, 246-249. Zbl 1099.01519 |
| Reference:
|
[88] В. Г. Боднарчук: Системы уравнений в алгебре событий.Журн. вычисл. математики и мат. физики 3 (1963) 6, 1077-1088. Zbl 1145.93303, MR 0162711 |
| Reference:
|
[89] В. Г. Боднарчук: Метрические пространство событий I./II.Kибepнeтикa (AH Укpaинcкoй CCP) (1965), 1, 24-27; 2, 22-23. Zbl 0298.02073 |
| Reference:
|
[90] В. Н. Глушков: Об одном алгоритме синтеза абстрактных автоматов.Укpaинcкий мaтeмaтичecкий жypнaл 12 (1960) 2, 147-156. Zbl 1004.90500, MR 0136489 |
| Reference:
|
[91] В. Н. Глушков: Про один метод аналiзу абстрактных автоматiв.Доповiдi Акад. Наук Украинской ССР 12 (1960), 9, 1151-1154. |
| Reference:
|
[92] В. Н. Глушков: Некоторые проблемы синтеза цифровых автоматов.Журн. вычисл. математики и мат. физики 1 (1961) 3, 371-411. Zbl 1160.68305, MR 0182513 |
| Reference:
|
[93] В. Н. Глушков: Синтез цифровых автоматов.Физматгиз, Москва 1962. Zbl 1005.68507 |
| Reference:
|
[94] В. Н. Глушков: Абстрактная теория автоматов.Успехи мат. наук 16 (1961) 5. Zbl 1160.68305 |
| Reference:
|
[95] В. И. Казначеев: Построение тестов конечных автоматов с помощью языка регулярных выражений.В сб. Проблемы синтеза цифровых автоматов, Москва 1967, 145. Zbl 1103.35360 |
| Reference:
|
[96] И. Н. Коваленко: Замечание о сложности представления событий в вероятностных и детерминированных конечных автоматах.Kибepнeтикa (AH Укpaинcкoй CCP) (1965) 2, 35-36. Zbl 1099.01519 |
| Reference:
|
[97] А. А. Курмит: Обращение автоматов по отношению к регулярному событию.Автоматика и вычислительная техника (1967), 4, 9-16. Zbl 1103.35360 |
| Reference:
|
[98] О. П. Кузнецов: Об одном классе регулярных событий.В сб.: Структурная теория релейных устройств. Москва 1963. Zbl 1145.93303 |
| Reference:
|
[99] О. П. Кузнецов: Представление регулярных событий в асинхронных автоматах.Aвтoмaтикa и тeлeмexaникa 26 (1965) 6, 1086-1093. Zbl 1099.01519 |
| Reference:
|
[100] О. П. Кузнецов Е. Д. Стоцкая: Исследования по языке регулярных событий.Колл. по языкам конечных автоматов, Томск 1964. Zbl 1230.62001 |
| Reference:
|
[101] А. Г. Лунц: Метод анализа конечных автоматов.ДАН 160 (1965) 4, 778-780. Zbl 1099.01519, MR 0183594 |
| Reference:
|
[102] Ю. И. Любич: О свойствах периодичности событий, представлимых в конечных автоматах.Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964), 3, 396-402. Zbl 1117.65300, MR 0171669 |
| Reference:
|
[103] Ю. Т. Медведев: О классе событий, допускающих представление в конечном автомате.В сб.: Автоматы, Москва 1956. Zbl 0995.90522 |
| Reference:
|
[104] В. Г. Миркин: Новый алгоритм построения базиса в языке регулярных выражений.Известия АН СССР - Техническая кибернетика (1966) 5, 113-119. Zbl 1155.78304 |
| Reference:
|
[105] В. Г. Миркин: О языке псевдорегулярных выражений.Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 8-11. Zbl 1155.78304 |
| Reference:
|
[106] В. Г. Миркин: Минимизация последовательностных машин относительно регулярных полных справа событий.Aвтoмaтикa и тeлeмexaникa (1967) 11, 149-153. Zbl 1103.35360, MR 0235922 |
| Reference:
|
[107] В. Г. Миркин: О распознавании относительной эквивалентности последовательностных машин.Aвтoмaтикa и тeлeмexaникa (1967), 2, 133-136. Zbl 1103.35360 |
| Reference:
|
[108] Г. С. Плеснович: О событиях, связанных с семейством автоматов 1.Вычислительные системы 9 (1963), 44-64. Zbl 0316.53012 |
| Reference:
|
[109] В. Н. Редько: Про коммутативные замыкания подий.Доповиди АН УССР (1963), 1156-1158. Zbl 1145.93303 |
| Reference:
|
[110] В. Н. Редько: Об алгебре коммутативных событий.Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 2, 185-195. Zbl 1117.65300 |
| Reference:
|
[111] В. Н. Редько: Об определяющей совокупности соотношений алгебры регулярных событий.Укpaинcкий мaтeмaтичecкий жypнaл 16 (1964) 1, 120-126. Zbl 1117.65300, MR 0179033 |
| Reference:
|
[112] В. Н. Редько: О коммутативных автоматах.В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 253-256. Zbl 1099.01519 |
| Reference:
|
[113] А. Саломаа: Аксиоматизация алгебры событий, реализуемых логическими сетями.Проблемы кибернетики 17, Москва 1966, 237-246. Zbl 1155.78304, MR 0215724 |
| Reference:
|
[114] М. А. Спивак: Новый алгоритм абстрактного синтеза автоматов.Материалы научных семинаров на теорет. и прикл. вопросам кибернетики 1 (1963), 3. Zbl 1145.93303 |
| Reference:
|
[115] М. А. Спивак: Разложение регулярного выражения по базису и его применения.ДАН 162 (1965), 3, 520-522. Zbl 1099.01519, MR 0180462 |
| Reference:
|
[116] М. А. Спивак: Алгоритм абстрактного синтеза автоматов для расширенного языка регулярных выражений.Извести АН СССР - Техническая кибернетика (1965) 1, 51-57. Zbl 1099.01519, MR 0188022 |
| Reference:
|
[117] М. А. Спивак: К методу анализа абстрактных автоматов с помощью уравнений в алгебре событий.Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 1, 28. Zbl 1099.01519 |
| Reference:
|
[118] М. А. Спивак: Представление автоматных отображений регулярными выражениями.Kибepнeтикa (AH Укpaинcкoй CCP) 1 (1965) 6, 15-17. Zbl 1099.01519 |
| Reference:
|
[119] М. А. Спивак: Некоторые свойства множества экспериментов автомата.Kибepнeтикa (AH Укpaинcкoй CCP) 2 (1966) 6, 1-7. Zbl 1155.78304 |
| Reference:
|
[120] Ю. И. Янов: О тождественных преобразованиях регулярных выражений.ДАН 147 (1962), 2, 327-330. Zbl 1005.68507, MR 0142460 |
| Reference:
|
[121] Ю. И. Янов: Об инвариантных операциях над событиями.Пробл. кибернетики 12, Москва 1964, 253-258. Zbl 1117.65300 |
| Reference:
|
[122] Ю. И. Янов: Об эквивалентных преобразованиях регулярных выражений.В сб.: Теория конечных и вероятностных автоматов. Москва 1965, 230-231. Zbl 1099.01519 |
| Reference:
|
[123] Ю. И. Янов: О некоторых подалгебрах событий, не имеющих конечных полных систем тождеств.Пробл. кибернетики 17, Москва 1966, 255-258. Zbl 1155.78304, MR 0214412 |
| . |
