Automata, Languages and Programming - neues Buch

EAN (ISBN-13): 9783540373056
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-01-29T17:51:15+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-31T10:32:34+02:00 (Vienna)
ISBN/EAN: 9783540373056

ISBN - alternative Schreibweisen:
978-3-540-37305-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: automata

---

Daten vom Verlag:

Autor/in: A. Salomaa; M. Steinby
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
Verlag: Springer; Springer Berlin
572 Seiten
Erscheinungsjahr: 2005-06-29
Berlin; Heidelberg; DE
Sprache: Englisch
37,44 € (DE)
38,50 € (AT)
47,00 CHF (CH)
Available
XII, 572 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automatentheorie; Languages; Semiotik; automata; calculus; complexity; data structures; optimization; programming; C; Theory of Computation; Compilers and Interpreters; Computer Science; Compiler und Übersetzer; BC

How hard is compiler code generation?.- "Natural" complexity measures and time versus memory: Some definitional proposals.- Semantics and proof theory of pascal procedures.- On the structure of combinatorial problems and structure preserving reductions.- Factor graphs, failure functions and Bi-Trees.- Parallel decomposition of LR(k) parsers.- Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata.- Termination tests inside ?-calculus.- On the computational power of reversal-bounded machines.- The contextsensitivity bounds of contextsensitive grammars and languages.- Serial composition of 2-way finite-state transducers and simple programs on strings.- The sequence equivalence problem for dol systems is decidable.- Languages defined by higher type program schemes.- Parsing and syntactic error recovery for context-free grammars by means of coarse structures.- On three types of unambiguity of context-free language.- The mathematics of record handling.- Macro grammars, lindenmayer systems and other copying devices.- On the time and tape complexity of hyper(1)-AFL's.- Renaming and erasing in szilard languages.- Some matching problems.- Complexite des demi — Groupes de matrices.- On the proper treatment or referencing, dereferencing and assignment.- Complexity of some problems concerning L systems.- Left-fitting translations.- Dynamic binary search.- About the derivation languages of grammars and machines.- Simple chain grammars.- Time-space trade-offs in a pebble game.- Non-deterministic polynomial optimization problems and their approximation.- Simple programs and their decision problems.- Theory of data structures by relational and graph grammars.- On backtracking and greatest fixpoints.- L systems of finite index.- The safety of acoroutine system.- Linear time simulation of multihead turing machines with head — To-head jumps.- Data types as objects.- On the difference between one and many.- On defining error recovery in context-free parsing.- LL(k) languages are closed under union with finite languages.- The time and tape complexity of developmental languages.- Rational relations of binary trees.- Structural equivalence of context-free grammar forms is decidable.- On the definition of classes of interpretations.