Introduction à la théorie des langages:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Französisch |
| Veröffentlicht: |
Paris
Hachette
1975
|
| Schriftenreihe: | Langue, linguistique, communication.
Hachette université |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002023709&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | 223 S. |
| ISBN: | 2010017692 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003220430 | ||
| 003 | DE-604 | ||
| 005 | 20160130 | ||
| 007 | t| | ||
| 008 | 900725s1975 xx |||| 00||| fre d | ||
| 020 | |a 2010017692 |9 2-01-001769-2 | ||
| 035 | |a (OCoLC)2492506 | ||
| 035 | |a (DE-599)BVBBV003220430 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-384 |a DE-739 |a DE-824 |a DE-188 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 415 | |
| 084 | |a ER 700 |0 (DE-625)27741: |2 rvk | ||
| 100 | 1 | |a Moreau, René |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction à la théorie des langages |c par René Moreau |
| 264 | 1 | |a Paris |b Hachette |c 1975 | |
| 300 | |a 223 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Langue, linguistique, communication. | |
| 490 | 0 | |a Hachette université | |
| 650 | 4 | |a Langages de programmation | |
| 650 | 4 | |a Langages formels | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Sprachtheorie |0 (DE-588)4121708-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Sprachtheorie |0 (DE-588)4121708-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002023709&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002023709 | |
Datensatz im Suchindex
| _version_ | 1819304851148898304 |
|---|---|
| adam_text | PLAN DE L OUVRAGE
Principales notations utilisées 10
Introduction 11
CHAPITRE PRÉLIMINAIRE : RAPPELS
0.1 Rappel sur les ensembles 15
0 11 Réunion, intersection, différence 15
0 12 Produits d ensembles 15
0 13 Partition d un ensemble en classes d équivalence 17
0 14 Correspondances entre deux ensembles 18
0.2 Notion de monoïde 20
0 21 Ensembles finis et infinis 20
0 22 Demi groupes et monoïdes 22
0.3 Notion d algorithme 26
0 31 Exemple préliminaire 26
0 32 Essai de définition 26
0 33 Enumérabilité et décidabilité 30
0 331 Enumérabilité 30
0 332 Décidabilité 31
1. LES GRAMMAIRES SYNTAGMATIQUES
Paragraphe 10 : Présentation 33
Paragraphe 11 : Formalisation d un ensemble de messages 34
11 1 Notions de formalisation 34
11 2 Notion d ensemble de messages 36
Paragraphe 12 : Les composants des grammaires syntagmatiques 37
12 1 Le vocabulaire 37
12 11 Structure de surface 37
12 12 Structure syntagmatique 39
12 13 Vocabulaire terminal et non terminal 41
12 14 Vocabulaire total 42
12 15 Les grandes étapes de l analyse automatique 42
12 2 Les règles de grammaire syntagmatique 46
12 21 Notion de production par G 46
12 22 Différents éléments des règles 47
12 23 Enumération et reconnaissance 48
12 231 Application d une production 48
12 232 Symbolisme utilisé 50
12 3 L élément privilégié 51
12 4 Définition générale des grammaires syntagmatiques 51
Paragraphe 13 : Typologie des grammaires syntagmatiques .52
13 1 Classification des règles de grammaire 52
13 2 Classification des grammaires en fonction de la partie gauche
de leurs règles 55
13 3 Un cas particulier des grammaires non contextuelles :
les grammaires régulières 60
13 4 Grammaire de type fort ou faible 63
Paragraphe 14 : Notations usuelles des règles de grammaires syntagmatiques 63
14 1 Notation de Backus 63
14 11 Les quatre symboles 63
14 12 Les deux conventions 64
14 2 La notation SRL 65
14 21 Les conventions 65
14 22 Les symboles spéciaux 66
14 3 Un exemple de représentation sous forme de tables 68
2. LES DÉRIVATIONS
Paragraphe 20 : Présentation 73
Paragraphe 21 : L ensemble ?(G) des chaînes dérivables 74
21 1 Notion de chaînes dérivées par G d une chaîne (p 74
21 2 Notion de dérivation 75
21 21 Les chaînes dérivables 75
21 22 Relation binaire cpt § (pn 77
21 221 Notation usuelle 77
21 222 Propriété de § 78
21 23 Dérivation à droite et à gauche 78
21 3 Langage énuméré à l aide d une grammaire syntagmatique G .... 80
21 31 Chaînes dérivables terminales 80
21 32 Quelques caractéristiques des langages syntagmatiques .. • 84
21 321 Langages infinis et vides 84
21 322 Enumération et reconnaissance du langage d une
grammaire 85
Paragraphe 22 : Le marquage des syntagmes de C(G) 89
22 1 Analyse syntaxique par G 89
22 2 Les marqueurs de syntagmes 9
22 21 Les descriptions structurelles 90
22 22 Les marqueurs de syntagmes 94
22 23 Les constituants par G 95
22 3 Equivalence de grammaires 96
Paragraphe 23 : Deux caractéristiques des structures syntagmatiques :
l ambiguïté et la récursivité
23 1 L ambiguïté syntaxique 99
23 11 Syntagme ambigu 99
23 12 Grammaire ambiguë ^
23 13 Langage ambigu 105
23 14 Grammaire strictement ambiguë 106
23 15 Sur l ambiguïté des langages de programmation 106
23 2 La récursivité 110
23 21 Eléments récursifs d une grammaire G 110
23 22 Quelques applications 114
23 221 Techniques récursives en programmation 114
23 222 Ordinogrammes et fonctions définies récursivement... 116
23 23 La complexité syntaxique 120
3. LES LANGAGES SYNTAGMATIQUES
Paragraphe 30 : Présentation 123
Paragraphe 31 : Typologie des langages formels 124
31 1 Langages énumérables et langages récursifs 124
31 2 Différents types de langages syntagmatiques 125
31 21 Leurs définitions 125
31 22 Caractérisation de quelques classes de langages 128
31 3 Détermination du type d un langage syntagmatique 130
31 31 Le langage est connu comme énumérable à partir d une
grammaire G 131
31 32 Le langage C est connu comme un ensemble déterminé
d éléments sans que l on sache quelle grammaire syntagma¬
tique G est telle que C = E(G) 131
Paragraphe 32 : Langages syntagmatiques fondamentaux et structures
syntagmatiques caractéristiques 132
32 1 Langages réguliers 132
32 11 Structure de surface fondamentale 132
32 12 Structure syntagmatique fondamentale : le chaînage 132
32 2 Langages non contextuels .... 133
32 21 Structures de surface fondamentales 133
32 22 Structure syntagmatique fondamentale : l emboîtement... 135
32 3 Langages contextuels 139
32 31 Structures de surface fondamentales 139
32 32 Structure syntagmatique fondamentale : le recopiage 141
Paragraphe 33 : Substitution et homomorphisme 146
33 1 Substitution 146
33 11 Langage substitué à un autre 146
33 12 Extension du répertoire des langages 154
33 2 Homomorphisme 155
33 21 Substitution et codage 155
33 22 Retour sur structures de surface et structures syntagmatiques 155
33 23 Matrice de transition 157
33 24 Homomorphisme entre langages réguliers standards
et langages réguliers 161
33 25 Homomorphisme entre langages non contextuels
et langages à crochets 163
s
I
33 251 Les langages de Dyck 163
33 252 Grammaire et langages à crochets 165
Paragraphe 34 : Réunion, intersection et complémentation de langages.... 167
34 1 Réunion de langages de différents types 167
34 2 Intersection de langages de différents types 168
34 3 Complément d un langage 17
Tableau 35 : Résumé des principaux théorèmes de décidabilité l 71
4. COMPLÉMENTS SUR LES GRAMMAIRES
ET LANGAGES NON CONTEXTUELS
Paragraphe 40 : Présentation 1
Paragraphe 41 : Les équations de Chomsky Schûtzenberger i74
41 1 Leur écriture 174
41 2 Calculs numériques et non numériques 176
41 3 Quelques caractéristiques des séries formelles de Chomsky
Schutzenberger 177
Paragraphe 42 : Retour sur le problème de l ambiguïté des langages non
contextuels 8
42 1 Théorèmes fondamentaux I78
42 2 Les langages bornés *7
42 3 Les langages parenthèses 1^0
42 31 Différents types de parenthèses 1°!J
42 32 Structures parenthésées 182
Paragraphe 43 : Equivalence de grammaires non contextuelles 1°
43 1 Equivalence forte et équivalence structurelle lg7
43 2 Grammaires non contextuelles fondamentales ™*
43 21 Les grammaires réduites 1™
43 211 Réduction au sens de Bar Hillel • • ¦ !94
43 212 Différentes procédures utilisées au cours de la réduction
d une grammaire
43 22 Les grammaires normales I9
43 221 Définition I97
43 222 Procédure de normalisation I97
43 223 Lexicalisation d une grammaire de type quelconque... 200
43 23 Les grammaires standardisées 200
43 231 Définition 200
43 232 Procédure de standardisation 201
43 233 Auto imbrication, grammaires non contextuelles
et grammaires régulières 203
Tableau 44 : Principales notions présentées dans ce livre 205
Bibliographie 207
Index 2U
LISTE DES PROCÉDURES
Procédure couleur 29
Procédure boîte aux lettres 30
Procédure grammaire 33
Procédure de contextualité 56
Procédure de dérivation d un syntagme 82
Procédures itératives et récursives 118
Elimination de non terminaux n apparaissant pas dans des chaînes
dérivables 196
Procédure de normalisation 199
Procédure de standardisation à gauche • • 201
Procédure d élimination des éléments terminaux qui ne sont pas la tête
de la production 201
Procédure de régularisation 201
Procédure d élimination de la récursivité à gauche 202
LISTE DES TABLEAUX
Processus de compilation ^5
Processus de compilation de PL/1 54
Différents types de productions et de grammaires syntagmatiques
en fonction des particularités de £ ™
Kbl: t Sïes} •«« ^™ syntagmatique 70
Décidabilité de la finitude • *•*
Analyseur qui n est pas sous contrôle syntaxique °7
Analyseur sous contrôle syntaxique °°
Décidabilité de l ambiguïté 105
Correspondance entre caractérisation .des classes de langages
par leurs propriétés et par des grammaires syntagmatiques 130
Répertoire des langages étudiés dans ce livre jol
Réunion de langages de différents types *°7
Intersection de langages de différents types 168
Théorèmes de décidabilité et d indécidabilité cités dans les trois
premiers chapitres de ce livre • ^
Forme canonique des productions des grammaires raccourcissantes
et non contextuelles ^02
Principales notions présentées dans ce livre 205
|
| any_adam_object | 1 |
| author | Moreau, René |
| author_facet | Moreau, René |
| author_role | aut |
| author_sort | Moreau, René |
| author_variant | r m rm |
| building | Verbundindex |
| bvnumber | BV003220430 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.3 |
| callnumber-search | QA267.3 |
| callnumber-sort | QA 3267.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ER 700 |
| ctrlnum | (OCoLC)2492506 (DE-599)BVBBV003220430 |
| dewey-full | 415 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415 |
| dewey-search | 415 |
| dewey-sort | 3415 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01438nam a2200409 c 4500</leader><controlfield tag="001">BV003220430</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160130 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900725s1975 xx |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2010017692</subfield><subfield code="9">2-01-001769-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2492506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003220430</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">415</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 700</subfield><subfield code="0">(DE-625)27741:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moreau, René</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction à la théorie des langages</subfield><subfield code="c">par René Moreau</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Hachette</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">223 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Langue, linguistique, communication.</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Hachette université</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachtheorie</subfield><subfield code="0">(DE-588)4121708-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Sprachtheorie</subfield><subfield code="0">(DE-588)4121708-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002023709&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002023709</subfield></datafield></record></collection> |
| id | DE-604.BV003220430 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T08:00:49Z |
| institution | BVB |
| isbn | 2010017692 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002023709 |
| oclc_num | 2492506 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-824 DE-188 |
| owner_facet | DE-384 DE-739 DE-824 DE-188 |
| physical | 223 S. |
| publishDate | 1975 |
| publishDateSearch | 1975 |
| publishDateSort | 1975 |
| publisher | Hachette |
| record_format | marc |
| series2 | Langue, linguistique, communication. Hachette université |
| spellingShingle | Moreau, René Introduction à la théorie des langages Langages de programmation Langages formels Formal languages Programming languages (Electronic computers) Sprachtheorie (DE-588)4121708-1 gnd |
| subject_GND | (DE-588)4121708-1 |
| title | Introduction à la théorie des langages |
| title_auth | Introduction à la théorie des langages |
| title_exact_search | Introduction à la théorie des langages |
| title_full | Introduction à la théorie des langages par René Moreau |
| title_fullStr | Introduction à la théorie des langages par René Moreau |
| title_full_unstemmed | Introduction à la théorie des langages par René Moreau |
| title_short | Introduction à la théorie des langages |
| title_sort | introduction a la theorie des langages |
| topic | Langages de programmation Langages formels Formal languages Programming languages (Electronic computers) Sprachtheorie (DE-588)4121708-1 gnd |
| topic_facet | Langages de programmation Langages formels Formal languages Programming languages (Electronic computers) Sprachtheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002023709&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT moreaurene introductionalatheoriedeslangages |