Automata theory with modern applications:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2006
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 255 S. graph. Darst. |
| ISBN: | 0521613248 0521848873 9780521613248 9780521848879 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021758794 | ||
| 003 | DE-604 | ||
| 005 | 20101006 | ||
| 007 | t | ||
| 008 | 061009s2006 d||| |||| 00||| eng d | ||
| 020 | |a 0521613248 |9 0-521-61324-8 | ||
| 020 | |a 0521848873 |9 0-521-84887-3 | ||
| 020 | |a 9780521613248 |9 978-0-521-61324-8 | ||
| 020 | |a 9780521848879 |9 978-0-521-84887-9 | ||
| 035 | |a (OCoLC)170025104 | ||
| 035 | |a (DE-599)BVBBV021758794 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.35 |2 22 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a WC 7700 |0 (DE-625)148144: |2 rvk | ||
| 100 | 1 | |a Anderson, James A. |d 1937- |e Verfasser |0 (DE-588)128934034 |4 aut | |
| 245 | 1 | 0 | |a Automata theory with modern applications |c James A. Anderson |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2006 | |
| 300 | |a VIII, 255 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Formal languages |v Problems, exercises, etc | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Machine theory |v Problems, exercises, etc | |
| 650 | 4 | |a Molecular computers | |
| 650 | 4 | |a Molecular computers |v Problems, exercises, etc | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014971917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014971917 | ||
Record in the Search Index
| _version_ | 1804135620019224576 |
|---|---|
| adam_text | Preface
1
Introduction
1.1
Sets
1.2
Relations
1.3
Functions
1.4
Semigroups
2
Languages and codes
2.1
Regular languages
2.2
Retracts
2.3
Senráetoacts
3
Automata
3.1
Deterministic and nondeteraiinistic automata
3.2
Kleene s Theorem
3.3
Minimal1 deterministic automata and syntactic monoids
3.4
Pumping Lemma for regular languages
3.5
Decidability
3.6
Pushdown automata
3.7
Mealy and Moore machines
-I-
«
Щ
m
m
m
з?
Grammars
Formal grammars
Chomsky nonrnal form and Greibaoh normal form
Pushdown automata and context-free languages
The Pumping Lemma and decidability
5
5.1
5.2
context-free languages
5.3
5.4
6
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
7
7.1
7.2
pairs of existing words
7.3
7.4
7.5
7.6
an effective determination of the set of all splicing
rales that respect L
7.7
language is a reflexive splicing language
Appendix A Cardinality
Appendix
References
Further reading
Index
|
| adam_txt |
Preface
1
Introduction
1.1
Sets
1.2
Relations
1.3
Functions
1.4
Semigroups
2
Languages and codes
2.1
Regular languages
2.2
Retracts
2.3
Senráetoacts
3
Automata
3.1'
Deterministic and nondeteraiinistic automata
3.2
Kleene's Theorem
3.3
Minimal1 deterministic automata and syntactic monoids
3.4
Pumping Lemma for regular languages
3.5
Decidability
3.6
Pushdown automata
3.7
Mealy and Moore machines
-I-
«
Щ
m
m
m
з?
Grammars
Formal grammars
Chomsky nonrnal form and Greibaoh normal form
Pushdown automata and context-free languages
The Pumping Lemma and decidability
5
5.1
5.2
context-free languages
5.3
5.4
6
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
7
7.1
7.2
pairs of existing words
7.3
7.4
7.5
7.6
an effective determination of the set of all splicing
rales that respect L
7.7
language is a reflexive splicing language
Appendix A Cardinality
Appendix
References
Further reading
Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Anderson, James A. 1937- |
| author_GND | (DE-588)128934034 |
| author_facet | Anderson, James A. 1937- |
| author_role | aut |
| author_sort | Anderson, James A. 1937- |
| author_variant | j a a ja jaa |
| building | Verbundindex |
| bvnumber | BV021758794 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 136 WC 7700 |
| ctrlnum | (OCoLC)170025104 (DE-599)BVBBV021758794 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Biologie Informatik Mathematik |
| discipline_str_mv | Biologie Informatik Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01602nam a2200433 c 4500</leader><controlfield tag="001">BV021758794</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101006 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061009s2006 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521613248</subfield><subfield code="9">0-521-61324-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521848873</subfield><subfield code="9">0-521-84887-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521613248</subfield><subfield code="9">978-0-521-61324-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521848879</subfield><subfield code="9">978-0-521-84887-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)170025104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021758794</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WC 7700</subfield><subfield code="0">(DE-625)148144:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Anderson, James A.</subfield><subfield code="d">1937-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128934034</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata theory with modern applications</subfield><subfield code="c">James A. Anderson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 255 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Molecular computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Molecular computers</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=014971917&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-014971917</subfield></datafield></record></collection> |
| id | DE-604.BV021758794 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:34:29Z |
| indexdate | 2024-07-09T20:43:24Z |
| institution | BVB |
| isbn | 0521613248 0521848873 9780521613248 9780521848879 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014971917 |
| oclc_num | 170025104 |
| open_access_boolean | |
| owner | DE-739 DE-20 |
| owner_facet | DE-739 DE-20 |
| physical | VIII, 255 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Anderson, James A. 1937- Verfasser (DE-588)128934034 aut Automata theory with modern applications James A. Anderson 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2006 VIII, 255 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal languages Formal languages Problems, exercises, etc Machine theory Machine theory Problems, exercises, etc Molecular computers Molecular computers Problems, exercises, etc Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014971917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Anderson, James A. 1937- Automata theory with modern applications Formal languages Formal languages Problems, exercises, etc Machine theory Machine theory Problems, exercises, etc Molecular computers Molecular computers Problems, exercises, etc |
| title | Automata theory with modern applications |
| title_auth | Automata theory with modern applications |
| title_exact_search | Automata theory with modern applications |
| title_exact_search_txtP | Automata theory with modern applications |
| title_full | Automata theory with modern applications James A. Anderson |
| title_fullStr | Automata theory with modern applications James A. Anderson |
| title_full_unstemmed | Automata theory with modern applications James A. Anderson |
| title_short | Automata theory with modern applications |
| title_sort | automata theory with modern applications |
| topic | Formal languages Formal languages Problems, exercises, etc Machine theory Machine theory Problems, exercises, etc Molecular computers Molecular computers Problems, exercises, etc |
| topic_facet | Formal languages Formal languages Problems, exercises, etc Machine theory Machine theory Problems, exercises, etc Molecular computers Molecular computers Problems, exercises, etc |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014971917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT andersonjamesa automatatheorywithmodernapplications |