Descriptional complexity of formal systems: 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture Notes in computer science
7386 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 318 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642316220 9783642316227 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040412383 | ||
| 003 | DE-604 | ||
| 005 | 20120921 | ||
| 007 | t| | ||
| 008 | 120911s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N25 |2 dnb | ||
| 016 | 7 | |a 1023292149 |2 DE-101 | |
| 020 | |a 3642316220 |9 3-642-31622-0 | ||
| 020 | |a 9783642316227 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) |9 978-3-642-31622-7 | ||
| 024 | 3 | |a 9783642316227 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86125760 |
| 035 | |a (OCoLC)812265496 | ||
| 035 | |a (DE-599)DNB1023292149 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Descriptional complexity of formal systems |b 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings |c Martin Kutrib ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a X, 318 S. |b graph. Darst. |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 7386 | |
| 650 | 0 | 7 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Braga |2 gnd-content | |
| 689 | 0 | 0 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kutrib, Martin |e Sonstige |4 oth | |
| 711 | 2 | |a DCFS |n 14 |d 2012 |c Braga |j Sonstige |0 (DE-588)1025871286 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-31623-4 |
| 830 | 0 | |a Lecture Notes in computer science |v 7386 |w (DE-604)BV000000607 |9 7386 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4056602&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=025265323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025265323 | |
Datensatz im Suchindex
| _version_ | 1820875411839516672 |
|---|---|
| adam_text |
IMAGE 1
T A B L E O F C O N T E N T S
INVITED P A P E R S
COMPUTING WITH CAPSULES 1
JEAN-BAPTISTE JEANNIN AND DEXTER KOZEN
MINICOMPLEXITY 20
CHRISTOS A. KAPOUTSIS
LOGICAL ANALYSIS OF HYBRID SYSTEMS: A COMPLETE ANSWER TO A COMPLEXITY
CHALLENGE 43
ANDRE PLATZER
GROUPS AND AUTOMATA: A PERFECT MATCH 50
PEDRO V. SILVA
R E G U L A R P A P E R S
UNIFORM DISTRIBUTED PUSHDOWN AUTOMATA SYSTEMS 64
FERNANDO ARROYO, JUAN CASTELLANOS, AND VICTOR MITRANA
REMOVING NONDETERMINISM IN CONSTANT HEIGHT PUSHDOWN AUTOMATA . . . 76
ZUZANA BEDNAROVA, VILIAM GEFFERT, CARLO MEREGHETTI, AND BEATRICE PALANO
ON INVERSE OPERATIONS AND THEIR DESCRIPTIONAL COMPLEXITY 89
MARIA PAOLA BIANCHI, MARKUS HOLZER, SEBASTIAN JAKOBI, AND GIOVANNI
PIGHIZZINI
DECIDING REPRESENTABILITY OF SETS OF WORDS OF EQUAL LENGTH 103
FRANCINE BLANCHET-SADRI AND SEAN SIMMONS
SYNTACTIC COMPLEXITIES OF SOME CLASSES OF STAR-FREE LANGUAGES 117 JANUSZ
BRZOZOWSKI AND BAIYU L I
RANDOMNESS BEHAVIOUR IN BLUM UNIVERSAL STATIC COMPLEXITY SPACES . . .
130 CEZAR CAMPEANU
PRODUCTION COMPLEXITY OF SOME OPERATIONS ON CONTEXT-FREE LANGUAGES 141
JIIRGEN DASSOW AND RONNY HARBICH
STATE COMPLEXITY OF STAR AND SQUARE OF UNION OF K REGULAR LANGUAGES 155
YUAN GAO AND LILA KARI
HTTP://D-NB.INFO/1023292149
IMAGE 2
X TABLE OF CONTENTS
STATE COMPLEXITY OF CHOP OPERATIONS ON UNARY AND FINITE LANGUAGES 169
MARKUS HOLZER AND SEBASTIAN JAKOBI
ON THE NUMBER OF NONTERMINAL SYMBOLS IN UNAMBIGUOUS CONJUNCTIVE GRAMMARS
183
ARTUR JEZ AND ALEXANDER OKHOTIN
DESCRIPTIONAL COMPLEXITY OF BIAUTOMATA 196
GALINA JIRASKOVA AND ONDFEJ KLIMA
DESCRIPTIONAL COMPLEXITY OF PUSHDOWN STORE LANGUAGES 209
ANDREAS MALCHER, KATJA MECKEL, CARLO MEREGHETTI, AND BEATRICE PALANO
ON INTERNAL CONTEXTUAL GRAMMARS WITH SUBREGULAR SELECTION LANGUAGES 222
FLORIN MANEA AND BIANCA TRUTHE
AN INFINITE HIERARCHY OF LANGUAGE FAMILIES RESULTING FROM STATELESS
PUSHDOWN AUTOMATA WITH LIMITED PUSHDOWN ALPHABETS 236
ALEXANDER MEDUNA, LUKAS VRDBEL, AND PETR ZEMEK
CENTRALIZED P C SYSTEMS OF PUSHDOWN AUTOMATA VERSUS MULTI-HEAD PUSHDOWN
AUTOMATA 244
FRIEDRICH OTTO
STATE COMPLEXITY AND LIMITED NONDETERMINISM 252
ALEXANDROS PALIOUDAKIS, KAI SALOMAA, AND SELIM G. AKL
BOUNDED COUNTER LANGUAGES 266
HOLGER PETERSEN
STATE COMPLEXITY OF PROJECTION AND QUOTIENT ON UNRANKED TREES 280
XIAOXUE PIAO AND KAI SALOMAA
ITERATING INVERTIBLE BINARY TRANSDUCERS 294
KLAUS SUTNER AND KEVIN LEWI
MINIMAL DFA FOR SYMMETRIC DIFFERENCE NFA 307
BRINK VAN DER MERWE, HELLIS TAMM, AND LYNETTE VAN ZIJL
A U T H O R I N D E X 319 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040412383 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)812265496 (DE-599)DNB1023292149 |
| dewey-full | 004.015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015113 |
| dewey-search | 004.015113 |
| dewey-sort | 14.015113 |
| 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">BV040412383</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120921</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120911s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023292149</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642316220</subfield><subfield code="9">3-642-31622-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642316227</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-31622-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642316227</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86125760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812265496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023292149</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</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="245" ind1="1" ind2="0"><subfield code="a">Descriptional complexity of formal systems</subfield><subfield code="b">14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings</subfield><subfield code="c">Martin Kutrib ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 318 S.</subfield><subfield code="b">graph. Darst.</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">7386</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</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">2012</subfield><subfield code="z">Braga</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kutrib, Martin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">14</subfield><subfield code="d">2012</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025871286</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-31623-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">7386</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7386</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=4056602&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=025265323&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-025265323</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Braga gnd-content |
| genre_facet | Konferenzschrift 2012 Braga |
| id | DE-604.BV040412383 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:13Z |
| institution | BVB |
| institution_GND | (DE-588)1025871286 |
| isbn | 3642316220 9783642316227 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025265323 |
| oclc_num | 812265496 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | X, 318 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings Martin Kutrib ... (eds.) Berlin [u.a.] Springer 2012 X, 318 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 7386 Beschreibungskomplexität (DE-588)4797485-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Braga gnd-content Beschreibungskomplexität (DE-588)4797485-0 s DE-604 Kutrib, Martin Sonstige oth DCFS 14 2012 Braga Sonstige (DE-588)1025871286 oth Erscheint auch als Online-Ausgabe 978-3-642-31623-4 Lecture Notes in computer science 7386 (DE-604)BV000000607 7386 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4056602&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=025265323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings Lecture Notes in computer science Beschreibungskomplexität (DE-588)4797485-0 gnd |
| subject_GND | (DE-588)4797485-0 (DE-588)1071861417 |
| title | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings |
| title_auth | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings |
| title_exact_search | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings |
| title_full | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings Martin Kutrib ... (eds.) |
| title_fullStr | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings Martin Kutrib ... (eds.) |
| title_full_unstemmed | Descriptional complexity of formal systems 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings Martin Kutrib ... (eds.) |
| title_short | Descriptional complexity of formal systems |
| title_sort | descriptional complexity of formal systems 14th international workshop dcfs 2012 braga portugal july 23 25 2012 proceedings |
| title_sub | 14th international workshop, DCFS 2012, Braga, Portugal, July 23 - 25, 2012 ; proceedings |
| topic | Beschreibungskomplexität (DE-588)4797485-0 gnd |
| topic_facet | Beschreibungskomplexität Konferenzschrift 2012 Braga |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4056602&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=025265323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kutribmartin descriptionalcomplexityofformalsystems14thinternationalworkshopdcfs2012bragaportugaljuly23252012proceedings AT dcfsbraga descriptionalcomplexityofformalsystems14thinternationalworkshopdcfs2012bragaportugaljuly23252012proceedings |