Gao, Yuan; Yu, Sheng State complexity and approximation. (English) Zbl 1255.68094 Int. J. Found. Comput. Sci. 23, No. 5, 1085-1098 (2012). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{Y. Gao} and \textit{S. Yu}, Int. J. Found. Comput. Sci. 23, No. 5, 1085--1098 (2012; Zbl 1255.68094) Full Text: DOI
Salomaa, Arto; Yu, Sheng Subword occurrences, Parikh matrices and Lyndon images. (English) Zbl 1187.68300 Int. J. Found. Comput. Sci. 21, No. 1, 91-111 (2010). MSC: 68Q45 03D05 68R15 PDFBibTeX XMLCite \textit{A. Salomaa} and \textit{S. Yu}, Int. J. Found. Comput. Sci. 21, No. 1, 91--111 (2010; Zbl 1187.68300) Full Text: DOI
Salomaa, Kai; Yu, Sheng; Zan, Jinfeng Deciding determinism of caterpillar expressions. (English) Zbl 1194.68146 Theor. Comput. Sci. 410, No. 37, 3438-3446 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., Theor. Comput. Sci. 410, No. 37, 3438--3446 (2009; Zbl 1194.68146) Full Text: DOI
Liu, Guangwu; Martin-Vide, Carlos; Salomaa, Arto; Yu, Sheng State complexity of basic language operations combined with reversal. (English) Zbl 1154.68073 Inf. Comput. 206, No. 9-10, 1178-1186 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Liu} et al., Inf. Comput. 206, No. 9--10, 1178--1186 (2008; Zbl 1154.68073) Full Text: DOI
Salomaa, Kai; Yu, Sheng; Zan, Jinfeng Deterministic caterpillar expressions. (English) Zbl 1139.68374 Holub, Jan (ed.) et al., Implementation and application of automata. 12th international conference, CIAA 2007, Prague, Czech Republic, July 16–18, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-76335-2/pbk). Lecture Notes in Computer Science 4783, 97-108 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., Lect. Notes Comput. Sci. 4783, 97--108 (2007; Zbl 1139.68374) Full Text: DOI
Konstantinidis, Stavros; Santean, Nicolae; Yu, Sheng Representation and uniformization of algebraic transductions. (English) Zbl 1106.68061 Acta Inf. 43, No. 6, 395-417 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Acta Inf. 43, No. 6, 395--417 (2007; Zbl 1106.68061) Full Text: DOI
Salomaa, Arto; Yu, Sheng Subword conditions and subword histories. (English) Zbl 1171.68534 Inf. Comput. 204, No. 12, 1741-1755 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Salomaa} and \textit{S. Yu}, Inf. Comput. 204, No. 12, 1741--1755 (2006; Zbl 1171.68534) Full Text: DOI
Mateescu, Alexandru; Salomaa, Arto; Yu, Sheng Subword histories and Parikh matrices. (English) Zbl 1072.68085 J. Comput. Syst. Sci. 68, No. 1, 1-21 (2004). MSC: 68R15 PDFBibTeX XMLCite \textit{A. Mateescu} et al., J. Comput. Syst. Sci. 68, No. 1, 1--21 (2004; Zbl 1072.68085) Full Text: DOI
Câmpeanu, Cezar; Salomaa, Kai; Yu, Sheng A formal study of practical regular expressions. (English) Zbl 1101.68443 Int. J. Found. Comput. Sci. 14, No. 6, 1007-1018 (2003). MSC: 68N15 68Q45 PDFBibTeX XMLCite \textit{C. Câmpeanu} et al., Int. J. Found. Comput. Sci. 14, No. 6, 1007--1018 (2003; Zbl 1101.68443) Full Text: DOI
Ilie, Lucian; Yu, Sheng Reducing NFAs by invariant equivalences. (English) Zbl 1059.68064 Theor. Comput. Sci. 306, No. 1-3, 373-390 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Ilie} and \textit{S. Yu}, Theor. Comput. Sci. 306, No. 1--3, 373--390 (2003; Zbl 1059.68064) Full Text: DOI
Ilie, Lucian; Yu, Sheng Follow automata. (English) Zbl 1059.68063 Inf. Comput. 186, No. 1, 140-162 (2003). MSC: 68Q45 68P20 68Q19 68Q70 68W05 PDFBibTeX XMLCite \textit{L. Ilie} and \textit{S. Yu}, Inf. Comput. 186, No. 1, 140--162 (2003; Zbl 1059.68063) Full Text: DOI
Salomaa, Kai; Yu, Sheng Decidability of EDT0L structural equivalence. (English) Zbl 1002.68083 Theor. Comput. Sci. 276, No. 1-2, 245-259 (2002). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{K. Salomaa} and \textit{S. Yu}, Theor. Comput. Sci. 276, No. 1--2, 245--259 (2002; Zbl 1002.68083) Full Text: DOI
Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai; Yu, Sheng A sharpening of the Parikh mapping. (English) Zbl 1005.68092 Theor. Inform. Appl. 35, No. 6, 551-564 (2001). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{A. Mateescu} et al., Theor. Inform. Appl. 35, No. 6, 551--564 (2001; Zbl 1005.68092) Full Text: DOI Numdam EuDML Link
Câmpeanu, C.; Sântean, N.; Yu, S. Minimal cover-automata for finite languages. (English) Zbl 0984.68099 Theor. Comput. Sci. 267, No. 1-2, 3-16 (2001). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Câmpeanu} et al., Theor. Comput. Sci. 267, No. 1--2, 3--16 (2001; Zbl 0984.68099) Full Text: DOI
Salomaa, Kai (ed.); Wood, Derick (ed.); Yu, Sheng (ed.) Implementing automata. Selected papers from the 2nd international workshop, WIA ’97, Univ. of Western Ontario, London, Ontario, Canada, September 18–20, 1997. (English) Zbl 0948.00048 Theor. Comput. Sci. 231, No. 1, 140 p. (2000). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{K. Salomaa} (ed.) et al., Theor. Comput. Sci. 231, No. 1, 140~p. (2000; Zbl 0948.00048) Full Text: DOI
Salomaa, K.; Wu, X.; Yu, S. Efficient implementation of regular languages using reversed alternating finite automata. (English) Zbl 0951.68061 Theor. Comput. Sci. 231, No. 1, 103-111 (2000). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., Theor. Comput. Sci. 231, No. 1, 103--111 (2000; Zbl 0951.68061) Full Text: DOI
Salomaa, Kai; Wood, Derick; Yu, Sheng Structural equivalence and ET0L grammars. (English) Zbl 0871.68119 Theor. Comput. Sci. 164, No. 1-2, 123-140 (1996). MSC: 68Q42 PDFBibTeX XMLCite \textit{K. Salomaa} et al., Theor. Comput. Sci. 164, No. 1--2, 123--140 (1996; Zbl 0871.68119) Full Text: DOI
Salomaa, Kai; Wood, Derick; Yu, Sheng Complexity of E0L structural equivalence. (English) Zbl 0881.68070 RAIRO, Inform. Théor. Appl. 29, No. 6, 471-485 (1995). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., RAIRO, Inform. Théor. Appl. 29, No. 6, 471--485 (1995; Zbl 0881.68070) Full Text: DOI EuDML
Jiang, Tao; Kinber, Efim; Salomaa, Arto; Salomaa, Kai; Yu, Sheng Pattern languages with and without erasing. (English) Zbl 0939.68690 Int. J. Comput. Math. 50, No. 3-4, 147-163 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Jiang} et al., Int. J. Comput. Math. 50, No. 3--4, 147--163 (1994; Zbl 0939.68690) Full Text: DOI
Salomaa, Kai; Wood, Derick; Yu, Sheng Complexity of E0L structural equivalence. (English) Zbl 1493.68162 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 587-596 (1994). MSC: 68Q25 68Q42 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., Lect. Notes Comput. Sci. 841, 587--596 (1994; Zbl 1493.68162) Full Text: DOI
Jürgensen, H.; Salomaa, K.; Yu, S. Transducers and the decidability of independence in free monoids. (English) Zbl 0938.68710 Theor. Comput. Sci. 134, No. 1, 107-117 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Jürgensen} et al., Theor. Comput. Sci. 134, No. 1, 107--117 (1994; Zbl 0938.68710) Full Text: DOI
Salomaa, Kai; Wood, D.; Yu, Sheng Pumping and pushdown machines. (English) Zbl 0883.68093 RAIRO, Inform. Théor. Appl. 28, No. 3-4, 221-232 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} et al., RAIRO, Inform. Théor. Appl. 28, No. 3--4, 221--232 (1994; Zbl 0883.68093) Full Text: DOI EuDML
Jiang, Tao; Salomaa, Arto; Salomaa, Kai; Yu, Sheng Inclusion is undecidable for pattern languages. (English) Zbl 1422.68152 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 301-312 (1993). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{T. Jiang} et al., Lect. Notes Comput. Sci. 700, 301--312 (1993; Zbl 1422.68152) Full Text: DOI
Salomaa, Kai; Yu, Sheng Decidability of structural equivalence of E0L grammars. (English) Zbl 0729.68039 Theor. Comput. Sci. 82, No. 1, 131-139 (1991). Reviewer: M.Linna (Naasa) MSC: 68Q42 PDFBibTeX XMLCite \textit{K. Salomaa} and \textit{S. Yu}, Theor. Comput. Sci. 82, No. 1, 131--139 (1991; Zbl 0729.68039) Full Text: DOI
Culik, Karel II.; Yu, Sheng Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems. (English) Zbl 0743.68085 Discrete Appl. Math. 32, No. 2, 85-101 (1991). Reviewer: Tao Renji (Beijing) MSC: 68Q45 PDFBibTeX XMLCite \textit{K. II. Culik} and \textit{S. Yu}, Discrete Appl. Math. 32, No. 2, 85--101 (1991; Zbl 0743.68085) Full Text: DOI
Culik, K. II; Hurd, L. P.; Yu, S. Computation theoretic aspects of cellular automata. (English) Zbl 0729.68052 Physica D 45, No. 1-3, 357-378 (1990). MSC: 68Q80 68Q05 PDFBibTeX XMLCite \textit{K. Culik II} et al., Physica D 45, No. 1--3, 357--378 (1990; Zbl 0729.68052) Full Text: DOI
Fellah, A.; Jürgensen, H.; Yu, S. Constructions for alternating finite automata. (English) Zbl 0699.68081 Int. J. Comput. Math. 35, No. 1-4, 117-132 (1990). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Fellah} et al., Int. J. Comput. Math. 35, No. 1--4, 117--132 (1990; Zbl 0699.68081) Full Text: DOI
Yu, Sheng Can the catenation of two weakly sparse languages be dense? (English) Zbl 0644.68102 Discrete Appl. Math. 20, No. 3, 265-267 (1988). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Yu}, Discrete Appl. Math. 20, No. 3, 265--267 (1988; Zbl 0644.68102) Full Text: DOI
Culik, Karel II; Yu, Sheng Fault-tolerant schemes for some systolic systems. (English) Zbl 0656.68055 Int. J. Comput. Math. 22, No. 1, 13-42 (1987). MSC: 68Q80 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{S. Yu}, Int. J. Comput. Math. 22, No. 1, 13--42 (1987; Zbl 0656.68055) Full Text: DOI
Culik, Karel II; Yu, Sheng Real-time, pseudo real-time, and linear-time ITA. (English) Zbl 0619.68050 Theor. Comput. Sci. 47, 15-26 (1986). MSC: 68Q05 68Q45 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{S. Yu}, Theor. Comput. Sci. 47, 15--26 (1986; Zbl 0619.68050) Full Text: DOI
Culik, Karel II; Yu, Sheng Iterative tree automata. (English) Zbl 0544.68055 Theor. Comput. Sci. 32, 227-247 (1984). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{S. Yu}, Theor. Comput. Sci. 32, 227--247 (1984; Zbl 0544.68055) Full Text: DOI