Automata, Languages, and Programming

Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings

AvH. A. Maurer

Häftad, Engelska, 1979

Del i serien Lecture Notes in Computer Science

1 476 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

459 kr

403 kr

556 kr

538 kr

572 kr

572 kr

572 kr

538 kr

538 kr

538 kr

Produktinformation

Utgivningsdatum:1979-06-01
Mått:155 x 235 x 38 mm
Vikt:1 042 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:688
Upplaga:1979
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540095101

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

Sharing in nondeterminism.- Sur les mots sans carré définis par un morphisme.- A characterization of abstract data as model-theoretic invariants.- Inherent ambiguities in families of grammars extended abstract.- Representing complexity classes by equality sets.- Supercounter machines.- Existential quantifiers in abstract data types.- A generalization of Ginsburg and Rose's characterization of G-S-M mappings.- Strict deterministic languages and controlled rewriting systems.- A string matching algorithm fast on the average.- Functional characterization of some semantic equalities inside ?-calculus.- Arbitration and queueing under limited shared storage requirements.- On the homomorphic characterizations of families of languages.- Two level grammars: CF-grammars with equation schemes.- Proving termination with multiset orderings.- One abstract accepting algorithm for all kinds of parsers.- Studies in abstract/concrete mappings in proving algorithm correctness.- A characterization of a dot-depth two analogue of generalized definite languages.- Partitioned LL(k) grammars.- Recursion schemes and generalized interpretations.- A rational theory of AFLs.- On the succinctness of different representations of languages.- A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs.- Hierarchic index sequential search with optimal variable block size and its minimal expected number of comparisons.- A unique termination theorem for a theory with generalised commutative axioms.- Dags and Chomsky hierarchy.- Recent advances in the probabilistic analysis of graph-theoretic algorithms.- On the average stack size of regularly distributed binary trees.- On reductions of parallel programs.- On the height of derivationtrees.- The modal logic of programs.- A comparison between two variations of a pebble game on graphs.- LL(k) parsing for attributed grammars.- On eliminating nondeterminism from Turing machines which use less than logarithm worktape space.- Structure preserving transformations on non-left-recursive grammars.- The complexity of restricted minimum spanning tree problems.- A systematic approach to formal language theory through parallel rewriting.- Extending the notion of finite index.- On the complexity of general context-free language parsing and recognition.- Space-time tradeoffs for oblivious integer multiplication.- Investigating programs in terms of partial graphs.- On the power of random access machines.- An axiomatic treatment of ALGOL 68 routines.- P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP.- Constructing call-by-value continuation semantics.- A formal semantics for concurrent systems.- On constructing LL(k) parsers.- More on advice on structuring compilers and proving them correct.- Languages of nilpotent and solvable groups (extended abstract).- Unique fixed points vs. least fixed points.- A modification of the LR(k) method for constructing compact bottom-up parsers.- Optimal decomposition of linear automata.- Bracketed two-level grammars — A decidable and practical approach to language definitions.

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr