1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973

GI, Gesellschaft für Informatik e.V. ; herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark

[目次]

  • 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.- Uber die Vernetzungsstruktur von Maschinen.- On the simulation of time bounded machines.- Uber die Zeit, die benotigt wird, um endliche Mengen umzuordnen.- Uber 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.

「Nielsen BookData」より

この本の情報

書名 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973
著作者等 Böhling, Karl-Heinz
Fachtagung über Automatentheorie und Formale Sprachen
Gesellschaft für Informatik
Indermark, Klaus
Bohling Karl-Heinz
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 1973
ページ数 vii, 322 p.
大きさ 25 cm
ISBN 038706527X
354006527X
NCID BA03966360
※クリックでCiNii Booksを表示
言語 ドイツ語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想