Soit l'alphabet donné par un corps fini
Given the alphabet yielded by a finite field
Accepté le :
Publié le :
Luc Bélair 1 ; Maxime Gélinas 1 ; Françoise Point 2
@article{CRMATH_2016__354_3_225_0, author = {Luc B\'elair and Maxime G\'elinas and Fran\c{c}oise Point}, title = {Ensembles reconnaissables de s\'eries formelles sur un corps fini}, journal = {Comptes Rendus. Math\'ematique}, pages = {225--229}, publisher = {Elsevier}, volume = {354}, number = {3}, year = {2016}, doi = {10.1016/j.crma.2015.12.015}, language = {fr}, }
TY - JOUR AU - Luc Bélair AU - Maxime Gélinas AU - Françoise Point TI - Ensembles reconnaissables de séries formelles sur un corps fini JO - Comptes Rendus. Mathématique PY - 2016 SP - 225 EP - 229 VL - 354 IS - 3 PB - Elsevier DO - 10.1016/j.crma.2015.12.015 LA - fr ID - CRMATH_2016__354_3_225_0 ER -
Luc Bélair; Maxime Gélinas; Françoise Point. Ensembles reconnaissables de séries formelles sur un corps fini. Comptes Rendus. Mathématique, Volume 354 (2016) no. 3, pp. 225-229. doi : 10.1016/j.crma.2015.12.015. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2015.12.015/
[1] On omega-languages defined by mean-payoff conditions, Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 5504, Springer, Berlin, 2009, pp. 333-347
[2] Un principe d'Ax–Kochen–Ershov pour des structures intermédiaires entre groupes et corps valués, J. Symb. Log., Volume 64 (1999), pp. 991-1027
[3] On the decidability of the existential theory of
[4] Decidability and undecidability of extensions of second (first) order theory of (generalized) successor, J. Symb. Log., Volume 31 (1966) no. 2, pp. 169-181
[5] Séries formelles à coefficients dans un corps fini et automates, mémoire de maîtrise, Université du Québec à Montréal, 2015
[6] Décidabilité par automate fini, Ann. Sci. Math. Qué., Volume 7 (1983), pp. 39-57
[7] Les ensembles k-reconnaissables sont définissables dans
[8] Infinite Words, Automata, Semigroups, Logic and Games, Elsevier, Amsterdam, 2004
[9] Logical characterization of recognizable sets of polynomials over a finite field, Int. J. Found. Comput. Sci., Volume 22 (2011), pp. 1549-1563
[10] The theory of
Cité par Sources :
Commentaires - Politique