Keywords:
Machine theory Congresses
;
Formal languages Congresses
;
Computer science
;
Computer Science, general
;
Computer Science
;
Konferenzschrift
;
Automatentheorie
;
Formale Sprache
;
Datenverarbeitung
;
Datenverarbeitung
Description / Table of Contents:
Context-free sets of infinite words -- New aspects of homomorphisms -- Can partial correctness assertions specify programming language semantics? -- An algebraic theory for synchronization -- Storage modification machines -- Negative results on counting -- Strong non-deterministic context-free languages -- Information content characterizations of complexity theoretic properties -- Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen -- A new recursion induction principle -- Finite-change automata -- Move rules and trade-offs in the pebble game -- Transition diagrams and strict deterministic grammars -- Exact expressions for some randomness tests -- On storage optimization for automatically generated compilers -- On continuous completions -- A new method to show lower bounds for polynomials which are hard to compute -- On zerotesting-bounded multicounter machines -- When are two effectively given domains identical? -- Sur deux langages linéaires -- An efficient on-line position tree construction algorithm -- Sorting presorted files -- Node-visit optimal 1 – 2 brother trees -- A graph theoretic approach to determinism versus non-determinism -- Une caracterisation de trois varietes de langages bien connues -- Über eine minimale universelle Turing-Maschine -- Sur les varietes de langages et de monoïdes -- Automaten in planaren graphen -- Theoreme de transversale rationnelle pour les automates a pile deterministes -- On the additive complexity of polynomials and some new lower bounds -- Remarks on the nonexistence of some covering grammars -- Zur Komplexität der Presburger Arithmetik und des Äquivalenzproblems einfacher Programme.
Type of Medium:
Online Resource
Pages:
Online-Ressource (VII, 324 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540355175
Series Statement:
Lecture notes in computer science 67
URL:
http://www.springerlink.com/content/k77830670141
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-09118-9
URL:
http://dx.doi.org/10.1007/3-540-09118-1
URL:
https://doi.org/10.1007/3-540-09118-1
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DEAGI78FBDAC6F8D80C94C125757B005475D2.pdf
DOI:
10.1007/3-540-09118-1
Language:
English
,
French
,
German
Note:
Literaturangaben
,
Beitr. teilw. engl., teilw. franz., teilw. dt.,
Permalink