Verfügbarkeit: Implementation and application of automata

Implementation and application of automata: 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7381
Schlagworte:	Theoretische Informatik Automat > Automatentheorie Konferenzschrift > 2012 > Porto Portugal
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XIII, 368 S. Ill., graph. Darst. 235 mm x 155 mm
ISBN:	3642316050 9783642316050

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040412224
003	DE-604
005	20120925
007	t\|
008	120911s2012 gw ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N25 \|2 dnb
016	7		\|a 1023292084 \|2 DE-101
020			\|a 3642316050 \|9 3-642-31605-0
020			\|a 9783642316050 \|c Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) \|9 978-3-642-31605-0
024	3		\|a 9783642316050
028	5	2	\|a Best.-Nr.: 86125611
035			\|a (OCoLC)812265446
035			\|a (DE-599)DNB1023292084
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-11 \|a DE-83
082	0		\|a 006.3 \|2 22/ger
082	0		\|a 004.0151 \|2 22/ger
084			\|a 004 \|2 sdnb
245	1	0	\|a Implementation and application of automata \|b 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings \|c Nelma Moreira ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XIII, 368 S. \|b Ill., 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 7381
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Porto Portugal \|2 gnd-content
689	0	0	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|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 Moreira, Nelma \|e Sonstige \|4 oth
711	2		\|a CIAA \|n 17 \|d 2012 \|c Porto, Portugal \|j Sonstige \|0 (DE-588)1025869249 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-31606-7
830		0	\|a Lecture notes in computer science \|v 7381 \|w (DE-604)BV000000607 \|9 7381
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4056588&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=025265170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025265170

Datensatz im Suchindex

_version_	1820875411853148160
adam_text	IMAGE 1 TABLE O F C O N T E N T S INVITED TALKS IN MEMORIAM SHENG YU 1 YUAN GAO AND KAI SALOMAA IN SEARCH OF MOST COMPLEX REGULAR LANGUAGES 5 JANUSZ BRZOZOWSKI A FORMAL FRAMEWORK FOR PROCESSES INSPIRED BY THE FUNCTIONING OF LIVING CELLS 25 ANDRZEJ EHRENFEUCHT AND GRZEGORZ ROZENBERG ADDING PEBBLES TO WEIGHTED AUTOMATA 28 PAUL GASTIN AND BENJAMIN MONMEGE TYPED LINEAR ALGEBRA FOR WEIGTHED (PROBABILISTIC) AUTOMATA 52 JOSE N. OLIVEIRA R E G U L A R P A P E R S A PUSHDOWN TRANSDUCER EXTENSION FOR THE OPENFST LIBRARY 66 CYRIL ALLAUZEN AND MICHAEL RILEY WEAK INCLUSION FOR RECURSIVE XML TYPES 78 JOSHUA AMAVI, JACQUES CHABIN, AND PIERRE RETY SYNCHRONIZING AUTOMATA ON QUASI-EULERIAN DIGRAPH 90 MIKHAIL V. BERLINKOV CELLULAR AUTOMATA ON REGULAR ROOTED TREES 101 TULLIO CECCHERINI-SILBERSTEIN, MICHEL COORNAERT, FRANCESCA FIORENZI, AND ZORAN SUNIC STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY 113 STEFANO CRESPI REGHIZZI AND PIERLUIGI L. SAN PIETRO NOMINAL AUTOMATA FOR RESOURCE USAGE CONTROL 125 PIERPAOLO DEGANO, GIAN-LUIGI FERRARI, AND GIANLUCA MEZZETTI WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS . . . 138 MANFRED DROSTE AND BUNDIT PIBALJOMMEE A FAST SUFFIX AUTOMATA BASED ALGORITHM FOR EXACT ONLINE STRING MATCHING 149 SIMONE FARO AND THIERRY LECROQ HTTP://D-NB.INFO/1023292084 IMAGE 2 XII TABLE OF CONTENTS P(L)AYING FOR SYNCHRONIZATION 159 FEDOR FOMINYKH AND MIKHAIL VOLKOV SYNCHRONIZING AUTOMATA OF BOUNDED RANK 171 VLADIMIR V. GUSEV AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS 180 DANIEL GOC, DANE HENSHALL, AND JEFFREY SHALLIT HOW TO SYNCHRONIZE THE HEADS OF A MULTITAPE AUTOMATON 192 OSCAR H. IBARRA AND NICHOLAS Q. TRAN REGULAR IDEAL LANGUAGES AND THEIR BOOLEAN COMBINATIONS 205 FRANZ JAHN, MANFRED KUFLEITNER, AND ALEXANDER LAUSER HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA 217 ARTUR JEZ AND ANDREAS MALETTI ON THE STATE AND COMPUTATIONAL COMPLEXITY OF THE REVERSE OF ACYCLIC MINIMAL DFAS 229 GALINA JIRDSKOVA AND TOMDS MASOPUST IMPLEMENTING COMPUTATIONS IN AUTOMATON (SEMI)GROUPS 240 INES KLIMANN, JEAN MAIRESSE. AND MATTHIEU PICANTIN ON THE DESCRIPTIONAL COMPLEXITY OF THE WINDOW SIZE FOR DETERMINISTIC RESTARTING AUTOMATA 253 MARTIN KUTRIB AND FRIEDRICH OTTO A DISAMBIGUATION ALGORITHM FOR FINITE AUTOMATA AND FUNCTIONAL TRANSDUCERS 265 MEHRYAR MOHRI SYNCHRONIZATION OF AUTOMATA WITH ONE UNDEFINED OR AMBIGUOUS TRANSITION 278 PAVEL V. MARTYUGIN RESTARTING TILING AUTOMATA 289 DANIEL PRUSA AND FRANTISEK MRDZ CROSSING THE SYNTACTIC BARRIER: HOM-DISEQUALITIES FOR 7I\ -CLAUSES 301 ANDREAS REUFL AND HELMUT SEIDL S H O R T P A P E R S FACTOR AND SUBSEQUENCE KERNELS AND SIGNATURES OF RATIONAL LANGUAGES 313 AHMED AMARNI AND SYLVAIN LOMBARDY IMAGE 3 TABLE OF CONTENTS XIII MULTI-TILDE-BAR DERIVATIVES 321 PASCAL CARON, JEAN-MARC CHAMPARNAUD, AND LUDOVIC MIGNOT ON POSITIVE TAGED WITH A BOUNDED NUMBER OF CONSTRAINTS 329 PIERRE-CYRILLE HEAM, VINCENT HUGOT, AND OLGA KOUCHNARENKO SDFA: SERIES DFA FOR MEMORY-EFFICIENT REGULAR EXPRESSION MATCHING 337 TINGWEN LIU, YONG SUN, L I GUO, AND BINXING FANG T H E REMOVAL OF WEIGHTED E-TRANSITIONS 345 SYLVAIN LOMBARDY AND JACQUES SAKAROVITCH WEIGHTED LTL WITH DISCOUNTING 353 ELENI MANDRALI AUTOMATA WITH MODULO COUNTERS AND NONDETERMINISTIC COUNTER BOUNDS 361 DANIEL REIDENBACH AND MARKUS L. SCHMID A U T H O R I N D E X 369
any_adam_object	1
building	Verbundindex
bvnumber	BV040412224
classification_rvk	SS 4800
ctrlnum	(OCoLC)812265446 (DE-599)DNB1023292084
dewey-full	006.3 004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods 004 - Computer science
dewey-raw	006.3 004.0151
dewey-search	006.3 004.0151
dewey-sort	16.3
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">BV040412224</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120925</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120911s2012 gw ad\|\| \|\|\|\| 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">1023292084</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642316050</subfield><subfield code="9">3-642-31605-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642316050</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-31605-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642316050</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86125611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812265446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023292084</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-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">Implementation and application of automata</subfield><subfield code="b">17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings</subfield><subfield code="c">Nelma Moreira ... (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">XIII, 368 S.</subfield><subfield code="b">Ill., 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">7381</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">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</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">Porto Portugal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</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">Moreira, Nelma</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">17</subfield><subfield code="d">2012</subfield><subfield code="c">Porto, Portugal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025869249</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-31606-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7381</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7381</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=4056588&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=025265170&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-025265170</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Porto Portugal gnd-content
genre_facet	Konferenzschrift 2012 Porto Portugal
id	DE-604.BV040412224
illustrated	Illustrated
indexdate	2025-01-10T15:15:13Z
institution	BVB
institution_GND	(DE-588)1025869249
isbn	3642316050 9783642316050
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025265170
oclc_num	812265446
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
physical	XIII, 368 S. Ill., 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	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings Nelma Moreira ... (eds.) Berlin [u.a.] Springer 2012 XIII, 368 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7381 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Porto Portugal gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Moreira, Nelma Sonstige oth CIAA 17 2012 Porto, Portugal Sonstige (DE-588)1025869249 oth Erscheint auch als Online-Ausgabe 978-3-642-31606-7 Lecture notes in computer science 7381 (DE-604)BV000000607 7381 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4056588&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=025265170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4831958-2 (DE-588)1071861417
title	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings
title_auth	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings
title_exact_search	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings
title_full	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings Nelma Moreira ... (eds.)
title_fullStr	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings Nelma Moreira ... (eds.)
title_full_unstemmed	Implementation and application of automata 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings Nelma Moreira ... (eds.)
title_short	Implementation and application of automata
title_sort	implementation and application of automata 17th international conference ciaa 2012 porto portugal july 17 20 2012 proceedings
title_sub	17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
topic_facet	Theoretische Informatik Automat Automatentheorie Konferenzschrift 2012 Porto Portugal
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4056588&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=025265170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT moreiranelma implementationandapplicationofautomata17thinternationalconferenceciaa2012portoportugaljuly17202012proceedings AT ciaaportoportugal implementationandapplicationofautomata17thinternationalconferenceciaa2012portoportugaljuly17202012proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge