The closure under division and a characterization of the recognizable -subsets
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1996)
- Volume: 30, Issue: 3, page 209-230
- ISSN: 0988-3754
Access Full Article
topHow to cite
topKobayashi, Nami. "The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 30.3 (1996): 209-230. <http://eudml.org/doc/92535>.
@article{Kobayashi1996,
author = {Kobayashi, Nami},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {recognizable -subsets},
language = {eng},
number = {3},
pages = {209-230},
publisher = {EDP-Sciences},
title = {The closure under division and a characterization of the recognizable $\mathcal \{Z\}$-subsets},
url = {http://eudml.org/doc/92535},
volume = {30},
year = {1996},
}
TY - JOUR
AU - Kobayashi, Nami
TI - The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1996
PB - EDP-Sciences
VL - 30
IS - 3
SP - 209
EP - 230
LA - eng
KW - recognizable -subsets
UR - http://eudml.org/doc/92535
ER -
References
top- 1. J. BERSTEL and C. REUTENAUER, Les Séries Rationnelles et Leurs Langages, Masson, Paris, 1984. Zbl0573.68037MR745968
- 2. S. EILENBERG, Automata, Languages and Machines, vol. A, Academic Press, New York, 1974. Zbl0317.94045MR530382
- 3. K. HASHIGUCHI, A Decision Procedure for the Order of Regular Events, Theoret. Comput. Sci., 1979, 8, pp. 69-72. Zbl0419.68088MR523661
- 4. K. HASHIGUCHI, Limitedness Theorem on Finite Automata with Distance Functions, J. Comput. System Sci., 1982, 24, 2, pp. 233-244. Zbl0513.68051MR661652
- 5. K. HASHIGUCHI, Improved Limitedness Theorem on Finite Automata with Distance Functions, Theoret. Comput. Sci., 1990, 72, pp. 27-38. Zbl0693.68031MR1065598
- 6. K. HASHIGUCHI, Algorithms for Determining Relative Star Height and Star Height, Inform. and Comput., 1988, 78, pp. 124-169. Zbl0668.68081MR955580
- 7. N. KOBAYASHI, Propriedades de M-subconjuntos Reconhecíveis de um Monóide Livre, Tese de Doutorado, Departamento de Ciência da Computação, Instituto de Matemática e Estatística da Universidade de São Paulo, 1991.
- 8. N. KOBAYASHI, Properties of Recognizable M-subsets of a Free Monoid, Lecture Notes in Comput. Sci., 583, I. Simon (Ed.), Springer-Verlag, Proceedings of LATIN'92, 1st Latin American Symposium on Theoretical INformatics, São Paulo, Brazil, 1992, pp. 314-328. MR1253364
- 9. N. KOBAYASHI, The Closure Under Division and a Characterization of the Recognizable Z-subsets, Technical Report RT-MAC-9415, IME-USP, São Paulo, 1994.
- 10. D. KROBThe Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable, Internat. J. Algebra and Comput., 1994, 4, 3, pp. 405-425. Zbl0834.68058MR1297148
- 11. D. KROB, Some Consequences of a Fatou Property of the Tropical Semiring, J. Pure Appl. Algebra, 1994, 93, 3, pp. 231-249. Zbl0806.68083MR1275966
- 12. H. LEUNG, Limitedness Teorem on Finite Automata with Distance Functions: an Algebraic Proof, Theoret. Comput. Sci., 1991, 81, pp. 137-145. Zbl0729.68049MR1103104
- 13. I. SIMON, Limited Subsets of a Free Monoid, in Proc. 19th. Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, Piscataway, N.J., 1978, pp. 143-150. MR539835
- 14. I. SIMON, The Nondeterministic Complexity of a Finite Automaton, in M. Lothaire(ed.), Mots - mélanges offerts à M. P. Schützenberger, pp. 384-400, Hermès, Paris, 1990. MR1252678
- 15. I. SIMON, Factorization Forests of Finite Height, Theoret. Comput. Sci., 1990, 72, pp. 65-94. Zbl0693.68044MR1065601
- 16. I. SIMON, Recognizable Sets with Multiplicities in the Tropical Semiring, Lecture Notes in Comput. Sci., 1988, 324, Springer-Verlag, pp. 107-120. Zbl0656.68086MR1023416
- 17. I. SIMON, On Semigroups of Matrices over the Tropical Semiring, RAIRO Inform. Théor. Appl., 1994, 28, pp. 277-294. Zbl0888.68086MR1282449
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.