Aller au contenu

Utilisateur:ManiacParisien/Brouillons/Biblio-Sciences

Une page de Wikipédia, l'encyclopédie libre.

Biblio sciences

Liste par auteurs :

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
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).
{{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
{{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 }}
{{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 }}  
{{Ouvrage
  | auteur=Jean-Michel Autebert
  | titre=Langages algébriques
  | éditeur=Masson | lieu = Paris
  | année=1987
  | isbn=978-2-225-81087-9
  |id=Autebert}}
Sommaire :

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= }}
{{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}}
{{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}}
{{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 }}


{{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 }}
{{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
}}
Sommaire :

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 = }} 
{{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
  }}
{{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
}}
{{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}} 
{{Cormen2fr}}
Chapitre 9, « Médians et rangs » de {{Cormen2fr}}
  • 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}}
Sommaire :

D[modifier | modifier le code]

Sommaire :
  • 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}}
{{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}}
{{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
}}
{{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}}
{{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 }}
{{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}}
Sommaire :

F[modifier | modifier le code]

Sommaire :
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
{{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 }}
{{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}}
{{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 }}
{{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
}}}}
Sommaire :

I[modifier | modifier le code]

Sommaire :

J[modifier | modifier le code]

{{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 }}.
{{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}}
{{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}}
{{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 }}
Sommaire :

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}}

{{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}}
{{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}}}}
{{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}}}}
{{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}}}}
{{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> 


 {{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}}

  • (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.}}.
Sommaire :

M[modifier | modifier le code]

{{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}}
{{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}}
Sommaire :

N[modifier | modifier le code]

{{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
}}
Sommaire :

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]

{{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}}


{{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 }}
{{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
}}
Sommaire :

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/
}}
Sommaire :

S[modifier | modifier le code]

Schrijver
{{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
{{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}}.}}
{{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
{{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
{{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}}
Sommaire :

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
}}