1. Fachtagung über Automatentheorie und Formale Sprachen: GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973

Author:   Karl-Heinz Böhling ,  Klaus Indermark
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1973 ed.
Volume:   2
ISBN:  

9783540065272


Pages:   330
Publication Date:   05 December 1973
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $47.52 Quantity:  
Add to Cart

Share |

1. Fachtagung über Automatentheorie und Formale Sprachen: GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973


Overview

Full Product Details

Author:   Karl-Heinz Böhling ,  Klaus Indermark
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1973 ed.
Volume:   2
Dimensions:   Width: 17.00cm , Height: 1.70cm , Length: 25.00cm
Weight:   1.040kg
ISBN:  

9783540065272


ISBN 10:   354006527
Pages:   330
Publication Date:   05 December 1973
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   English, German & French

Table of Contents

On the structure of algorithmic problems.- A mathematical model of digital computers.- On some recent problems concerning developmental languages.- Fault-tolerance and stability of fuzzy-state automata.- Bemerkungen uber Homomorphismen endlicher in lineare Automaten.- Der Kaskadenzerlegungssatz fur Halbautomaten.- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme.- Ketten und arithmetische Pradikate von endlichen Automaten.- Une hierarchie infinie de cones d'Accepteurs verificateurs.- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten.- Ein automatentheoretisches Modell einer Speicherhierarchie.- Deterministic one-counter automata.- The use of metric and uniform spaces for the formalization of behavioral proximity of states.- Quelques generateurs des langages algebriques.- Une caracterisation des langages quasi-rationnels standards.- Der Einfluss von Kontext auf spezielle CF-Grammatiken.- Zur Komplexitat gesteuerter kontextfreier Ersetzungen.- Characterization of derivation sets of formal systems.- Die Darstellung indizierter Sprachen durch Ausdrucke.- Codes and aperiodic languages.- The characterization of certain classes of languages in the context sensitive area by automata.- A characterization of boolean closures of families of languages.- Zufallige Folgen und Bi-Immunitat.- Die mittler Additionsdauer eines Paralleladdierwerks.- On the number of multiplications required by the product of two matrices.- Elementare und subelementare Funktionenklassen uber binaren Baumen.- UEber die Vernetzungsstruktur von Maschinen.- On the simulation of time bounded machines.- UEber die Zeit, die benoetigt wird, um endliche Mengen umzuordnen.- UEber eine Hierarchie von Push-Down-Entscheidbaren Mengen.- A characterization of the classes L1 and R1 of primitive recursive word functions.- A drum scheduling algorithm.- Some considerations about classes of mappings between context-free derivation systems.- On ianov schemas with one memory location.- Reduction goals in bottom-up recognition.- Un modele semantique pour un langage simple de programmation.- Erweiterungen subrekursiver Programmiersprachen.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List