Algebraic theory of automata and languages:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
New Jersey [u.a.]
World Scientific
2004
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Includes bibliographical references and index |
Beschreibung: | X, 199 S. graph. Darst. |
ISBN: | 9810247273 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV019408620 | ||
003 | DE-604 | ||
005 | 20060908 | ||
007 | t | ||
008 | 040930s2004 xxud||| |||| 00||| eng d | ||
010 | |a 2004054978 | ||
020 | |a 9810247273 |9 981-02-4727-3 | ||
035 | |a (OCoLC)55681595 | ||
035 | |a (DE-599)BVBBV019408620 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a xxu |c US | ||
049 | |a DE-91G |a DE-20 |a DE-703 | ||
050 | 0 | |a QA267.3 | |
082 | 0 | |a 511.3 |2 22 | |
084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
084 | |a DAT 555f |2 stub | ||
084 | |a DAT 550f |2 stub | ||
100 | 1 | |a Itō, Masami |d 1941- |e Verfasser |0 (DE-588)124830986 |4 aut | |
245 | 1 | 0 | |a Algebraic theory of automata and languages |c Masami Ito |
264 | 1 | |a New Jersey [u.a.] |b World Scientific |c 2004 | |
300 | |a X, 199 S. |b graph. Darst. | ||
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 Automates mathématiques, Théorie des | |
650 | 4 | |a Langages formels | |
650 | 4 | |a aFormal languages | |
650 | 4 | |a aMachine theory | |
650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-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 Formale Sprache |0 (DE-588)4017848-1 |D s |
689 | 0 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012870663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-012870663 |
Datensatz im Suchindex
_version_ | 1804132866646343680 |
---|---|
adam_text | ALGEBRAIC THESRY O/ AUTOMATA AND LANGUAGES MASAMI ITO KYOTO SANGYO
UNIVERSITY, JAPAN WORLD SCIENTIFIC NEW JERSEY * LONDON * SINGAPORE *
BEIJING * SHANGHAI * HONGKONG * TAIPEI * CHENNAI CONTENTS PREFACE VII 0
INTRODUCTION 1 1 GROUP-MATRIX TYPE AUTOMATA 5 1.1 STRONGLY CONNECTED
AUTOMATA 6 1.2 GROUP-MATRIX TYPE AUTOMATA 9 1.3 REPRESENTATIONS OF
AUTOMATA 19 1.4 EQUIVALENCE OF REGULAR SYSTEMS 22 1.5 CHARACTERISTIC
MONOIDS AND INPUT SETS 30 1.6 DIRECT PRODUCT OF AUTOMATA 35 1.7 FACTOR
AUTOMATA 38 1.8 PRIME ORDER CASE 41 1.9 REGULARITIES 43 1.10 APPLICATION
TO FACTOR AUTOMATA 46 1.11 APPLICATION TO DIRECT PRODUCTS 47 2 GENERAL
AUTOMATA 51 2.1 GENERALIZED REPRESENTATIONS 51 2.2 SOME PROPERTIES 54
2.3 REPRESENTATIONS OF GENERAL AUTOMATA 57 2.4 REGULARITIES 61 3 CLASSES
OF AUTOMATA AS POSETS 63 3.1 INTRODUCTORY NOTIONS AND RESULTS 63 3.2
CLASSES OF AUTOMATA 65 3.3 CLASSES WHICH DO NOT FORM LATTICES 69 IX X
CONTENTS 3.4 CLASSES WHICH FORM LATTICES 71 3.5 COMPUTATION OF [A * B] V
, P ^ 76 4 LANGUAGES AND OPERATIONS 83 4.1 GRAMMARS AND ACCEPTORS 83 4.2
OPERATIONS ON LANGUAGES 93 4.3 SHUFFLE PRODUCTS AND N-INSERTIONS 94 4.4
DECOMPOSITIONS 96 4.5 EQUATIONS ON LANGUAGES 99 4.6 SHUFFLE CLOSURES 102
5 SHUFFLE CLOSED LANGUAGES 113 5.1 SH-CLOSED AND SSH-CLOSED LANGUAGES
113 5.2 SH-FREE LANGUAGES AND SH-BASES 114 5.3 COMMUTATIVE REGULAR
LANGUAGES 117 5.4 REGULAR SSH-CLOSED LANGUAGES 122 5.5 HYPERCODES 124 6
INSERTIONS AND DELETIONS 127 6.1 INSERTION CLOSURES 127 6.2 DELETION
CLOSURES 130 6.3 INS-CLOSED AND DEL-CLOSED LANGUAGES 135 6.4 COMBINATION
OF OPERATIONS 137 7 SHUFFLES AND SCATTERED DELETIONS 141 7.1 SHUFFLE
RESIDUALS AND CLOSURES 141 7.2 MAXIMAL SHUFFLE RESIDUALS 145 7.3
SCATTERED DELETION CLOSURE 151 8 DIRECTABLE AUTOMATA 157 8.1
DETERMINISTIC CASE 158 8.2 NONDETERMINISTIC CASE 162 8.3 CLASSES OF
REGULAR LANGUAGES 164 8.4 COMMUTATIVE CASE 181 BIBLIOGRAPHY 189 INDEX
197
|
any_adam_object | 1 |
author | Itō, Masami 1941- |
author_GND | (DE-588)124830986 |
author_facet | Itō, Masami 1941- |
author_role | aut |
author_sort | Itō, Masami 1941- |
author_variant | m i mi |
building | Verbundindex |
bvnumber | BV019408620 |
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 | ST 130 ST 136 |
classification_tum | DAT 555f DAT 550f |
ctrlnum | (OCoLC)55681595 (DE-599)BVBBV019408620 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
dewey-tens | 510 - Mathematics |
discipline | Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01734nam a2200481zc 4500</leader><controlfield tag="001">BV019408620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060908 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040930s2004 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004054978</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810247273</subfield><subfield code="9">981-02-4727-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55681595</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019408620</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">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Itō, Masami</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124830986</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic theory of automata and languages</subfield><subfield code="c">Masami Ito</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey [u.a.]</subfield><subfield code="b">World Scientific</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 199 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aFormal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aMachine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">GBV 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=012870663&sequence=000001&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-012870663</subfield></datafield></record></collection> |
id | DE-604.BV019408620 |
illustrated | Illustrated |
indexdate | 2024-07-09T19:59:38Z |
institution | BVB |
isbn | 9810247273 |
language | English |
lccn | 2004054978 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012870663 |
oclc_num | 55681595 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-20 DE-703 |
owner_facet | DE-91G DE-BY-TUM DE-20 DE-703 |
physical | X, 199 S. graph. Darst. |
publishDate | 2004 |
publishDateSearch | 2004 |
publishDateSort | 2004 |
publisher | World Scientific |
record_format | marc |
spelling | Itō, Masami 1941- Verfasser (DE-588)124830986 aut Algebraic theory of automata and languages Masami Ito New Jersey [u.a.] World Scientific 2004 X, 199 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Automates mathématiques, Théorie des Langages formels aFormal languages aMachine theory Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s Automatentheorie (DE-588)4003953-5 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012870663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Itō, Masami 1941- Algebraic theory of automata and languages Automates mathématiques, Théorie des Langages formels aFormal languages aMachine theory Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 |
title | Algebraic theory of automata and languages |
title_auth | Algebraic theory of automata and languages |
title_exact_search | Algebraic theory of automata and languages |
title_full | Algebraic theory of automata and languages Masami Ito |
title_fullStr | Algebraic theory of automata and languages Masami Ito |
title_full_unstemmed | Algebraic theory of automata and languages Masami Ito |
title_short | Algebraic theory of automata and languages |
title_sort | algebraic theory of automata and languages |
topic | Automates mathématiques, Théorie des Langages formels aFormal languages aMachine theory Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
topic_facet | Automates mathématiques, Théorie des Langages formels aFormal languages aMachine theory Automatentheorie Formale Sprache |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012870663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT itomasami algebraictheoryofautomataandlanguages |