An introduction to the theory of formal languages and automata:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
Benjamins
2008
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XI, 139 S. |
| ISBN: | 9789027232502 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV035078452 | ||
| 003 | DE-604 | ||
| 005 | 20081219 | ||
| 007 | t | ||
| 008 | 081001s2008 ne |||| 00||| eng d | ||
| 010 | |a 2008027330 | ||
| 020 | |a 9789027232502 |c pbk. : alk. paper |9 978-90-272-3250-2 | ||
| 035 | |a (OCoLC)602634632 | ||
| 035 | |a (DE-599)BVBBV035078452 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c NL | ||
| 049 | |a DE-19 |a DE-355 |a DE-188 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 401/.9 | |
| 084 | |a ES 163 |0 (DE-625)27810: |2 rvk | ||
| 084 | |a ES 915 |0 (DE-625)27928: |2 rvk | ||
| 100 | 1 | |a Levelt, Willem J. M. |d 1938- |e Verfasser |0 (DE-588)132785854 |4 aut | |
| 245 | 1 | 0 | |a An introduction to the theory of formal languages and automata |c Willem J.M. Levelt |
| 264 | 1 | |a Amsterdam [u.a.] |b Benjamins |c 2008 | |
| 300 | |a XI, 139 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Maschinensprache |0 (DE-588)4037827-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Maschinensprache |0 (DE-588)4037827-5 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016746728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016746728 | ||
Record in the Search Index
| _version_ | 1804138029631143936 |
|---|---|
| adam_text | Table
of
contents
Preface
ix
CHAPTER
1
Grammars as formal systems
ι
1.1 Grammars, automata, and inference
ι
1.2
The definition of grammar
3
1.3
Examples
5
chapter
2
The hierarchy of grammars
9
2.1
Classes of grammars
9
2.2
Regular grammars
12
2.3
Context-free grammars
16
2.3.1
The Chomsky normal-form
16
2.3.2
The Greibach normal-form
18
2.3.3
Self-embedding
20
2.3.4
Ambiguity
23
2.3.5
Linear grammars
25
2.4
Context-sensitive grammars
26
2.4.1
Context-sensitive productions
26
2.4.2
The Kuroda normal-form
29
chapter
3
Probabilistic grammars
33
3.1
Definitions and concepts
33
3.2
Classification
35
3.3
Regular probabilistic grammars
36
3.4
Context-free probabilistic grammars
41
3.4.1
Normal-forms
41
3.4.2
Consistency conditions for context-free
probabilistic grammars
46
chapter
4
Finite automata
49
4.1
Definitions and concepts
50
viii
An Introduction to the Theory of Formal Languages and Automata
4.2
Nondeterministic finite automata
55
4.3
Finite automata and regular grammars
58
4.4
Probabilistic finite automata
62
chapter
5
Push-down automata
69
5.1
Definitions and concepts
70
5.2
Nondeterministic push-down automata
and context-free languages
79
CHAPTER
6
Linear-bounded automata
85
6.1
Definitions and concepts
85
6.2
Linear-bounded automata
and context-sensitive grammars
89
chapter
7
Turing machines
95
7.1
Definitions and concepts
96
7.2
A few elementary procedures
97
7.3
Turing machines and type-0 languages
100
7.4
Mechanical procedures, recursive enumerability,
and recursiveness
103
CHAPTER
8
Grammatical inference
109
8.1
Hypotheses, observations, and evaluation
109
8.2
The classical estimation of parameters
for probabilistic grammars
112
8.3
The learnability of
nonprobabüistic
languages
114
8.4
Inference by means of
Bayes
theorem u8
Historical and bibliographical remarks
125
Appendix. Some references to new developments
129
Bibliography
131
Index of authors
135
Index of subjects
137
|
| adam_txt |
Table
of
contents
Preface
ix
CHAPTER
1
Grammars as formal systems
ι
1.1 Grammars, automata, and inference
ι
1.2
The definition of'grammar'
3
1.3
Examples
5
chapter
2
The hierarchy of grammars
9
2.1
Classes of grammars
9
2.2
Regular grammars
12
2.3
Context-free grammars
16
2.3.1
The Chomsky normal-form
16
2.3.2
The Greibach normal-form
18
2.3.3
Self-embedding
20
2.3.4
Ambiguity
23
2.3.5
Linear grammars
25
2.4
Context-sensitive grammars
26
2.4.1
Context-sensitive productions
26
2.4.2
The Kuroda normal-form
29
chapter
3
Probabilistic grammars
33
3.1
Definitions and concepts
33
3.2
Classification
35
3.3
Regular probabilistic grammars
36
3.4
Context-free probabilistic grammars
41
3.4.1
Normal-forms
41
3.4.2
Consistency conditions for context-free
probabilistic grammars
46
chapter
4
Finite automata
49
4.1
Definitions and concepts
50
viii
An Introduction to the Theory of Formal Languages and Automata
4.2
Nondeterministic finite automata
55
4.3
Finite automata and regular grammars
58
4.4
Probabilistic finite automata
62
chapter
5
Push-down automata
69
5.1
Definitions and concepts
70
5.2
Nondeterministic push-down automata
and context-free languages
79
CHAPTER
6
Linear-bounded automata
85
6.1
Definitions and concepts
85
6.2
Linear-bounded automata
and context-sensitive grammars
89
chapter
7
Turing machines
95
7.1
Definitions and concepts
96
7.2
A few elementary procedures
97
7.3
Turing machines and type-0 languages
100
7.4
Mechanical procedures, recursive enumerability,
and recursiveness
103
CHAPTER
8
Grammatical inference
109
8.1
Hypotheses, observations, and evaluation
109
8.2
The classical estimation of parameters
for probabilistic grammars
112
8.3
The 'learnability' of
nonprobabüistic
languages
114
8.4
Inference by means of
Bayes'
theorem u8
Historical and bibliographical remarks
125
Appendix. Some references to new developments
129
Bibliography
131
Index of authors
135
Index of subjects
137 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Levelt, Willem J. M. 1938- |
| author_GND | (DE-588)132785854 |
| author_facet | Levelt, Willem J. M. 1938- |
| author_role | aut |
| author_sort | Levelt, Willem J. M. 1938- |
| author_variant | w j m l wjm wjml |
| building | Verbundindex |
| bvnumber | BV035078452 |
| 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 | ES 163 ES 915 |
| ctrlnum | (OCoLC)602634632 (DE-599)BVBBV035078452 |
| dewey-full | 401/.9 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.9 |
| dewey-search | 401/.9 |
| dewey-sort | 3401 19 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| discipline_str_mv | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01632nam a2200433zc 4500</leader><controlfield tag="001">BV035078452</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081001s2008 ne |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008027330</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789027232502</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">978-90-272-3250-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)602634632</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035078452</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-355</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">401/.9</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 163</subfield><subfield code="0">(DE-625)27810:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 915</subfield><subfield code="0">(DE-625)27928:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Levelt, Willem J. M.</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132785854</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to the theory of formal languages and automata</subfield><subfield code="c">Willem J.M. Levelt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Benjamins</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 139 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinensprache</subfield><subfield code="0">(DE-588)4037827-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Maschinensprache</subfield><subfield code="0">(DE-588)4037827-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-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">Digitalisierung UB Regensburg</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=016746728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016746728</subfield></datafield></record></collection> |
| id | DE-604.BV035078452 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:06:20Z |
| indexdate | 2024-07-09T21:21:42Z |
| institution | BVB |
| isbn | 9789027232502 |
| language | English |
| lccn | 2008027330 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016746728 |
| oclc_num | 602634632 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-188 |
| physical | XI, 139 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Benjamins |
| record_format | marc |
| spelling | Levelt, Willem J. M. 1938- Verfasser (DE-588)132785854 aut An introduction to the theory of formal languages and automata Willem J.M. Levelt Amsterdam [u.a.] Benjamins 2008 XI, 139 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Formal languages Machine theory Maschinensprache (DE-588)4037827-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Maschinensprache (DE-588)4037827-5 s Formale Sprache (DE-588)4017848-1 s DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016746728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Levelt, Willem J. M. 1938- An introduction to the theory of formal languages and automata Formal languages Machine theory Maschinensprache (DE-588)4037827-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4037827-5 (DE-588)4017848-1 |
| title | An introduction to the theory of formal languages and automata |
| title_auth | An introduction to the theory of formal languages and automata |
| title_exact_search | An introduction to the theory of formal languages and automata |
| title_exact_search_txtP | An introduction to the theory of formal languages and automata |
| title_full | An introduction to the theory of formal languages and automata Willem J.M. Levelt |
| title_fullStr | An introduction to the theory of formal languages and automata Willem J.M. Levelt |
| title_full_unstemmed | An introduction to the theory of formal languages and automata Willem J.M. Levelt |
| title_short | An introduction to the theory of formal languages and automata |
| title_sort | an introduction to the theory of formal languages and automata |
| topic | Formal languages Machine theory Maschinensprache (DE-588)4037827-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Formal languages Machine theory Maschinensprache Formale Sprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016746728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT leveltwillemjm anintroductiontothetheoryofformallanguagesandautomata |