Del 52 - Lecture Notes in Computer Science

Automata, Languages and Programming

Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

Häftad, Engelska, 1977

Av A. Salomaa, M. Steinby

519 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1977-07-11
Mått155 x 235 x 32 mm
Vikt873 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor572
Upplaga1977
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540083429

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

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.

Du kanske också är intresserad av

Lucia är död

Nyhet

Del 3

Lucia är död

Katarina Wennstam

259 kr299 kr

L Systems

Del 15

L Systems

G. Rozenberg, A. Salomaa

449 kr

Book of L

Book of L

G. Rozenberg, A. Salomaa

1 459 kr

Semirings, Automata, Languages

Semirings, Automata, Languages

W. Kuich, A. Salomaa

1 459 kr

Hitster Christmas

Hitster Christmas

Jumbo

259 kr

Intermezzo (svensk utgåva)

Nyhet

Intermezzo (svensk utgåva)

79 kr125 kr

Historiens återkomst: Europa och världsordningens sammanbrott

Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

329 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr

De fenomenala fruntimren på Grand Hôtel

4 pocket för 3

Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr