Automata, formal languages and algebraic systems: proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
c2010
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references Solidifyable minimal clone of partial operation / S. Busaman and K. Denecke -- A novel cryptosystem based on finite automata without output / P. Domosi -- Linear languages of finite and infinite words / Z. Esik, M. Ito and W. Kuich -- Extended temporal logics on finite words / Z. Esik and Sz. Ivan -- The number of distinct 4-cycles and 2-matchings of some zero-divisor graphs / M. Kanemitsu -- On normal form grammars and their size / A. Kelemenova, L. Ciencialova and L. Cienciala -- Grobner bases on algebras based on well-ordered semigroups / Y. Kobayashi -- Concurrent finite automata and related language classes / M. Kudlek and G. Zetzsche -- Finitely expandable deep PDAs / P. Leupold and A. Meduna -- The primitivity distance of words / G. Lischke -- Fine convergence of functions and its effectivization / T. Mori, M. Yasugi and Y. Tsujii -- On a hierarchy of permutation languages / B. Nagy -- Derivation trees for context-sensitive grammars / B. Nagy -- On proper languages and transformations of lexicalized types of automata / F. Otto -- Initial literal shuffles of uniform codes / G. Tanaka and Y. Kunimochi This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions and others |
| Beschreibung: | 1 Online-Ressource (viii, 238 p.) |
| ISBN: | 9789814317603 9789814317610 9814317608 9814317616 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043137060 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814317603 |c electronic bk. |9 978-981-4317-60-3 | ||
| 020 | |a 9789814317610 |c electronic bk. |9 978-981-4317-61-0 | ||
| 020 | |a 9814317608 |c electronic bk. |9 981-4317-60-8 | ||
| 020 | |a 9814317616 |c electronic bk. |9 981-4317-61-6 | ||
| 035 | |a (OCoLC)743216404 | ||
| 035 | |a (DE-599)BVBBV043137060 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 245 | 1 | 0 | |a Automata, formal languages and algebraic systems |b proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 |c edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji |
| 264 | 1 | |a Singapore |b World Scientific |c c2010 | |
| 300 | |a 1 Online-Ressource (viii, 238 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a Solidifyable minimal clone of partial operation / S. Busaman and K. Denecke -- A novel cryptosystem based on finite automata without output / P. Domosi -- Linear languages of finite and infinite words / Z. Esik, M. Ito and W. Kuich -- Extended temporal logics on finite words / Z. Esik and Sz. Ivan -- The number of distinct 4-cycles and 2-matchings of some zero-divisor graphs / M. Kanemitsu -- On normal form grammars and their size / A. Kelemenova, L. Ciencialova and L. Cienciala -- Grobner bases on algebras based on well-ordered semigroups / Y. Kobayashi -- Concurrent finite automata and related language classes / M. Kudlek and G. Zetzsche -- Finitely expandable deep PDAs / P. Leupold and A. Meduna -- The primitivity distance of words / G. Lischke -- Fine convergence of functions and its effectivization / T. Mori, M. Yasugi and Y. Tsujii -- On a hierarchy of permutation languages / B. Nagy -- Derivation trees for context-sensitive grammars / B. Nagy -- On proper languages and transformations of lexicalized types of automata / F. Otto -- Initial literal shuffles of uniform codes / G. Tanaka and Y. Kunimochi | ||
| 500 | |a This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions and others | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Itō, Masami |e Sonstige |4 oth | |
| 700 | 1 | |a Kobayashi, Yūji |e Sonstige |4 oth | |
| 700 | 1 | |a Shoji, Kunitaka |e Sonstige |4 oth | |
| 710 | 2 | |a International Workshop on Automata, Formal Languages and Algebraic Systems <2008, Kyoto, Japan> |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028561251 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175582137679872 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043137060 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)743216404 (DE-599)BVBBV043137060 |
| 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 | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03661nmm a2200469zc 4500</leader><controlfield tag="001">BV043137060</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814317603</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4317-60-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814317610</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4317-61-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814317608</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4317-60-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814317616</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4317-61-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)743216404</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043137060</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="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, formal languages and algebraic systems</subfield><subfield code="b">proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008</subfield><subfield code="c">edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">c2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 238 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Solidifyable minimal clone of partial operation / S. Busaman and K. Denecke -- A novel cryptosystem based on finite automata without output / P. Domosi -- Linear languages of finite and infinite words / Z. Esik, M. Ito and W. Kuich -- Extended temporal logics on finite words / Z. Esik and Sz. Ivan -- The number of distinct 4-cycles and 2-matchings of some zero-divisor graphs / M. Kanemitsu -- On normal form grammars and their size / A. Kelemenova, L. Ciencialova and L. Cienciala -- Grobner bases on algebras based on well-ordered semigroups / Y. Kobayashi -- Concurrent finite automata and related language classes / M. Kudlek and G. Zetzsche -- Finitely expandable deep PDAs / P. Leupold and A. Meduna -- The primitivity distance of words / G. Lischke -- Fine convergence of functions and its effectivization / T. Mori, M. Yasugi and Y. Tsujii -- On a hierarchy of permutation languages / B. Nagy -- Derivation trees for context-sensitive grammars / B. Nagy -- On proper languages and transformations of lexicalized types of automata / F. Otto -- Initial literal shuffles of uniform codes / G. Tanaka and Y. Kunimochi</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions and others</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Itō, Masami</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kobayashi, Yūji</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shoji, Kunitaka</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Workshop on Automata, Formal Languages and Algebraic Systems <2008, Kyoto, Japan></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028561251</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043137060 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:34Z |
| institution | BVB |
| isbn | 9789814317603 9789814317610 9814317608 9814317616 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028561251 |
| oclc_num | 743216404 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 238 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji Singapore World Scientific c2010 1 Online-Ressource (viii, 238 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references Solidifyable minimal clone of partial operation / S. Busaman and K. Denecke -- A novel cryptosystem based on finite automata without output / P. Domosi -- Linear languages of finite and infinite words / Z. Esik, M. Ito and W. Kuich -- Extended temporal logics on finite words / Z. Esik and Sz. Ivan -- The number of distinct 4-cycles and 2-matchings of some zero-divisor graphs / M. Kanemitsu -- On normal form grammars and their size / A. Kelemenova, L. Ciencialova and L. Cienciala -- Grobner bases on algebras based on well-ordered semigroups / Y. Kobayashi -- Concurrent finite automata and related language classes / M. Kudlek and G. Zetzsche -- Finitely expandable deep PDAs / P. Leupold and A. Meduna -- The primitivity distance of words / G. Lischke -- Fine convergence of functions and its effectivization / T. Mori, M. Yasugi and Y. Tsujii -- On a hierarchy of permutation languages / B. Nagy -- Derivation trees for context-sensitive grammars / B. Nagy -- On proper languages and transformations of lexicalized types of automata / F. Otto -- Initial literal shuffles of uniform codes / G. Tanaka and Y. Kunimochi This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions and others MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Formal languages Congresses (DE-588)1071861417 Konferenzschrift gnd-content Itō, Masami Sonstige oth Kobayashi, Yūji Sonstige oth Shoji, Kunitaka Sonstige oth International Workshop on Automata, Formal Languages and Algebraic Systems <2008, Kyoto, Japan> Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878 Aggregator Volltext |
| spellingShingle | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Formal languages Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 |
| title_auth | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 |
| title_exact_search | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 |
| title_full | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji |
| title_fullStr | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji |
| title_full_unstemmed | Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji |
| title_short | Automata, formal languages and algebraic systems |
| title_sort | automata formal languages and algebraic systems proceedings of aflas 2008 kyoto japan 20 22 september 2008 |
| title_sub | proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Formal languages Congresses |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Formal languages Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=374878 |
| work_keys_str_mv | AT itomasami automataformallanguagesandalgebraicsystemsproceedingsofaflas2008kyotojapan2022september2008 AT kobayashiyuji automataformallanguagesandalgebraicsystemsproceedingsofaflas2008kyotojapan2022september2008 AT shojikunitaka automataformallanguagesandalgebraicsystemsproceedingsofaflas2008kyotojapan2022september2008 AT internationalworkshoponautomataformallanguagesandalgebraicsystems2008kyotojapan automataformallanguagesandalgebraicsystemsproceedingsofaflas2008kyotojapan2022september2008 |