@article{ITA_1999__33_2_133_0, author = {Redziejowski, Roman R.}, title = {Construction of a deterministic $\omega $-automaton using derivatives}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {133--158}, publisher = {EDP-Sciences}, volume = {33}, number = {2}, year = {1999}, mrnumber = {1707967}, zbl = {0946.68078}, language = {en}, url = {http://www.numdam.org/item/ITA_1999__33_2_133_0/} }
TY - JOUR AU - Redziejowski, Roman R. TI - Construction of a deterministic $\omega $-automaton using derivatives JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1999 SP - 133 EP - 158 VL - 33 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1999__33_2_133_0/ LA - en ID - ITA_1999__33_2_133_0 ER -
%0 Journal Article %A Redziejowski, Roman R. %T Construction of a deterministic $\omega $-automaton using derivatives %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1999 %P 133-158 %V 33 %N 2 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1999__33_2_133_0/ %G en %F ITA_1999__33_2_133_0
Redziejowski, Roman R. Construction of a deterministic $\omega $-automaton using derivatives. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 2, pp. 133-158. http://www.numdam.org/item/ITA_1999__33_2_133_0/
[1] Partial derivatives of regular expressions and finite automata constructions. In STACS 95, E.W. Mayr and C. Puech, Eds., Springer-Verlag (1995) 455-466. | MR
,[2] Derivatives of regular expressions. J. Assoc. Comput. Mach. 11 (1964) 481-494. | MR | Zbl
,[3] On equations for regular languages, finite automata, and sequential networks. Theoret. Comput. Sci. 10 (1980) 19-35. | MR | Zbl
and ,[4] Regular Algebra and Finite Machines. Chapman and Hall (1971). | Zbl
,[5] Concurrency and automata on infinite sequences, in Proc. 5th GI Conference, Karlsruhe, Springer-Verlag, Lecture Notes in Computer Science 104 (1981) 167-183. | Zbl
,[6] Finite automata, in Handbook of Theoretical Computer Science, J. van Leeuven, Ed., B, Elsevier Science Publishers (1990) 1-57. | MR | Zbl
,[7] Mots infinis. Internal report LITP 93.40, Laboratoire Informatique Théorique et Programmation, Institut Blaise Pascal, 4 Place Jussieu, F-75252 Paris Cedex 05 (1993).
and ,[8] Varieties of Formal Languages. North Oxford Academic (1986). | MR | Zbl
,[9] The theory of general events and its application to parallel programming. Technical paper TP 18.220, IBM Nordic Laboratory, Lidingö, Sweden (1972).
,[10] On the complexity of ω-automata, in Proc. 29th Annual Symposium on Foundations of Computer Science IEEE (1988) 319-327.
,[11] Finite-state ω-languages. J. Comput. System Sci. 27 (1983) 434-448. | MR | Zbl
,[12] The entropy of finite-state ω-languages. Problems of Control and Information Theory 14 (1985) 383-392. | MR | Zbl
,[13] ω-languages. In Handbook of Formal Languages, G. Rozenberg and A. Salomaa, Eds., 3, Springer-Verlag (1997) 339-387. | MR
,[14] Automata on infinite objects, in Handbook of Theoretical Computer Science, J. van Leeuven, Ed., B, Elsevier Science Publishers (1990) 133-191. | MR | Zbl
,