Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
Schriftenreihe: | Lecture notes in computer science
6795 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV039143015 | ||
003 | DE-604 | ||
005 | 20130626 | ||
007 | t| | ||
008 | 110718s2011 xx |||| 10||| eng d | ||
015 | |a 11,N23 |2 dnb | ||
016 | 7 | |a 1012463028 |2 DE-101 | |
020 | |a 9783642223204 |c Pb. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 978-3-642-22320-4 | ||
020 | |a 3642223206 |c Pb. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 3-642-22320-6 | ||
024 | 3 | |a 9783642223204 | |
028 | 5 | 2 | |a Best.-Nr.: 80073674 |
035 | |a (OCoLC)844886783 | ||
035 | |a (DE-599)DNB1012463028 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
082 | 0 | |a 005.131 |2 22/ger | |
084 | |a 004 |2 sdnb | ||
084 | |a DAT 555f |2 stub | ||
245 | 1 | 0 | |a Development in language theory |b 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings |c Giancarlo Mauri ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
300 | |a XIV, 482 S. |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 6795 | |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Mailand |2 gnd-content | |
689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Mauri, Giancarlo |e Sonstige |4 oth | |
711 | 2 | |a DLT |n 15 |d 2011 |c Mailand |j Sonstige |0 (DE-588)16164809-5 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 6795 |w (DE-604)BV000000607 |9 6795 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3835674&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024161018 |
Datensatz im Suchindex
DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
---|---|
DE-BY-TUM_katkey | 1786248 |
DE-BY-TUM_location | 01 |
DE-BY-TUM_media_number | 040010217099 |
_version_ | 1822409325878968320 |
adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS HUNTING REDUNDANCIES IN STRINGS 1
GOLNAZ BADKOBEH, SUPAPORN CHAIRUNGSEE, AND MAXIME CROCHEMORE
SOME REMARKS ON AUTOMATA MINIMALITY 15
ANTONIO RESTIVO AND ROBERTO VAGLICA
GROWTH PROPERTIES OF POWER-FREE LANGUAGES 28
ARSENY M. SHUR
A FUNCTIONAL PROGRAM FOR REGULAR EXPRESSIONS MATCHING (ABSTRACT OF
INVITED TALK) 44
THOMAS WILKE
STATE COMPLEXITY RESEARCH AND APPROXIMATION 46
SHENG YU AND YUAN GAO
REGULAR PAPERS
COUNTING THE ORDERINGS FOR MULTISETS IN CONSECUTIVE ONES PROPERTY AND
PQ-TREES 58
GIOVANNI BATTAGLIA, ROBERTO GROSSI, AND NOEMI SCUTELLA
AVOIDING ABELIAN POWERS IN PARTIAL WORDS 70
FRANDNE BLANCHET-SADRI AND SEAN SIMMONS
REGULAR SPLICING LANGUAGES MUST HAVE A CONSTANT 82
PAOLA BONIZZONI AND NATASHA JONOSKA
THE AVERAGE TRANSITION COMPLEXITY OF GLUSHKOV AND PARTIAL DERIVATIVE
AUTOMATA 93
SABINE BRODA, ANTONIO MACHIAVELO, NELMA MOREIRA, AND ROGERIO REIS
THEORY OF ATOMATA 105
JANUSZ BRZOZOWSKI AND HELLIS TAMM
SYNTACTIC COMPLEXITY OF IDEAL AND CLOSED LANGUAGES 117
JANUSZ BRZOZOWSKI AND YULI YE
GENERALIZED ONE-UNAMBIGUITY 129
PASCAL CARON, YO-SUB HAN, AND LUDOVIC MIGNOT
SIMULATIONS OVER TWO-DIMENSIONAL ON-LINE TESSELLATION AUTOMATA 141
GERARD CECE AND ALAIN GIORGETTI
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012463028
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
ZI-CLEARING RESTARTING AUTOMATA AND CFL 153
PETER CERNO AND FRANTISEK MRAZ
ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES 165 EMILIE
CHARLIER, NARAD RAMPERSAD, AND JEFFREY SHALLIT
LANGUAGES VS. W-LANGUAGES IN REGULAR INFINITE GAMES 180
NAMIT CHATURVEDI, JOERG OLSCHEWSKI, AND WOLFGANG THOMAS
SOLVING WORD PROBLEMS IN GROUP EXTENSIONS OVER INFINITE WORDS 192 VOLKER
DIEKERT AND ALEXEI G. MYASNIKOV
ABELIAN PRIMITIVE WORDS 204
MICHAEL DOMARATZKI AND NARAD RAMPERSAD
SCATTERED CONTEXT-FREE LINEAR ORDERINGS 216
ZOLTAN ESIK
ON PREFIX NORMAL WORDS 228
GABRIELE FID AND ZSUZSANNA LIPTAK
ON NON-COMPLETE SETS AND RESTIVO'S CONJECTURE 239
VLADIMIR V. GUSEV AND ELENA V. PRIBAVKINA
S E L F - O R G A N I Z A T I ON IN C E L L U L AR A U T O M A T A: A P
A R T I C L E - B A S ED A P P R O A CH . . . 2 51
BENJAMIN HELLOUIN DE MENIBUS AND MATHIEU SABLIK
CHOP OPERATIONS AND EXPRESSIONS: DESCRIPTIONAL COMPLEXITY CONSIDERATIONS
264
MARKUS HOLZER AND SEBASTIAN JAKOBI
NODES CONNECTED BY PATH LANGUAGES 276
MARKUS HOLZER, MARTIN KUTRIB, AND URSULA LEITER
CHARACTERIZING THE REGULAR LANGUAGES BY NONFORGETTING RESTARTING
AUTOMATA 288
NORBERT HUNDESHAGEN AND FRIEDRICH OTTO
ON TWO-WAY TRANSDUCERS 300
OSCAR H. IBARRA AND HSU-CHUN YEN
THERE DOES NOT EXIST A MINIMAL FULL TRIO WITH RESPECT TO BOUNDED
CONTEXT-FREE LANGUAGES 312
JUHA KORTELAINEN AND TUUKKA SALMI
DESCRIBING PERIODICITY IN TWO-WAY DETERMINISTIC FINITE AUTOMATA USING
TRANSFORMATION SEMIGROUPS 324
MICHAL KUNC AND ALEXANDER OKHOTIN
DECIDING NETWORKS OF EVOLUTIONARY PROCESSORS 337
FLORIN MANEA
IMAGE 3
TABLE OF CONTENTS XIII
FROM LINEAR PARTITIONS TO PARALLELOGRAM POLYOMINOES 350
ROBERTO MANTACI AND PAOLO MASSAZZA
ON BRZOZOWSKI'S CONJECTURE FOR THE FREE BURNSIDE SEMIGROUP SATISFYING X
2 = X 3 362
ANDREY N. PLYUSHCHENKO AND ARSENY M. SHUR
NEVER MINIMAL AUTOMATA AND THE RAINBOW BIPARTITE SUBGRAPH PROBLEM 374
EMANUELE RODARO AND PEDRO V. SILVA
BOOLEAN ALGEBRAS OF REGULAR LANGUAGES 386
VICTOR SELIVANOV AND ANTON KONOVALOV
FIFE'S THEOREM REVISITED 397
JEFFREY SHALLIT
INFINITE WORDS RICH AND ALMOST RICH IN GENERALIZED PALINDROMES 406 EDITA
PELANTOVD AND STEPDN STAROSTA
MODELS OF PUSHDOWN AUTOMATA WITH RESET 417
NURI TASDEMIR AND A.C. CEM SAY
TOWARDS DUAL APPROACHES FOR LEARNING CONTEXT-FREE GRAMMARS BASED ON
SYNTACTIC CONCEPT LATTICES 429
RYO YOSHINAKA
ON HIGHLY REPETITIVE AND POWER FREE WORDS 441
NARAD RAMPERSAD AND ELISE VASLET
A SUFFICIENT CONDITION FOR ERASING PRODUCTIONS TO BE AVOIDABLE 452 GEORG
ZETZSCHE
SHORT PAPERS
ENCODING CENTERED POLYOMINOES BY MEANS OF A REGULAR LANGUAGE 464 DANIELA
BATTAGLINO, JEAN MARC FEDOU, ANDREA FROSINI, AND SIMONE RINALDI
COMPUTATIONAL ASPECTS OF ASYNCHRONOUS CELLULAR AUTOMATA 466 JEROME
CHANDESRIS, ALBERTO DENNUNZIO, ENRICO FORMENTI, AND LUCA MANZONI
SHORT 3-COLLAPSING WORDS OVER A 2-LETTER ALPHABET 469
ALESSANDRA CHERUBINI, ACHILLE FRIGERI, AND BRUNETTO PIOCHI
A CASCADE DECOMPOSITION OF WEIGHTED FINITE TRANSITION SYSTEMS 472
MANFRED DROSTE, INGMAR MEINECKE, BRANIMIR SESELJA, AND ANDREJA
TEPAVCEVIC
IMAGE 4
XIV TABLE OF CONTENTS
MORPHIC CHARACTERIZATIONS IN TERMS OF INSERTION SYSTEMS WITH A CONTEXT
OF LENGTH ONE 474
KAORU FUJIOKA
INFERENCE OF RESIDUAL FINITE-STATE TREE AUTOMATA FROM MEMBERSHIP QUERIES
AND FINITE POSITIVE DATA 476
ANNA KASPRZIK
ON THE REPRESENTABILITY OF LINE GRAPHS 478
SERGEY KITAEV, PAVEL SALIMOV, CHRISTOPHER SEVERS, AND HENNING ULFARSSON
AUTHOR INDEX 481 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV039143015 |
classification_rvk | SS 4800 |
classification_tum | DAT 555f |
ctrlnum | (OCoLC)844886783 (DE-599)DNB1012463028 |
dewey-full | 005.131 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.131 |
dewey-search | 005.131 |
dewey-sort | 15.131 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039143015</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130626</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110718s2011 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012463028</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642223204</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-22320-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642223206</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">3-642-22320-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642223204</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073674</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844886783</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012463028</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Development in language theory</subfield><subfield code="b">15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings</subfield><subfield code="c">Giancarlo Mauri ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 482 S.</subfield><subfield code="c">235 mm x 155 mm</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6795</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Mailand</subfield><subfield code="2">gnd-content</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mauri, Giancarlo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">15</subfield><subfield code="d">2011</subfield><subfield code="c">Mailand</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164809-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6795</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6795</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3835674&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=024161018&sequence=000001&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-024161018</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2011 Mailand gnd-content |
genre_facet | Konferenzschrift 2011 Mailand |
id | DE-604.BV039143015 |
illustrated | Not Illustrated |
indexdate | 2025-01-27T13:36:07Z |
institution | BVB |
institution_GND | (DE-588)16164809-5 |
isbn | 9783642223204 3642223206 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024161018 |
oclc_num | 844886783 |
open_access_boolean | |
owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
physical | XIV, 482 S. 235 mm x 155 mm |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings Giancarlo Mauri ... (eds.) Berlin [u.a.] Springer 2011 XIV, 482 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6795 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Mailand gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Mauri, Giancarlo Sonstige oth DLT 15 2011 Mailand Sonstige (DE-588)16164809-5 oth Lecture notes in computer science 6795 (DE-604)BV000000607 6795 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3835674&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4017848-1 (DE-588)1071861417 |
title | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings |
title_auth | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings |
title_exact_search | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings |
title_full | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings Giancarlo Mauri ... (eds.) |
title_fullStr | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings Giancarlo Mauri ... (eds.) |
title_full_unstemmed | Development in language theory 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings Giancarlo Mauri ... (eds.) |
title_short | Development in language theory |
title_sort | development in language theory 15th international conference dlt 2011 milano italy july 19 22 2011 proceedings |
title_sub | 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings |
topic | Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
topic_facet | Theoretische Informatik Formale Sprache Konferenzschrift 2011 Mailand |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3835674&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024161018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT maurigiancarlo developmentinlanguagetheory15thinternationalconferencedlt2011milanoitalyjuly19222011proceedings AT dltmailand developmentinlanguagetheory15thinternationalconferencedlt2011milanoitalyjuly19222011proceedings |