Utilisateur:ManiacParisien/Brouillons/Biblio-Sciences
Apparence
Biblio sciences
A[modifier | modifier le code]
- Automata Studies
- Stephen C. Kleene, « Representation of events in nerve nets and finite automata », dans Claude E. Shannon et John McCarthy (éditeurs), Automata Studies, Princeton, Princeton University Press, coll. « Annals of Mathematics Studies » (no 34), , viii+285 (ISBN 978-0691079165), p. 3-41
- Edward F. Moore, « Gedanken-experiments on sequential machines », dans Claude E. Shannon et John McCarthy (éditeurs), Automata Studies, Princeton, Princeton University Press, coll. « Annals of Mathematics Studies » (no 34), , viii+285 (ISBN 978-0691079165), p. 129-153
- Karel de Leeuw, Edward F. Moore, Claude E. Shannon et Norman Shapiro, « Computability by probabilistic machines », dans Claude E. Shannon et John McCarthy (éditeurs), Automata Studies, Princeton, Princeton University Press, coll. « Annals of Mathematics Studies » (no 34), , viii+285 (ISBN 978-0691079165), p. 183-212
- Aho
- Alfred Aho, Monica Lam, Ravi Sethi et Jeffrey Ullman, Compilateurs : principes, techniques et outils : Avec plus de 200 exercices, Pearson, , 2e éd., 928 p. (ISBN 9782744070372 et 2744070378) — Exercice 4.4.9 du Dragon book.
{{Ouvrage | langue = fr | auteur1 = Alfred Aho | auteur2 = Monica Lam | auteur3 = Ravi Sethi | auteur4 = Jeffrey Ullman | titre = Compilateurs : principes, techniques et outils | sous-titre = Avec plus de 200 exercices | éditeur = Pearson | lieu = | numéro édition = 2 |année = 2007 | pages totales = 928 | isbn = 9782744070372 | isbn2 = 2744070378}} {{commentaire biblio SRL|Exercice 4.4.9 du [[Dragon book]]}}.
- Alfred V. Aho, John E. Hopcroft et Jeffrey D. Ullman, Data Structures and Algorithms, Reading, Mass., Addison-Wesley, , 427 p. (ISBN 9780201000238).
- Alfred V. Aho, John E. Hopcroft et Jeffrey D. Ullman, The Design and Analysis of Computer Algorithms, Reading, Mass., Addison-Wesley, (ISBN 9780201000290).
- Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics. Second Series, vol. 160, no 2, , p. 781-793 (DOI 10.4007/annals.2004.160.781, MR MR2123939, zbMATH 02157791, lire en ligne)
{{article|prénom1=Manindra|nom1=Agrawal|prénom2=Neeraj|nom2=Kayal|prénom3=Nitin|nom3=Saxena |titre=PRIMES is in P |journal=Annals of Mathematics. Second Series|volume=160|numéro=2|pages=781-793 |année=2004|doi=10.4007/annals.2004.160.781|id=AKS |math reviews=MR2123939 |zbl=02157791 |url=http://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf}}
- Jacky Akoka et Isabelle Comyn-Wattiau (éditeurs), Encyclopédie de l'informatique et des systèmes d'information, Paris, Vuibert, , xxxv+1941 (ISBN 978-2-7117-4846-4)
{{ouvrage |prénom1=Jacky|nom1=Akoka|prénom2=Isabelle|nom2=Comyn-Wattiau|responsabilité2=éditeurs |titre=Encyclopédie de l'informatique et des systèmes d'information| |éditeur=Vuibert|lieu=Paris|année=2006|pages totales=xxxv+1941 |format=|isbn=978-2-7117-4846-4}}
- Alur
- Rajeev Alur et David L. Dill, « A Theory of Timed Automata », Theoretical Computer Science, vol. 126, no 2, (lire en ligne)
{{article |auteur1= Rajeev Alur | auteur2= David L. Dill |titre = A Theory of Timed Automata |journal = Theoretical Computer Science |volume = 126 |numéro = 2 | mois = avril |année = 1994 | pages 183-235 |url= https://www.cis.upenn.edu/~alur/TCS94.pdf }}
- Rajeev Alur, « Timed Automata », dans N. Halbwachs et D. Peled (éditeurs), Computer Aided Verification, 11th International Conference, CAV '99, Proceedings, Springer, coll. « Lecture Notes in Computer Science » (no 1633), (ISBN 3-540-66202-2, lire en ligne), p. 8-22
{{chapitre | auteur = Rajeev Alur | titre chapitre = Timed Automata | auteurs ouvrage = Nicolas Halbwachs et Doron Peled (éditeurs) | titre ouvrage = Computer Aided Verification, 11th International Conference, CAV '99, Proceedings | collection = Lecture Notes in Computer Science | numéro dans collection = 1633 | éditeur = Springer | année = 1999 | passage = 8-22 | isbn = 3-540-66202-2 }}
- Allouche
- Jean-Paul Allouche et Jeffrey O. Shallit, Automatic sequences : Theory, applications, generalizations, Cambridge University Press, (ISBN 0-521-82332-3, MR 1997038, zbMATH 1086.11015)
{{Ouvrage | auteur1=Jean-Paul Allouche |auteur2= Jeffrey O. Shallit | titre=Automatic sequences | sous-titre= Theory, applications, generalizations | présentation en ligne= | éditeur=Cambridge University Press | isbn=0-521-82332-3|zbl=1086.11015 | mr=1997038 | année=2003 }}
- (en) Jean-Paul Allouche et Jeffrey O. Shallit, Automatic sequences. Theory, applications, generalizations, Cambridge University Press, (ISBN 0-521-82332-3, MR 1997038, zbMATH 1086.11015)
{{cite book | author=Jean-Paul Allouche et Jeffrey O. Shallit | title=Automatic sequences. Theory, applications, generalizations | présentation en ligne= | publisher=Cambridge University Press | isbn=0-521-82332-3 | mr=1997038 | year=2003 }}
- Autebert
- Jean-Michel Autebert, Jean Berstel et Luc Boasson, « Context-Free Languages and Pushdown Automata », dans G. Rozenberg, A. Salomaa (éditeurs), Handbook of Formal Languages, vol. 1 : Word, Language, Grammar, Springer Verlag, (ISBN 978-3-540-60420-4, DOI 10.1007/978-3-642-59136-5, lire en ligne), p. 111-174
{{chapitre | auteur1 = Jean-Michel Autebert | auteur2 = Jean Berstel|auteur3 = Luc Boasson | titre chapitre = Context-Free Languages and Pushdown Automata | auteurs ouvrage = G. Rozenberg, A. Salomaa (éditeurs) | titre ouvrage = Handbook of Formal Languages | éditeur = Springer Verlag | année = 1997 | volume = 1 | titre volume = Word, Language, Grammar | passage = 111-174 | isbn = 978-3-540-60420-4 | doi = 10.1007/978-3-642-59136-5 | url = http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.7880&rep=rep1&type=pdf }}
- Jean-Michel Autebert et Luc Boasson, Transductions rationnelles : Application aux Langages Algébriques, Masson, (ISBN 978-2-225-81504-1)
{{Ouvrage | auteur=Jean-Michel Autebert et Luc Boasson | titre=Transductions rationnelles : Application aux Langages Algébriques | éditeur=Masson | année=1988 | isbn=978-2-225-81504-1 }}
- Jean-Michel Autebert, Langages algébriques, Paris, Masson, (ISBN 978-2-225-81087-9)
{{Ouvrage | auteur=Jean-Michel Autebert | titre=Langages algébriques | éditeur=Masson | lieu = Paris | année=1987 | isbn=978-2-225-81087-9 |id=Autebert}}
B[modifier | modifier le code]
- Jean Berstel et Luc Boasson, « Context-Free Languages », dans G. Rozenberg, A. Salomaa (éditeurs), Handbook of Theoretical Computer Science, vol. B : Formal Models and Sematics, Elsevier et MIT Press, (ISBN 0-444-88074-7), p. 59-102
{{chapitre | auteur1 = Jean Berstel|auteur2 = Luc Boasson | titre chapitre = Context-Free Languages | auteurs ouvrage = G. Rozenberg, A. Salomaa (éditeurs) | titre ouvrage = Handbook of Theoretical Computer Science | éditeur = Elsevier et MIT Press | année = 1990 | volume = B | titre volume = Formal Models and Sematics | passage = 59-102 | isbn = 0-444-88074-7 }}
- John A. Brzozowski, « Derivatives of regular expressions », Journal Assoc. Comput. Mach., vol. 11, , p. 481–494
{{Article | auteur =John A. Brzozowski | titre = Derivatives of regular expressions | journal = Journal Assoc. Comput. Mach. | volume= 11 | année=1964 | pages=481–494 |}}
- Francois Baccelli, Guy Cohen, Geert Jan Olsder et Jean-Pierre Quadrat, Synchronization and Linearity : An Algebra for Discrete Event Systems, Chichester, Wiley, coll. « Wiley Series on Probability and Mathematical Statistics », , xix+489 (ISBN 047193609X, SUDOC 014487500, lire en ligne)
{{Ouvrage | auteur1 = Francois Baccelli | auteur2 = Guy Cohen | auteur3 = Geert Jan Olsder | auteur4 = Jean-Pierre Quadrat | titre = Synchronization and Linearity : An Algebra for Discrete Event Systems | éditeur = Wiley | lieu = Chichester | année = 1992 | pages totales = xix+489 | isbn = 047193609X | url = http://cermics.enpc.fr/~cohen-g//SED/book-online.html | series=Wiley Series on Probability and Mathematical Statistics | sudoc = 014487500}}
- Annie Jolain, « Canaletto », dans Emmanuel Bénézit (éditeur), Dictionnaire critique et documentaire des peintres, sculpteurs, dessinateurs et graveurs, t. 6, Gründ, (ISBN 2-7000-3010-9)
{{chapitre |auteur=Annie Jolain |titre chapitre= Canaletto|auteurs ouvrage= Emmanuel Bénézit (éditeur) |titre ouvrage= Dictionnaire critique et documentaire des peintres, sculpteurs, dessinateurs et graveurs |éditeur= Gründ|année= 1999|isbn=2-7000-3010-9 |tome=6|passage= }}
- Jean Berstel et Juhani Karhumäki, « Combinatorics on words - a tutorial », Bull. Eur. Assoc. Theor. Comput. Sci. EATCS, 79 (2003), p. 178-228
{{Article | auteur = Jean Berstel et Juhani Karhumäki | titre = [http://www-igm.univ-mlv.fr/~berstel/Articles/2003TutorialCoWdec03.pdf Combinatorics on words - a tutorial] | journal = Bull. Eur. Assoc. Theor. Comput. Sci. EATCS | année = 79 (2003) | pages= 178-228}}
- Jean Berstel et Dominique Perrin, « Les origines de la combinatoire des mots », European Journal of Combinatorics, 28 (2007), p. 996–1022
{{Article | auteur1 = Jean Berstel | auteur2 = Dominique Perrin | titre = [http://www-igm.univ-mlv.fr/%7Eberstel/Articles/2007Origins.pdf Les origines de la combinatoire des mots] | journal = European Journal of Combinatorics | année = 28 (2007) | pages= 996–1022}}
- Jean Berstel et Dominique Perrin, Theory of codes, Academic Press, coll. « Pure and applied mathematics » (no 117), (ISBN 978-0-12-093420-1, zbMATH 0587.68066)
{{ouvrage |last1= Berstel |first1=Jean |authorlink1= |last2=Perrin |first2=Dominique |authorlink2= |title=Theory of codes |url= |edition= |series=Pure and applied mathematics |numéro dans collection=117 |year=1985 |publisher=Academic Press |location= |isbn=978-0-12-093420-1 | zbl=0587.68066 }}
- Jean Berstel, Aaron Lauve, Christophe Reutenauer et Franco V. Saliola, Combinatorics on words: Christoffel words and repetitions in words, American Mathematical Society et Centre de recherches mathématiques, (ISBN 978-1-4200-7267-9)
{{Ouvrage | auteur=Jean Berstel, Aaron Lauve, Christophe Reutenauer et Franco V. Saliola | titre=Combinatorics on words: Christoffel words and repetitions in words | présentation en ligne= | éditeur=[[American Mathematical Society]] et [[Centre de recherches mathématiques]] | série= | isbn=978-1-4200-7267-9 | année=2008 }}
- Jean Berstel et Christophe Reutenauer, Noncommutative rational series with applications, Cambridge, Cambridge University Press, coll. « Encyclopedia of Mathematics and Its Applications » (no 137), (ISBN 978-0-521-19022-0, zbMATH 1250.68007)
{{ouvrage | last1=Berstel | first1=Jean | last2=Reutenauer | first2=Christophe | title=Noncommutative rational series with applications | series=Encyclopedia of Mathematics and Its Applications | numéro dans collection=137 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2011 | isbn=978-0-521-19022-0 | zbl=1250.68007 }}
CANT et CWSD[modifier | modifier le code]
- Valérie Berthé et Michel Rigo (éditeurs), Sequences, groups, and number theory, Birkhäuser, coll. « Trends in Mathematics », (ISBN 978-3-319-69151-0)
{{Ouvrage | auteur1=Valérie Berthé | auteur2 =Michel Rigo | responsabilité2 = éditeurs | titre=Sequences, groups, and number theory | présentation en ligne= | éditeur=Birkhäuser | collection = Trends in Mathematics | isbn=978-3-319-69151-0 | année=2018 }}
- Valérie Berthé et Michel Rigo (éditeurs), Combinatorics, automata and number theory, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 135), (ISBN 978-0-521-51597-9)
{{Ouvrage | auteur1=Valérie Berthé | auteur2 =Michel Rigo | responsabilité2 = éditeurs | titre=Combinatorics, automata and number theory | présentation en ligne= | éditeur=Cambridge University Press | collection = Encyclopedia of Mathematics and its Applications | numéro dans collection = 135 | isbn=978-0-521-51597-9 | année=2010 }}
- Valérie Berthé et Michel Rigo (éditeurs), Combinatorics, words and symbolic dynamics, Cambridge, Royaume Uni, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 159), , 496 p. (ISBN 978-1-107-07702-7)
{{ouvrage | auteur1= Valérie Berthé | auteur2= Michel Rigo | responsabilité2 = éditeurs | titre = Combinatorics, words and symbolic dynamics | éditeur = Cambridge University Press | lieu = Cambridge, Royaume Uni | mois= mars | year = 2016 | isbn = 978-1-107-07702-7 | pages totales = 496 | collection = Encyclopedia of Mathematics and its Applications | numéro dans collection = 159 }}
C[modifier | modifier le code]
- John H. Conway, Regular Algebra and Finite Machines, Londres, Chapman and Hall, (lire en ligne) — réimpression : Dover Publications, 2012, (ISBN 978-0486485836).
{{ouvrage|auteur=John H. Conway|titre=Regular Algebra and Finite Machines|éditeur=Chapman and Hall|lieu=Londres|année=1971|url=http://www.diku.dk/hjemmesider/ansatte/henglein/papers/conway1971.pdf}} {{commentaire biblio SRL|réimpression : Dover Publications, 2012, {{isbn |978-0486485836}}}}.
- Louis Comtet, Analyse combinatoire, Tomes I et II, Paris, Presses Universitaires de France, coll. « Sup - Le Mathématicien »,
{{ouvrage | nom1 = Comtet | prénom1 = Louis | titre = Analyse combinatoire, Tomes I et II | collection =Sup - Le Mathématicien|année = 1970 | éditeur = Presses Universitaires de France | lieu = Paris | isbn = | pages = }}
- (en) Louis Comtet, Advanced Combinatorics : The Art of Finite and Infinite Expansions, Dordrecht, Reidel, (ISBN 978-94-010-2198-2 et 978-94-010-2196-8, DOI 10.1007/978-94-010-2196-8, présentation en ligne) Traduit du français par J. W. Nienhuys. Réimpression par Springer Netherlands en 2010: (ISBN 978-9048183418)
{{ouvrage|langue=en|prénom1=Louis|nom1=Comtet|titre=Advanced Combinatorics|sous-titre=The Art of Finite and Infinite Expansions |éditeur=Reidel|année=1974|lieu=Dordrecht|présentation en ligne=http://link.springer.com/book/10.1007/978-94-010-2196-8/page/1|doi=10.1007/978-94-010-2196-8|isbn=978-94-010-2198-2|isbn2= 978-94-010-2196-8}} {{commentaire biblio|Traduit du français par J. W. Nienhuys. Réimpression par Springer Netherlands en 2010: {{isbn|978-9048183418}}}}
- Philippe de Commynes, Mémoires : Édition critique par Joël Blanchard, t. II : Variantes, notes, glossaire, index analytique, index des lieux de personnes, Droz, coll. « Textes littéraires français », (ISBN 978-2-600-01080-1, présentation en ligne)
{{Ouvrage | prénom1=Philippe de|nom1=Commynes | titre=Mémoires|sous-titre=Édition critique par Joël Blanchard |tome=II |titre volume = Variantes, notes, glossaire, index analytique, index des lieux de personnes | éditeur=Droz | année=2007 |collection= Textes littéraires français | isbn=978-2-600-01080-1 | présentation en ligne= http://books.google.fr/books?id=kaQwwpRk7a8C }}
- Olivier Carton, Langages formels, calculabilité et complexité, Vuibert, (ISBN 978-2-7117-2077-4, présentation en ligne)
{{Ouvrage | auteur=Olivier Carton | titre=Langages formels, calculabilité et complexité | éditeur=Vuibert | année=2008 | isbn=978-2-7117-2077-4 | présentation en ligne= http://liafa.jussieu.fr/~carton/Lfcc/ |id=Carton2008}}
- Julien Cassaigne (2001), « Recurrence in infinite words (extended abstract) », dans Afonso Ferreira et Horst Reichel (éditeurs), STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, Springer-Verlag, coll. « Lecture Notes in Comput. Sci. » (no 2010), (ISBN 3-540-41695-1, lire en ligne), p. 1-11
{{chapitre | auteur = Julien Cassaigne (2001) | titre chapitre = Recurrence in infinite words (extended abstract) | auteurs ouvrage = Afonso Ferreira et Horst Reichel (éditeurs) | titre ouvrage = STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings | isbn = 3-540-41695-1 | éditeur = Springer-Verlag | collection = Lecture Notes in Comput. Sci. | numéro dans collection = 2010 | année = 2001 | passage = 1-11 | lire en ligne = http://iml.univ-mrs.fr/~cassaign/publis/recurrence.pdf | id = Cassaigne2001 }}
- Christian Choffrut et Juhani Karhumäki, « Combinatorics of words », dans G. Rozenberg, A. Salomaa (éditeurs), Handbook of Formal Languages, vol. 1 : Word, Language, Grammar, Springer Verlag, (ISBN 978-3-540-60420-4, DOI 10.1007/978-3-642-59136-5, présentation en ligne), p. 329-438
{{chapitre | auteur1 = Christian Choffrut | auteur2 = Juhani Karhumäki | titre chapitre = Combinatorics of words | auteurs ouvrage = G. Rozenberg, A. Salomaa (éditeurs) | titre ouvrage = Handbook of Formal Languages | éditeur = Springer Verlag | année = 1997 | volume = 1 | titre volume = Word, Language, Grammar | passage = 329-438 | isbn = 978-3-540-60420-4 | doi = 10.1007/978-3-642-59136-5 | id = CK | présentation en ligne = http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.3135&rep=rep1&type=pdf }}
- (en) Alfred H. Clifford et Gordon B. Preston, The algebraic theory of semigroups, vol. I, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys » (no 7-Part I), , xv+224 (ISBN 978-0-8218-0271-7, MR 0132791)
- (en) Alfred H. Clifford et Gordon B. Preston, The algebraic theory of semigroups, vol. II, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys » (no 7-Part II), , xv+350 (ISBN 978-0-8218-0272-4, MR 0218472)
{{ouvrage |langue=en|prénom1= Alfred H.|nom1=Clifford|prénom2=Gordon B.|nom2=Preston |titre=The algebraic theory of semigroups |éditeur=American Mathematical Society |lieu=Providence, R.I.|année=1961|volume=I |collection=Mathematical Surveys|numéro dans collection=7-Part I |pages totales= xv+224|isbn=978-0-8218-0271-7| mr=0132791}} {{ouvrage |langue=en|prénom1= Alfred H.|nom1=Clifford|prénom2=Gordon B.|nom2=Preston |titre=The algebraic theory of semigroups|éditeur=American Mathematical Society |lieu=Providence, R.I.| année=1967|volume=II|collection=Mathematical Surveys|numéro dans collection=7-Part II |pages totales= xv+350|isbn=978-0-8218-0272-4|mr=0218472}}
- (en) Alfred H. Clifford et Gordon B. Preston, The algebraic theory of semigroups, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys » (no 7), 1961 (volume i) 1967 (volume ii) (ISBN 0-8218-0271-2 et 978-0-8218-0272-4)
{{ouvrage |langue=en|prénom1= Alfred H.|nom1=Clifford|prénom2=Gordon B.|nom2=Preston |titre=The algebraic theory of semigroups |éditeur=American Mathematical Society |lieu=Providence, R.I.|année=1961 (volume I) 1967 (volume II) |collection=Mathematical Surveys|numéro dans collection=7|isbn=978-0-8218-0271-2|isbn2=978-0-8218-0272-4}}
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction à l'algorithmique, Dunod, [détail de l’édition]
{{Cormen2fr}}
- Chapitre 9, « Médians et rangs » de Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction à l'algorithmique, Dunod, [détail de l’édition]
Chapitre 9, « Médians et rangs » de {{Cormen2fr}}
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction à l’algorithmique, Dunod, , 2e éd., 1146 p. (ISBN 2-10-003922-9), chapitre 9 : « Médians et rangs »
- Maxime Crochemore et Wojciech Rytter, Text algorithms, Oxford University Press, (ISBN 978-0195086096)
{{Ouvrage | auteur=Maxime Crochemore et Wojciech Rytter | titre=Text algorithms | présentation en ligne= | éditeur=Oxford University Press | série= | isbn= 978-0195086096 | année=1994 }}
- Maxime Crochemore et Wojciech Rytter, Jewels of stringology, World Scientific Publishing, (ISBN 978-9810248970)
{{Ouvrage | auteur=Maxime Crochemore et Wojciech Rytter | titre=Jewels of stringology | éditeur=World Scientific Publishing | année=2002 | isbn=978-9810248970 |id=Jewels}}
- Maxime Crochemore, Christophe Hancart et Thierry Lecroq, Algorithmique du texte, Paris, Vuibert, (ISBN 2-7117-8628-5)
{{Ouvrage | auteur=Maxime Crochemore, Christophe Hancart et Thierry Lecroq | titre=Algorithmique du texte | éditeur=Vuibert |lieu=Paris | année=2004 | isbn=2-7117-8628-5 |id=AdT}}
- Maxime Crochemore, Christophe Hancart et Thierry Lecroq, Algorithms on strings, Cambridge University Press, (ISBN 978-0-521-84899-2) Traduction corrigée du livre en français
{{Ouvrage | auteur=Maxime Crochemore, Christophe Hancart et Thierry Lecroq | titre=Algorithms on strings | éditeur=Cambridge University Press | année=2007 | isbn=978-0-521-84899-2 |id=AoS}} {{Commentaire biblio|Traduction corrigée du livre en français}}
D[modifier | modifier le code]
- Steven Dolan, « Fun with Semirings : a functional pearl on the abuse of linear algebra », ICFP '13 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, , p. 101-110 (DOI 10.1145/2500365.2500613, lire en ligne)
{{article |auteur=Steven Dolan |titre=Fun with Semirings : a functional pearl on the abuse of linear algebra |périodique=ICFP '13 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming |doi=10.1145/2500365.2500613 |pages=101-110|url=http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf |année=2013}}
- Manfred Droste, Werner Kuich et Heiko Vogler (éditeurs), Handbook of Weighted Automata, Springer-Verlag, coll. « Monographs in theoretical computer science », , xvii + 608 (ISBN 978-3-64201491-8, DOI 10.1007/978-3-642-01492-5, zbMATH 1200.68001, SUDOC 139029907)
{{Ouvrage | auteur1=Manfred Droste | auteur2= Werner Kuich | auteur3= Heiko Vogler | responsabilité3=éditeurs | titre=Handbook of Weighted Automata | éditeur=Springer-Verlag | series = Monographs in theoretical computer science | année=2009 | pages totales = xvii + 608 | isbn=978-3-64201491-8 | zbl= 1200.68001 | sudoc = 139029907 | doi = 10.1007/978-3-642-01492-5 }}
- Manfred Droste et Werner Kuich, « Semirings and Formal Power Series », dans Manfred Droste, Werner Kuich, Heiko Vogler (éditeurs),, Handbook of Weighted Automata, Springer-Verlag, (DOI 10.1007/978-3-642-01492-5_1), p. 3-29
{{chapitre| | auteur1=Manfred Droste | auteur2= Werner Kuich | titre = Semirings and Formal Power Series | passage = 3-29 | titre ouvrage = Handbook of Weighted Automata | auteurs ouvrage = Manfred Droste, Werner Kuich, Heiko Vogler (éditeurs), | éditeur=Springer-Verlag | année=2009 | doi = 10.1007/978-3-642-01492-5_1}}
- Paul Dubreil, « Apparition et premiers développements de la théorie des demi-groupes en France », Cahiers du séminaire d'histoire des mathématiques, vol. 2, , p. 59-65 (MR 618658, zbMATH 0465.01005, lire en ligne)
{{Article|prénom=Paul|nom=Dubreil|lien auteur=Paul Dubreil |titre=Apparition et premiers développements de la théorie des demi-groupes en France |périodique=Cahiers du séminaire d'histoire des mathématiques |année=1981|volume=2|pages=59-65|issn= |url texte=http://www.numdam.org/item?id=CSHM_1981__2__59_0|mr=618658|zbl=0465.01005 }}
- Reinhard Diestel, Graph Theory, Springer, coll. « Graduate Texts in Mathematics » (no 173), , 4e éd., 451 p. (ISBN 978-3-642-14278-9, présentation en ligne, lire en ligne), p. 11
{{ouvrage|langue=|prénom1=Reinhard|nom1=Diestel|lien auteur1=|titre=Graph Theory|sous-titre=|lien titre=|numéro d'édition=4|éditeur=Springer|lien éditeur=|collection=Graduate Texts in Mathematics|numéro dans collection=173|année=2012|volume=|tome=|pages totales=451|passage=11|isbn= 978-3-642-14278-9|présentation en ligne= http://diestel-graph-theory.com/|lire en ligne = http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/preview/Ch1.pdf| consulté le= 7 octobre 2013}}
- [Diestel 5e] Reinhard Diestel, Graph Theory, Springer, coll. « Graduate Texts in Mathematics » (no 173), , 5e éd., 447 p. (ISBN 978-3-662-53621-6 et 978-3-96134-005-7, présentation en ligne, lire en ligne)
{{ouvrage |libellé = Diestel 5e |auteur1=Reinhard Diestel| |titre=Graph Theory |numéro d'édition= 5 |éditeur=Springer |collection=Graduate Texts in Mathematics |numéro dans collection=173 |année=août 2016 |pages totales=447 |isbn= 978-3-662-53621-6 |isbn2= 978-3-96134-005-7 |présentation en ligne= http://diestel-graph-theory.com/ |lire en ligne = http://diestel-graph-theory.com/basic.html |éditions précédentes = 2010, 2005, 2000, 1997 }}
- (en) Volker Diekert et Yves Métivier, « Partial Commutation and Traces », dans G. Rozenberg, A. Salomaa (éditeurs), Handbook of Formal Languages, vol. 3 : Beyond Words, Springer Verlag, (ISBN 978-3-5406-0649-9), p. 457-533
{{chapitre | langue = en | prénom1 = Volker | nom1 = Diekert | prénom2 = Yves | nom2=Métivier | titre chapitre = Partial Commutation and Traces | auteurs ouvrage = G. Rozenberg, A. Salomaa (éditeurs) | titre ouvrage = Handbook of Formal Languages | éditeur = Springer Verlag | année = 1997 | volume = 3 | titre volume = Beyond Words | passage = 457-533 | isbn = 978-3-5406-0649-9 }}
E[modifier | modifier le code]
- Zoltán Ésik et Werner Kuich, « Equational axioms for a theory of automata », dans Carlos Martín-Vide, Formal languages and applications, Berlin, Springer-Verlag, coll. « Studies in Fuzziness and Soft Computing » (no 148), (ISBN 3-540-20907-7, zbMATH 1088.68117), p. 183–196
{{chapitre | last1=Ésik | first1=Zoltán | last2=Kuich | first2=Werner | titre=Equational axioms for a theory of automata | auteur ouvrage = Carlos Martín-Vide | titre ouvrage =Formal languages and applications | location=Berlin | publisher=[[Springer-Verlag]] | series=Studies in Fuzziness and Soft Computing | numéro dans collection =148 | passage =183–196 | year=2004 | isbn=3-540-20907-7 | zbl=1088.68117 }}
- Zoltán Ésik, « Iteration semirings », dans Masami Ito (éditeur), Developments in language theory (12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008)., Berlin, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 5257), (ISBN 978-3-540-85779-2, DOI 10.1007/978-3-540-85780-8_1, zbMATH 1161.68598), p. 1–20
{{chapitre | last=Ésik | first=Zoltán | titre=Iteration semirings | zbl=1161.68598 | auteur ouvrage = Masami Ito (éditeur) | titre ouvrage =Developments in language theory ''(12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008)''. | location=Berlin | publisher=[[Springer-Verlag]] | isbn=978-3-540-85779-2 | series=Lecture Notes in Computer Science | numéro dans collection =5257 | passage =1–20 | year=2008 | doi=10.1007/978-3-540-85780-8_1 }}
- (de) Katrin Erk et Lutz Priese, Theoretische Informatik : eine umfassende Einführung, Berlin, Springer, (ISBN 9783540763192, OCLC 244015158) — 6.8.1 Das Wortproblem, p. 154-159.
- (en) Samuel Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, coll. « Pure and Applied Mathematics » (no 58), , xvi+451 (ISBN 978-0-12234001-7)
{{Ouvrage|lang=en | prénom=Samuel |nom=Eilenberg | titre=Automata, Languages and Machines, Vol. A | éditeur=Academic Press | collection= Pure and Applied Mathematics | numéro dans collection = 58 | année=1974 |isbn=978-0-12234001-7|pages= xvi+451 |id=EilenbergA}}
- (en) Samuel Eilenberg, Automata, Languages and Machines, Vol. B, Academic Press, coll. « Pure and Applied Mathematics » (no 59), , xiii+387 (MR 0530383)
{{Ouvrage|lang=en | prénom=Samuel |nom=Eilenberg | titre=Automata, Languages and Machines, Vol. B | collection= Pure and Applied Mathematics | numéro dans collection = 59 | éditeur=Academic Press | pages=xiii+387 | année=1976 |isbn=|mr=0530383 |id=EilenbergB}}
- Joost Engelfriet, « An elementary proof of double Greibach normal form », Information Processing Letters, vol. 44, no 2, , p. 291–293
{{Article|prénom=Joost|nom1=Engelfriet |titre=An elementary proof of double Greibach normal form |périodique=Information Processing Letters |année=1992|volume=44|numéro=2|pages=291–293}}
F[modifier | modifier le code]
- Fournier
- Jean-Claude Fournier, Théorie des graphes et applications, Hermes Science Publications, coll. « Informatique », , 2e éd., 332 p. (ISBN 978-2746232150).
{{Ouvrage |langue= |auteur1= Jean-Claude Fournier |titre= Théorie des graphes et applications |sous-titre= |éditeur= Hermes Science Publications |numéro édition=2 |collection= Informatique |lieu= |date= 22 avril 2011 |volume= |tome= |pages totales= 332 |passage= |isbn= 978-2746232150 |lire en ligne= }}.
- Fulton
- (en) William Fulton, Young tableaux, Cambridge University Press, coll. « London Mathematical Society Student Texts » (no 35), (ISBN 978-0-521-56144-0 et 978-0-521-56724-4, MR 1464693)
{{ouvrage|lang=en|nom=Fulton|prénom=William|lien auteur1=William Fulton|titre=Young tableaux | éditeur=Cambridge University Press | collection=London Mathematical Society Student Texts | math reviews = 1464693| isbn1=978-0-521-56144-0|isbn2= 978-0-521-56724-4 | année=1997 | numéro dans collection=35}}
- Floyd Beigel
- Robert W. Floyd et Richard Beigel (trad. Daniel Krob), Le langage des machines : Introduction à la calculabilité et aux langages formels, Paris, International Thomson, , xvii+ 594 (ISBN 9782841800100 et 2841800105)
G[modifier | modifier le code]
- V. M. Glushkov, « The abstract theory of automata », Russian Math. Surveys, vol. 16, , p. 1–53
{{Article | auteur =V. M. Glushkov | titre =The abstract theory of automata | journal = Russian Math. Surveys, vol. 16 | année= 1961 | pages = 1–53 }}
- Mireille P. Grillet, « Green’s relations in a semiring », Portugaliae Mathematica, vol. 29, , p. 181–195 (zbMATH 0227.16029, lire en ligne)
{{cite journal | last=Grillet | first=Mireille P. | title=Green’s relations in a semiring | zbl=0227.16029 | journal=Portugaliae Mathematica | volume=29 | pages=181–195 | year=1970 | url=https://eudml.org/doc/115127 }}
- Jeremy Gunawardena, « An introduction to idempotency », dans J. Gunawardena (éditeur), Idempotency. Based on a workshop, Bristol, UK, October 3–7, 1994, Cambridge, Cambridge University Press, (zbMATH 0898.16032, lire en ligne), p. 1–49
{{chapitre | auteur=Jeremy Gunawardena |titre =An introduction to idempotency | zbl=0898.16032 | auteur ouvrage = J. Gunawardena (éditeur)| titre ouvrage=Idempotency. ''Based on a workshop, Bristol, UK, October 3–7, 1994'' | location=Cambridge | publisher=[[Cambridge University Press]] | passage=1–49 | year=1998 | url=http://www.hpl.hp.com/techreports/96/HPL-BRIMS-96-24.pdf }}
- Jonathan S. Golan, Semirings and their Applications, Dordrecht, Kluwer Academic Publishers (Springer Science & Business Media), , xii+ 381 (ISBN 9780792357865, MR 1746739) — Édition revue et augmentée de The theory of semirings, with applications to mathematics and theoretical computer science, Harlow, Longman Scientific & Technical et John Wiley & Sons, coll. « Pitman Monographs and Surveys in Pure and Applied Mathematics », , xiv+318 (ISBN 0-582-07855-5, MR 1163371)
{{Ouvrage | auteur = Jonathan S. Golan | titre = Semirings and their Applications | éditeur = Kluwer Academic Publishers (Springer Science & Business Media) | lieu = Dordrecht | année = 1999 | pages totales = xii+ 381 | isbn = 9780792357865 | math reviews= 1746739}} — Édition revue et augmentée de {{Ouvrage | titre = The theory of semirings, with applications to mathematics and theoretical computer science | éditeur = Longman Scientific & Technical et John Wiley & Sons | series =Pitman Monographs and Surveys in Pure and Applied Mathematics | lieu = Harlow | année = 1992 | pages totales =xiv+318 | isbn = 0-582-07855-5 | math reviews= 1163371}}
- Jonathan S. Golan, Semirings and Affine Equations over Them, Springer Science & Business Media, (ISBN 978-1-4020-1358-4, zbMATH 1042.16038)
{{ouvrage |first=Jonathan S. | last=Golan |title=Semirings and Affine Equations over Them |year=2003|publisher=Springer Science & Business Media|isbn=978-1-4020-1358-4 | zbl=1042.16038}}
- Michel Gondran et Michel Minoux, Graphes, dioïdes et semi-anneaux : nouveaux modèles et algorithmes, Paris, Tec & Doc, , xvi+415 (ISBN 2-7430-0489-4, SUDOC 060235101) — Édition en anglais : Michel Gondran et Michel Minoux, Graphs, Dioids and Semirings: New Models and Algorithms, Dordrecht, Springer Science & Business Media, coll. « Operations Research/Computer Science Interfaces Series » (no 41), , xix+383 (ISBN 978-0-387-75450-5, zbMATH 1201.16038, SUDOC 12874958X)
{{ouvrage |prénom1=Michel|nom1=Gondran |prénom2=Michel|nom2=Minoux |titre=Graphes, dioïdes et semi-anneaux |sous-titre = nouveaux modèles et algorithmes | éditeur=Tec & Doc |lieu=Paris |année= 2001 |isbn=2-7430-0489-4 |sudoc=060235101 |pages totales = xvi+415}} — Édition en anglais : {{ouvrage |first1=Michel | last1=Gondran | first2=Michel | last2=Minoux | title=Graphs, Dioids and Semirings: New Models and Algorithms | year=2008 | location=Dordrecht | publisher=Springer Science & Business Media | isbn=978-0-387-75450-5 | zbl=1201.16038 | pages totales = xix+383 | sudoc = 12874958X | series=Operations Research/Computer Science Interfaces Series | numéro dans collection = 41}}
- Kazimierz Głazek, A guide to the literature on semirings and their applications in mathematics and information sciences. With complete bibliography, Dordrecht, Kluwer Academic, (ISBN 1-4020-0717-5, zbMATH 1072.16040)
{{ouvrage | last=Głazek | first=Kazimierz | title=A guide to the literature on semirings and their applications in mathematics and information sciences. With complete bibliography | location=Dordrecht | publisher=Kluwer Academic | year=2002 | isbn=1-4020-0717-5 | zbl=1072.16040 }}
- Michael R. Garey et David S. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completeness, New York, W. H. Freeman, (ISBN 0-7167-1045-5)
{{ouvrage|auteur1={{Lien|Michael R. Garey}}| auteur2= [[David S. Johnson]] |titre=Computers and Intractability|sous-titre=A Guide to the Theory of NP-Completeness | lieu= New York | éditeur = W. H. Freeman |année = 1983 |isbn = 0-7167-1045-5}}
- Erich Grädel, Wolfgang Thomas et Thomas Wilke (éditeurs), Automata, logics, and infinite games : A guide to current research, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 2500), , viii+385 (ISBN 978-3-540-00388-5).
{{ouvrage | auteur1 = Erich Grädel | auteur2 = Wolfgang Thomas| auteur3 = Thomas Wilke | responsabilité3= éditeurs | titre= Automata, logics, and infinite games : A guide to current research | year=2002 | collection = Lecture Notes in Computer Science | publisher=Springer | numéro dans collection = 2500| éditeur = Springer-Verlag | année = 2002 | pages totales = viii+385| isbn=978-3-540-00388-5}}.
- Ronald L. Graham, Donald E. Knuth et Oren Patashnik (trad. Alain Denise), Mathématiques concrètes : Fondations pour l'informatique, Vuibert, coll. « Vuibert informatique », , 2e éd., 687 p. (ISBN 978-2711748242)
{{ouvrage|prénom1=Ronald L.|nom1=Graham|prénom2=Donald E.|nom2=Knuth |prénom3=Oren |nom3=Patashnik |titre=Mathématiques concrètes |sous-titre=Fondations pour l'informatique |traducteur=Alain Denise |collection=Vuibert informatique |numéro d'édition=2 |éditeur=Vuibert|année=2003 |pages totales=687|isbn=978-2711748242}}
- (en) Pierre Antoine Grillet, Semigroups : An introduction to the structure theory, Marcel Dekker, coll. « Monographs and Textbooks in Pure and Applied Mathematics » (no 193), , xii+398 (ISBN 0-8247-9662-4, MR 2000g:20001)
{{ouvrage|langue=en|prénom1=Pierre Antoine|nom1=Grillet |titre=Semigroups|sous-titre=An introduction to the structure theory |collection=Monographs and Textbooks in Pure and Applied Mathematics |numéro dans collection=193|éditeur=Marcel Dekker|année=1995 |pages totales=xii+398|isbn=0-8247-9662-4|mr=2000g:20001}}
- Dan Gusfield, Algorithms on strings, trees, and sequences : Computer science and computational biology, Cambridge University Press, (ISBN 978-0521585194)
{{Ouvrage| auteur=Dan Gusfield| titre=Algorithms on strings, trees, and sequences | sous-titre= Computer science and computational biology|éditeur=Cambridge University Press | année=1997| isbn=978-0521585194|id=Gus}}
- Claudio Gutiérrez, « Satisfiability of word equations with constants is in exponential space », 9th Annual Symposium on Foundations of Computer Science, FOCS '98, , p. 112-119 (présentation en ligne)
{{Article | auteur = Claudio Gutiérrez | titre = Satisfiability of word equations with constants is in exponential space | journal = 9th Annual Symposium on Foundations of Computer Science, FOCS '98 | année = 1998 | pages= 112-119 | présentation en ligne = http://doi.ieeecomputersociety.org/10.1109/SFCS.1998.743434 }}
- Walter H. Gottschalk et Gustav A. Hedlund (1955), Topological dynamics, Providence, R. I., American Mathematical Society, coll. « American Mathematical Society Colloquium Publications » (no 36), , vii+151 (MR 0074810)
{{Ouvrage | auteur = Walter H. Gottschalk et Gustav A. Hedlund (1955) | titre = Topological dynamics | éditeur = American Mathematical Society | lieu = Providence, R. I. | année = 1955 | collection = American Mathematical Society Colloquium Publications | numéro dans collection = 36 | pages totales = vii+151 | mr = 0074810 | isbn = |id=Gottschalk et Hedlund (1955) }}
H[modifier | modifier le code]
- (en) Michael A. Harrison, Introduction to Formal Language Theory, Reading, Mass. [u.a.], Addison-Wesley, (ISBN 0201029553, OCLC 266962302) — Section 12.4 The Cocke-Kasami-Younger Algorithm, p. 430-442.
{{Ouvrage | langue = en | auteur = Michael A. Harrison | titre = Introduction to Formal Language Theory | éditeur = Addison-Wesley | lieu = Reading, Mass. [u.a.] | année = 1978 | pages totales = | isbn = 0201029553 | oclc = 266962302}} {{commentaire biblio SRL|Section 12.4 The Cocke-Kasami-Younger Algorithm, {{p.|430-442}}}}.
- John E. Hopcroft et Jeffrey D. Ullman, Formal languages and their relation to automata, Addison-Wesley, (ISBN 0201029839, SUDOC 004772571)
{{ouvrage |auteur1= John E. Hopcroft |auteur2= Jeffrey D. Ullman |titre=Formal languages and their relation to automata |éditeur =Addison-Wesley |année = 1969| isbn = 0201029839| sudoc=004772571}}
- (en) John E. Hopcroft, Rajeev Motwani et Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, , 521 p. (ISBN 9780201441246 et 0201441241) — Section 7.4.4 Testing Membership in a CFL, p. 298-304.
{{Ouvrage | langue = en | auteur1 = John E. Hopcroft | auteur2 = Rajeev Motwani | auteur3 = Jeffrey D. Ullman | titre = Introduction to Automata Theory, Languages, and Computation | éditeur = Addison Wesley | numéro d’édition = 2 |lieu = | année = 2001 | pages totales = 521 | isbn = 9780201441246 | isbn2 = 0201441241}} {{commentaire biblio SRL| Section 7.4.4 Testing Membership in a CFL, {{p. |298-304}}}}.
- (en) John E. Hopcroft, Rajeev Motwani et Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Pearson Addison Wesley, , xvii+535 (ISBN 0-321-45536-3 et 0201441241)
{{Ouvrage | langue = en | auteur1 = John E. Hopcroft | auteur2 = Rajeev Motwani | auteur3 = Jeffrey D. Ullman | titre = Introduction to Automata Theory, Languages, and Computation | éditeur = Pearson Addison Wesley | numéro d’édition = 3 |lieu = | année = 2007 | pages totales = xvii+535 | isbn = 0-321-45536-3 | isbn2 = 0201441241}}
- Gustav A. Hedlund (1969), « Endomorphisms and Automorphisms of the Shift Dynamical Systems », Mathematical Systems Theory, vol. 3, no 4, , p. 320–375 (DOI 10.1007/BF01691062)
{{article | auteur = Gustav A. Hedlund (1969) | doi = 10.1007/BF01691062 | numéro = 4 | journal = Mathematical Systems Theory | pages = 320–375 | titre = Endomorphisms and Automorphisms of the Shift Dynamical Systems | volume = 3 | année = 1969 |id=Hedlund1969}}
- (en) Christopher Hollings, « The early development of the algebraic theory of semigroups », Arch. Hist. Exact Sci. (2009), vol. 63, , p. 497–536 (DOI 10.1007/s00407-009-0044-3)
{{Article |langue=en|prénom1=Christopher|nom1=Hollings | titre= The early development of the algebraic theory of semigroups | périodique= Arch. Hist. Exact Sci. (2009) |année=2009|volume=63|pages=497–536 |doi=10.1007/s00407-009-0044-3 }}
- (en) John M. Howie, Fundamentals of semigroup theory, Oxford University Press, coll. « London Mathematical Society Monographs. New Series » (no 12), , x+351 (ISBN 0-19-851194-9, MR 1455373)Ceci est une version révisée et augmentée de : John M. Howie, An introduction to semigroup theory, Academic Press, coll. « London Mathematical Society Monographs » (no 7), , x+272 (ISBN 0-12-356950-8, MR 0466355)
{{ouvrage|langue=en |prénom1=John M.|nom1=Howie |titre=Fundamentals of semigroup theory|éditeur=Oxford University Press |collection = London Mathematical Society Monographs. New Series|numéro dans collection = 12 |année=1995|pages totales=x+351|isbn=0-19-851194-9 |mr=1455373 }}{{Commentaire biblio|Ceci est une version révisée et augmentée de : {{ouvrage |prénom1=John M.|nom1=Howie |titre=An introduction to semigroup theory|éditeur=Academic Press |collection = London Mathematical Society Monographs|numéro dans collection = 7 |année=1976|pages totales=x+272|isbn=0-12-356950-8 |mr=0466355 }}}}
I[modifier | modifier le code]
J[modifier | modifier le code]
- P. Jipsen, « From semirings to residuated Kleene lattices », Studia Logica, vol. 76, , p. 291–303 (DOI 10.1023/B:STUD.0000032089.54776.63, zbMATH 1045.03049)
{{cite journal | first=P. | last=Jipsen | title=From semirings to residuated Kleene lattices | journal=Studia Logica | volume=76 | number=2 | year=2004 | pages=291–303 | zbl=1045.03049 | doi=10.1023/B:STUD.0000032089.54776.63 }}
K[modifier | modifier le code]
- Werner Kuich, « Algebraic systems and pushdown automata », dans Werner Kuich, Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement, Berlin, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 7020), (ISBN 978-3-642-24896-2, zbMATH 1251.68135), p. 228–256.
{{chapitre | last=Kuich | first=Werner | titre=Algebraic systems and pushdown automata | zbl=1251.68135 | auteur ouvrage = Werner Kuich | titre ouvrage =Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement | location=Berlin | publisher=[[Springer-Verlag]] | isbn=978-3-642-24896-2 | series=Lecture Notes in Computer Science | numéro dans collection=7020 | passage=228–256 | year=2011 }}.
- Dexter C. Kozen, Theory of Computation, Londres, Springer Verlag, coll. « Texts in Computer Science », , xiv+418 (ISBN 978-1-84628-297-3, DOI 10.1007/1-84628-477-5), « Safra's Construction », p. 167-170
{{ouvrage | auteur = Dexter C. Kozen |titre = Theory of Computation | année = 2006 | éditeur = Springer Verlag | lieu = Londres | doi = 10.1007/1-84628-477-5 | isbn = 978-1-84628-297-3 | collection = Texts in Computer Science | pages totales = xiv+418 | chapitre = Safra's Construction | passage = 167-170}}
- Stephen C. Kleene, « Representation of events in nerve nets and finite automata », dans Claude E. Shannon et John McCarthy (éditeurs), Automata Studies, Princeton, Princeton University Press, coll. « Annals of Mathematics Studies » (no 34), , viii+285 (ISBN 978-0691079165), p. 3-41
{{chapitre |prénom= Stephen C. |nom=Kleene |titre chapitre=Representation of events in nerve nets and finite automata |auteurs ouvrage= [[Claude E. Shannon]] et [[John McCarthy]] (éditeurs) |titre ouvrage= Automata Studies |collection= Annals of Mathematics Studies |numéro dans collection = 34|lieu= Princeton |éditeur= Princeton University Press|année= 1956 |pages totales = viii+285 |passage=3-41 |isbn= 978-0691079165}}
- Mati Kilp, Ulrich Knauer et Alexander V. Mikhalev, Monoids, Acts and Categories. : with Applications to Wreath Products and Graphs, Walter de Gruyter, coll. « De Gruyter Expositions in Mathematics » (no 29), , xviii+529 (ISBN 3-11-015248-7)
{{Ouvrage | prénom1=Mati|nom1=Kilp| prénom2=Ulrich |nom2=Knauer| prénom3=Alexander V.|nom3=Mikhalev | titre=Monoids, Acts and Categories. | sous-titre= with Applications to Wreath Products and Graphs | éditeur=Walter de Gruyter | numéro dans collection = 29 | collection = De Gruyter Expositions in Mathematics | pages=xviii+529 | isbn=3-11-015248-7 | année=2000}}
- Donald E. Knuth (2011), The Art of Computer Programming, vol. 4A : Combinatorial Algorithms, Part 1, Addison-Wesley, (ISBN 0-201-03804-8, présentation en ligne)
{{Ouvrage | auteur=[[Donald E. Knuth]] (2011) | titre=[[The Art of Computer Programming]] | présentation en ligne=http://www-cs-faculty.stanford.edu/~knuth/taocp.html | éditeur=Addison-Wesley | volume= 4A | titre volume = Combinatorial Algorithms, Part 1 | isbn=0-201-03804-8 | année=2011 | id=Knuth4A}}
- Donald E. Knuth (2005), The Art of Computer Programming, vol. 3 : Sorting and Searching, Second Edition, Addison-Wesley, (ISBN 0-201-89685-0, présentation en ligne)
{{Ouvrage | auteur=[[Donald E. Knuth]] (2005) | titre=[[The Art of Computer Programming]] | présentation en ligne=http://www-cs-faculty.stanford.edu/~knuth/taocp.html | éditeur=Addison-Wesley | volume= 3 | titre volume = Sorting and Searching, Second Edition | isbn=0-201-89685-0 | année=2005 | id=Knuth3}}
- Dalia Krieger, « On critical exponents in fixed points of non-erasing morphisms », dans Oscar H. Ibarra et Zhe Dang, Developments in Language Theory: Proceedings 10th International Conference, DLT 2006, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 4036), , p. 280–291
{{chapitre| prénom1 = Dalia| nom1 = Krieger | titre chapitre = On critical exponents in fixed points of non-erasing morphisms | auteurs ouvrage = Oscar H. Ibarra et Zhe Dang | titre ouvrage = Developments in Language Theory: Proceedings 10th International Conference, DLT 2006 | éditeur = Springer-Verlag | collection=Lecture Notes in Computer Science | numéro dans collection = 4036| année = 2006| passage = 280–291}}
- Dalia Krieger et J. Shallit, « Every real number greater than one is a critical exponent », Theor. Comput. Sci., vol. 381, , p. 177–182 (DOI 10.1016/j.tcs.2007.04.037)
{{article | prénom1=Dalia | nom1=Krieger | prénom2=J. | nom2=Shallit | titre=Every real number greater than one is a critical exponent | journal=Theor. Comput. Sci. | volume=381 | year=2007 | pages=177–182 | doi=10.1016/j.tcs.2007.04.037 }}
L[modifier | modifier le code]
- (en) Peter Linz, An Introduction to Formal Languages and Automata, Jones & Bartlett Learning, , 410 p. (ISBN 9780763714222 et 0763714224) — Section 6.3 A Membership Algorithm for Context Free Grammars, p. 172-174.
- Peter Linz, An Introduction to Formal Languages and Automata, Sudbury, MA, Jones & Bartlett Publishers, , 5e éd., 437 p. (ISBN 9781449615529).
{{Ouvrage | auteur = Peter Linz | titre = An Introduction to Formal Languages and Automata | éditeur = Jones & Bartlett Publishers | lieu = Sudbury, MA |numéro édition = 5 | année = 2011 | pages totales = 437 | isbn = 9781449615529 }}.
- Nicholas Loehr, Bijective Combinatorics, Chapman and Hall/CRC, coll. « Discrete Mathematics and Its Applications », , 612 p. (ISBN 978-1439848845)
{{ouvrage|prénom1=Nicholas|nom1=Loehr |titre=Bijective Combinatorics |éditeur=Chapman and Hall/CRC|année=2011 |collection=Discrete Mathematics and Its Applications|isbn=978-1439848845|pages=612}}
- Gérard Lallement, Semigroups and combinatorial applications, John Wiley & Sons, coll. « Pure and Applied Mathematics », , xi+376 (ISBN 0-471-04379-6, MR 81j:20082)
{{ouvrage|prénom1=Gérard|nom1=Lallement|titre=Semigroups and combinatorial applications |collection=Pure and Applied Mathematics |éditeur=John Wiley & Sons|année=1979 |pages totales=xi+376|math reviews=81j:20082|isbn=0-471-04379-6}}
- Mark V. Lawson, Finite Automata, Chapman and Hall/CRC, , 320 p. (ISBN 1584882557, présentation en ligne)
{{ouvrage|prénom1=Mark V.|nom1=Lawson|titre=Finite Automata |éditeur=Chapman and Hall/CRC|année=2003|volume=|tome=|isbn=1584882557|pages totales=320 |présentation en ligne = http://www.amazon.fr/Finite-Automata-Mark-V-Lawson/dp/1584882557/ref=sr_1_1?ie=UTF8&qid=1345184102&sr=8-1}}
- M. Lothaire (1983), Combinatorics on words, Addison-Wesley Publishing Co., Reading, Mass., coll. « Encyclopedia of Mathematics and its Applications » (no 17), (ISBN 978-0-201-13516-9, présentation en ligne)Une seconde édition révisée est parue chez Cambridge University Press, dans la collection Cambridge Mathematical Library, en 1997, (ISBN 978-0521599245)
{{Ouvrage | auteur=M. Lothaire (1983) | titre=Combinatorics on words | présentation en ligne=http://books.google.com/books?id=UV9_3plEr8wC | éditeur=Addison-Wesley Publishing Co., Reading, Mass. | collection=Encyclopedia of Mathematics and its Applications | isbn=978-0-201-13516-9| année=1983 | numéro dans collection=17}}{{Commentaire biblio |Une seconde édition révisée est parue chez ''[[Cambridge University Press]]'', dans la collection Cambridge Mathematical Library, en 1997, {{ISBN|978-0521599245}}}}
- M. Lothaire, Combinatorics on words, Addison-Wesley Publishing Co., Reading, Mass., coll. « Encyclopedia of Mathematics and its Applications » (no 17), (ISBN 978-0-201-13516-9, présentation en ligne)Une seconde édition révisée est parue chez Cambridge University Press, dans la collection Cambridge Mathematical Library, en 1997, (ISBN 978-0521599245)
{{Ouvrage | prénom1=M. |nom1=Lothaire | titre=Combinatorics on words | présentation en ligne=http://books.google.com/books?id=UV9_3plEr8wC | éditeur=Addison-Wesley Publishing Co., Reading, Mass. | collection=Encyclopedia of Mathematics and its Applications | isbn=978-0-201-13516-9| année=1983 | numéro dans collection=17}}{{Commentaire biblio |Une seconde édition révisée est parue chez ''[[Cambridge University Press]]'', dans la collection Cambridge Mathematical Library, en 1997, {{ISBN|978-0521599245}}}}
- M. Lothaire, Combinatorics on words, Cambridge University Press, coll. « Cambridge Mathematical Library », , xviii+238 (ISBN 978-0-521-59924-5, DOI 10.1017/CBO9780511566097, MR 1475463, présentation en ligne)Seconde édition, légèrement révisée, du livre paru sous le même nom, en 1983, chez Addison-Wesley, dans la séie Encyclopedia of Mathematics and its Application, (ISBN 978-0-201-13516-9)
{{Ouvrage | prénom1=M. |nom1=Lothaire | titre=Combinatorics on words | présentation en ligne= http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511566097 | éditeur=Cambridge University Press | collection=Cambridge Mathematical Library | doi = 10.1017/CBO9780511566097 | math reviews = 1475463 | isbn=978-0-521-59924-5| année=1997 | pages=xviii+238}}{{Commentaire biblio |Seconde édition, légèrement révisée, du livre paru sous le même nom, en 1983, chez Addison-Wesley, dans la séie Encyclopedia of Mathematics and its Application, {{ISBN|978-0-201-13516-9}}}}
- M. Lothaire, Algebraic combinatorics on words, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 90), (ISBN 978-0-521-81220-7, présentation en ligne) lien Math Reviews
{{Ouvrage | prénom1=M. |nom1=Lothaire | titre=Algebraic combinatorics on words | présentation en ligne=http://www-igm.univ-mlv.fr/~berstel/Lothaire/AlgCWContents.html | éditeur=[[Cambridge University Press]] | collection=Encyclopedia of Mathematics and its Applications | isbn=978-0-521-81220-7| année=2002 | numéro dans collection=90}} <small>{{MathSciNet|id=1905123}}</small>
- M. Lothaire (nom de plume), Applied combinatorics on words, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 105), (ISBN 978-0-521-84802-2, zbMATH 1133.68067, présentation en ligne)
{{Ouvrage | prénom1=M. | nom1=Lothaire | authorlink=M. Lothaire | responsabilité1=nom de plume | titre=Applied combinatorics on words | présentation en ligne=http://www-igm.univ-mlv.fr/~berstel/Lothaire/AppliedCW/AppCWContents.html | éditeur=[[Cambridge University Press]] | collection=Encyclopedia of Mathematics and its Applications | isbn=978-0-521-84802-2 | année=2005 | numéro dans collection=105 | zbl=1133.68067}}
- M. Lothaire, Applied combinatorics on words, Cambridge, Cambridge University Press, coll. « Encyclopedia of Mathematics and Its Applications » (no 105), (ISBN 0-521-84802-4, zbMATH 1133.68067)
- (en) Evgueni S. Lyapine, Semigroups, American Mathematical Society, coll. « Translations of Mathematical Monographs » (no 3), Deux autres éditions suivent, une première en 1968 avec un chapitre additionnel, et une deuxième, en 1974, avec un autre chapitre en plus..
{{ouvrage|langue=en|prénom1=Evgueni S. |nom1=Lyapine|lien auteur=Evgueni Lyapine|titre=Semigroups |éditeur=American Mathematical Society |collection= Translations of Mathematical Monographs|numéro dans collection=3|année=1963 |commentaire=Deux autres éditions suivent, une première en 1968 avec un chapitre additionnel, et une deuxième, en 1974, avec un autre chapitre en plus.}}.
M[modifier | modifier le code]
- (en) Kurt Mehlhorn et Peter Saunders, Algorithms and data structures : The basic toolbox, Berlin, Springer, , 300 p. (ISBN 978-3-540-77977-3, DOI 10.1007/978-3-540-77978-0)
{{Ouvrage |langue=en |nom1=Mehlhorn |prénom1=Kurt|nom2= Saunders |prénom2= Peter |titre=Algorithms and data structures|sous-titre= The basic toolbox |éditeur=Springer |lieu=Berlin |année=2008|isbn=978-3-540-77977-3|doi=10.1007/978-3-540-77978-0|pages totales=300}}
- Ian G. Macdonald, Symmetric functions and Hall polynomials, Oxford University Press, coll. « Oxford Mathematical Monographs », (ISBN 0-19-853530-9)
{{ouvrage|nom=Macdonald|prénom=Ian G.|lien auteur1=Ian G. Macdonald|titre=Symmetric functions and Hall polynomials|collection=Oxford Mathematical Monographs|lien éditeur=Oxford University Press|éditeur=Oxford University Press |année=1979|isbn=0-19-853530-9|id=McD}}
- Filippo Mignosi, « On the number of factors of Sturmian words », Theoret. Comput. Sci, vol. 82, , p. 71-84
{{article | prénom1=Filippo | nom1=Mignosi | titre=On the number of factors of Sturmian words | journal=Theoret. Comput. Sci | volume=82| year=1991 | pages=71-84}}
- Filippo Mignosi et Guiseppe Pirillo, « Repetitions in the Fibonacci infinite word », Theoret. Inform. Appl., vol. 26, no 3, , p. 199–204
{{article | prénom1=Filippo | nom1=Mignosi | prénom2=Guiseppe | nom2=Pirillo | titre=Repetitions in the Fibonacci infinite word | journal=Theoret. Inform. Appl. | volume=26|numéro=3 | year=1992 | pages=199–204}}
- Marston Morse et Gustav A. Hedlund (1938), « Symbolic dynamics », Amer. J. Math, vol. 60, no 4, , p. 815-866 (MR 1507944)
{{article | auteur = Marston Morse et Gustav A. Hedlund (1938) | titre = Symbolic dynamics | journal = Amer. J. Math | volume = 60 |numéro=4 | année = 1938 | pages = 815-866 | mr = 1507944 |id=mh1938}}
- Marston Morse et Gustav A. Hedlund (1940), « Symbolic dynamics II. Sturmian trajectories », Amer. J. Math, vol. 62, , p. 1-42 (MR 0000745)
{{article | auteur = Marston Morse et Gustav A. Hedlund (1940) | titre = Symbolic dynamics II. Sturmian trajectories | journal = Amer. J. Math | volume = 62 | année = 1940 | pages = 1-42 | mr = 0000745 |id=mh1940}}
N[modifier | modifier le code]
- (en) Attila Nagy, Special classes of semigroups, Kluwer Academic Publishers, coll. « Advances in Mathematics (Dordrecht) » (no 1), , viii+269 (ISBN 0-7923-6890-8, MR 2002d:20091, présentation en ligne)
{{ouvrage|langue=en |prénom1=Attila|nom1=Nagy |titre=Special classes of semigroups |éditeur=Kluwer Academic Publishers |année=2001 |collection=Advances in Mathematics (Dordrecht) |numéro dans collection=1 |pages totales=viii+269|isbn=0-7923-6890-8|mr=2002d:20091 |présentation en ligne=http://books.google.fr/books/about/Special_Classes_of_Semigroups.html?id=BmyCMoEU1n4C&redir_esc=y }}
O[modifier | modifier le code]
- Alexander Okhotin, « Non-erasing variants of the Chomsky-Schützenberger theorem », dans H.-C. Yen et O.H. Ibarra (éditeurs), Developments in Language Theory : DLT 2012, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 7410), , p. 121–129
{{chapitre |prénom1=Alexander|nom1=Okhotin |titre chapitre= Non-erasing variants of the Chomsky-Schützenberger theorem |auteurs ouvrage= H.-C. Yen et O.H. Ibarra (éditeurs)|titre ouvrage= Developments in Language Theory |sous-titre ouvrage= DLT 2012 |collection= Lecture Notes in Computer Science |numéro dans collection= 7410 |éditeur= Springer-Verlag |année= 2012|passage= 121–129}}
P[modifier | modifier le code]
- Sylvain Perifel, Complexité algorithmique, Ellipses Marketing, coll. « Références sciences », , 432 p. (ISBN 978-2-7298-8692-9, lire en ligne)
{{Ouvrage | auteur=Sylvain Perifel | titre=Complexité algorithmique | url= http://www.liafa.univ-paris-diderot.fr/~sperifel/livre_complexite.html | éditeur=Ellipses Marketing | collection = Références sciences | pages totales = 432| isbn= 978-2-7298-8692-9 | année= 2014 }}
- N. Pytheas Fogg, Substitutions in dynamics, arithmetics and combinatorics, édité par Valérie Berthé, Sébastien Ferenczi, Christian Mauduit et Anne Siegel, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 1794), (ISBN 3-540-44141-7, zbMATH 1014.11015)
{{Ouvrage | prénom1=N. |nom1=Pytheas Fogg| | titre=Substitutions in dynamics, arithmetics and combinatorics | lieu= édité par Valérie Berthé, Sébastien Ferenczi, Christian Mauduit et Anne Siegel | éditeur=Springer-Verlag | collection=Lecture Notes in Mathematics |numéro dans collection= 1794 | isbn=3-540-44141-7| année=2002 | zbl=1014.11015}}
- Dominique Perrin et Jean Éric Pin, Infinite words: automata, semigroups, logic and games, Academic Press, (ISBN 978-0-12-532111-2)
{{Ouvrage | auteur=Dominique Perrin et Jean Éric Pin | titre=Infinite words: automata, semigroups, logic and games | présentation en ligne= | éditeur=[[Academic Press]] | série= | isbn=978-0-12-532111-2 | année=2004 }}
- Dominique Perrin, « Les débuts de la combinatoire des mots », Séminaire de l'École des Hautes Études en Sciences Sociales,
{{Article | auteur = Dominique Perrin | titre = [http://www-igm.univ-mlv.fr/~perrin/Recherche/Seminaires/EHESS/TransBeginnings.pdf Les débuts de la combinatoire des mots] | journal = [http://www.ehess.fr/centres/cams/hemd.html Séminaire de l'École des Hautes Études en Sciences Sociales] | année = 2005}}
- Jean-Éric Pin, « Finite semigroups and recognizable languages: an introduction », dans J. Fountain (éditeur), Semigroups, Formal Languages and Groups : York, 1993, Dordrecht, Kluwer Academic Publishers, coll. « NATO Advanced Study Institute Series C » (no 466), (lire en ligne), p. 1-32
{{chapitre |prénom1=Jean-Éric|nom1=Pin |titre chapitre= Finite semigroups and recognizable languages: an introduction |auteurs ouvrage= J. Fountain (éditeur)|titre ouvrage= Semigroups, Formal Languages and Groups |sous-titre ouvrage= York, 1993 |collection= NATO Advanced Study Institute Series C |numéro dans collection= 466|lieu= Dordrecht |éditeur= Kluwer Academic Publishers |année= 1995|passage= 1-32 |présentation en ligne= |lire en ligne= http://www.liafa.univ-paris-diderot.fr/~jep/PDF/York1.pdf}}
- (en) Jean-Éric Pin, Varieties of formal languages, Plenum Publishing Corp., coll. « Foundations of Computer Science », , x+138 (ISBN 0-306-42294-8, MR 89a:68125)
{{ouvrage|langue=en|prénom1=Jean-Éric|nom1=Pin|titre=Varieties of formal languages |éditeur=Plenum Publishing Corp.|collection=Foundations of Computer Science |année=1986|pages totales=x+138|isbn=0-306-42294-8|mr=89a:68125}}
- (en) Jean-Éric Pin, Mathematical Foundations of Automata Theory, Support de cours du Master Parisien de Recherche en Informatique (MPRI), , 310 p. (lire en ligne)
{{ouvrage|langue=en|prénom1=Jean-Éric|nom1=Pin |titre= Mathematical Foundations of Automata Theory |éditeur= Support de cours du Master Parisien de Recherche en Informatique (MPRI) |pages totales= 310|année=2012 |lire en ligne=http://www.liafa.univ-paris-diderot.fr/~jep/PDF/MPRI/MPRI.pdf |consulté le=20 juin 2012 }}
R[modifier | modifier le code]
- Christophe Reutenauer, From Christoffel Words to Markoff Numbers, Oxford University Press, , 156 p. (ISBN 978-0-19-882754-2).
{{Ouvrage | auteur = Christophe Reutenauer | titre = From Christoffel Words to Markoff Numbers |éditeur = Oxford University Press | lieu = | année = 2019 | pages totales = 156 | isbn = 978-0-19-882754-2}}.
- Michel Rigo, Formal Languages, Automata and Numeration Systems, vol. 1, John Wiley & Sons, , 336 p. (ISBN 9781848216150 et 1848216157).
{{Ouvrage | auteur = Michel Rigo | titre = Formal Languages, Automata and Numeration Systems | volume=1 |éditeur = John Wiley & Sons | lieu = | année = 2014 | pages totales = 336 | isbn = 9781848216150 | isbn2 = 1848216157}}
- (en) David Rees, « On semi-groups », Mathematical Proceedings of the Cambridge Philosophical Society, vol. 36, no 4, , p. 387-400 (DOI 10.1017/S0305004100017436)
{{Article |langue=en|prénom=David|nom=Rees|titre=On semi-groups |périodique= Mathematical Proceedings of the Cambridge Philosophical Society |année=1940|volume=36|numéro=4|pages=387-400 |doi=10.1017/S0305004100017436 }}
- (de) Anton Kazimirovich Suschkewitsch, « Ü̈ber die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit », Mathematische Annalen, vol. 99, , p. 30-50 (lire en ligne)
{{Article |langue=de|prénom1=Anton Kazimirovich|nom1=Suschkewitsch | titre=Ü̈ber die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit |périodique= Mathematische Annalen |année=1928|volume=99|pages=30-50 |url=http://www.springerlink.com/content/u2m126m76v575101/ }}
S[modifier | modifier le code]
- Schrijver
- Alexander Schrijver, Combinatorial Optmization, Springer, (ISBN 3-540-44389-4), Chapter 8 : Shortest paths : arbitrary lengths.
{{ouvrage|auteur=[[Alexander Schrijver]] |titre=Combinatorial Optmization |éditeur=Springer|année=2004|isbn=3-540-44389-4 |passage = ''Chapter 8'' : Shortest paths : arbitrary lengths''}}.
- Shallit
- (en) Jeffrey Shallit, A Second Course in Formal Languages and Automata Theory, Cambridge University Press, , 240 p. (ISBN 9780521865722 et 0521865727)
{{Ouvrage | langue = en | auteur = Jeffrey Shallit | titre = A Second Course in Formal Languages and Automata Theory | éditeur = Cambridge University Press | lieu = | année = 2009 | pages totales = 240 | isbn = 9780521865722 | isbn2 = 0521865727}}
- Séminaire Bourbaki (numdam)
- Olivier Biquart, « Métriques kählériennes à courbure scalaire constante : unicité, stabilité », Séminaire Bourbaki, vol. 47, 2004-2005, p. 1-32 (exposé n° 938) (MR 2296414, zbMATH 1142.32010, lire en ligne)
* {{article|auteur= Olivier Biquart |titre = Métriques kählériennes à courbure scalaire constante : unicité, stabilité |périodique = Séminaire Bourbaki ||volume = 47 |année = 2004-2005 | pages = 1-32 (exposé n° 938) |url = http://www.numdam.org/item?id=SB_2004-2005__47__1_0 |math reviews = 2296414 | zbl = 1142.32010}}
- Sagan
- (en) Bruce E. Sagan, The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions, Springer, coll. « Graduate Texts in Mathematics » (no 203), , 2e éd. (ISBN 0-387-95067-2)
{{ouvrage|lang=en|nom1=Sagan|prénom1= Bruce E. |titre=The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions |sous-titre=|numéro d'édition=2 |collection =[[Graduate Texts in Mathematics]]|numéro dans collection=203 |éditeur=Springer|année=2001|isbn=0-387-95067-2}}
- Sakarovitch
- Jacques Sakarovitch, Éléments de théorie des automates, Vuibert, (ISBN 978-2-7117-4807-5)Traduction anglaise avec corrections : Elements of Automata Theory, Cambridge University Press 2009, (ISBN 9780521844253).
{{Ouvrage| prénom1=Jacques| nom1= Sakarovitch | titre=Éléments de théorie des automates| éditeur=Vuibert | année=2003 | isbn=978-2-7117-4807-5 |id=Sakarovitch}}{{indente| Traduction anglaise avec corrections : ''Elements of Automata Theory'', Cambridge University Press 2009, {{ISBN|9780521844253}}.}}
- Jacques Sakarovitch, Elements of automata theory (Translated from the French by Reuben Thomas), Cambridge, Cambridge University Press, (ISBN 978-0-521-84425-3, zbMATH 1188.68177)
{{ouvrage | last=Sakarovitch | first=Jacques | title=Elements of automata theory ''(Translated from the French by Reuben Thomas)'' | location=Cambridge | publisher=[[Cambridge University Press]] | year=2009 | isbn=978-0-521-84425-3 | zbl=1188.68177 }}
- Salomaa
- Arto Salomaa, Jewels of formal language theory, Prentice Hall, (ISBN 978-0-273-08522-5)
{{Ouvrage | auteur=Arto Salomaa | titre=Jewels of formal language theory | éditeur=Prentice Hall | isbn=978-0-273-08522-5 | année=1981}}
- Klaus Ulrich Schulz (éditeur), Word equations and related topics: 1st international workshop, IWWERT '90, Springer-Verlag, (ISBN 978-3-540-55124-9)
{{Ouvrage | auteur=Klaus Ulrich Schulz (éditeur) | titre=Word equations and related topics: 1st international workshop, IWWERT '90 | présentation en ligne= | éditeur=Springer-Verlag | série= | isbn= 978-3-540-55124-9 | année=1992 }}
- William Smyth, Computing Patterns in Strings, Addison Wesley, , 440 p. (ISBN 978-0201398397)
{{Ouvrage | prénom1=William |nom1=Smyth | titre= Computing Patterns in Strings | présentation en ligne= | éditeur=Addison Wesley | pages totales = 440 | isbn= 978-0201398397 | année=2003 }}
- Sipser
- (en) Michael Sipser, Introduction to the theory of computation, Boston, MA, Cengage Learning, , 3e éd., 480 p. (ISBN 9781133187790, OCLC 761858892)
{{Ouvrage | langue = en | auteur = Michael Sipser | titre = Introduction to the theory of computation | éditeur = Cengage Learning | lieu = Boston, MA | année = 2013 | pages totales = 480 |numéro édition = 3| isbn = 9781133187790 | oclc = 761858892}}
- Schützenberger
- Marcel-Paul Schützenberger, « D-représentation des demi-groupes », Comptes-Rendus de l'Académie des Sciences, vol. 244, , p. 1994–1996 (lire en ligne)
{{Article|prénom1= Marcel-Paul|nom1= Schützenberger |lien auteur1= Marcel-Paul Schützenberger |titre= {{surligner|D}}-représentation des demi-groupes |périodique= Comptes-Rendus de l'Académie des Sciences |lien périodique= Comptes rendus hebdomadaires des séances de l'Académie des sciences |année= 1957|volume= 244|pages= 1994–1996|url texte=http://gallica.bnf.fr/ark:/12148/bpt6k7215/f154 }}
- (en) Marcel-Paul Schützenberger, « On finite monoids having only trivial subgroups », Information and Control, vol. 8, no 2, , p. 190-194
{{Article|langue=en |prénom1=Marcel-Paul|nom1=Schützenberger | lien auteur1=Marcel-Paul Schützenberger | titre=On finite monoids having only trivial subgroups | périodique=Information and Control | année=1965|volume=8|numéro=2|pages=190-194 |url texte= }}
- Imre Simon, « Piecewise testable events », dans H. Brakhage (éditeur), Proceedings 2nd GI Conference, Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 33), , p. 214-222
{{chapitre |auteur= Imre Simon|titre chapitre= Piecewise testable events|auteurs ouvrage= H. Brakhage (éditeur)|titre ouvrage= Proceedings 2nd GI Conference |sous-titre ouvrage= |numéro d'édition= |collection= Lecture Notes in Computer Science |numéro dans collection=33 |lieu= |éditeur= Springer-Verlag|année= 1975|passage= 214-222 |présentation en ligne= |lire en ligne= |isbn= |bnf= |doi= |id= }}
- Richard P. Stanley (1997), Enumerative Combinatorics, vol. 1, Cambridge University Press, coll. « Cambridge Studies in Advanced Mathematics » (no 49), , 2e éd. (ISBN 0-521-55309-1, présentation en ligne)La première édition, publiée par Wadsworth and Brooks/Cole, date de 1986
{{Ouvrage | auteur = Richard P. Stanley | titre = Enumerative Combinatorics | numéro d'édition = 2 | éditeur = Cambridge University Press | collection = Cambridge Studies in Advanced Mathematics | numéro dans collection = 49 | volume = 1 |année=1997 | isbn = 0-521-55309-1 | présentation en ligne = http://www-math.mit.edu/~rstan/ec/ }}{{commentaire biblio|La première édition, publiée par Wadsworth and Brooks/Cole, date de 1986}}
- Richard P. Stanley, Enumerative Combinatorics, vol. 2, Cambridge University Press, coll. « Cambridge Studies in Advanced Mathematics » (no 62), (ISBN 0-521-56069-1, présentation en ligne)
{{Ouvrage | auteur = Richard P. Stanley | titre = Enumerative Combinatorics | éditeur = Cambridge University Press | collection = Cambridge Studies in Advanced Mathematics | numéro dans collection = 62 | volume = 2 |année=1999 | isbn = 0-521-56069-1 | présentation en ligne = http://www-math.mit.edu/~rstan/ec/ }}
- (de) Anton Kazimirovich Suschkewitsch, « Ü̈ber die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit », Mathematische Annalen, vol. 99, , p. 30-50 (lire en ligne)
{{Article |langue=de|prénom1=Anton Kazimirovich|nom1=Suschkewitsch | titre=Ü̈ber die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit |périodique= Mathematische Annalen |année=1928|volume=99|pages=30-50 |url=http://www.springerlink.com/content/u2m126m76v575101/ }}
T[modifier | modifier le code]
- Ken Thompson, « Regular expression search algorithm », Comm. Assoc. Comput. Mach., vol. 11, , p. 419–422
{{Article | auteur = Ken Thompson | titre = Regular expression search algorithm | journal = Comm. Assoc. Comput. Mach., vol. 11 | année = 1968 | pages= 419–422}}
W[modifier | modifier le code]
- Niklaus Wirth, Algorithms + Data Structures = Programs, Englewood Cliffs, New Jersey, Prentice-Hall, Inc., (ISBN 0-13-022418-9)
{{Ouvrage | prénom= Niklaus | nom = Wirth | titre = Algorithms + Data Structures = Programs | éditeur = Prentice-Hall, Inc. |lieu = Englewood Cliffs, New Jersey | année=1976 | isbn = 0-13-022418-9 }}