Karl-Heinz Böhling,
Klaus Indermark
Springer Berlin Heidelberg
1973e druk, 1973
9783540065272
1. Fachtagung über Automatentheorie und Formale Sprachen
GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
Specificaties
Paperback, 330 blz.
|
Engels
Springer Berlin Heidelberg |
1973e druk, 1973
ISBN13: 9783540065272
Rubricering
Juridisch
:
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Specificaties
ISBN13:9783540065272
Taal:Engels
Bindwijze:paperback
Aantal pagina's:330
Uitgever:Springer Berlin Heidelberg
Druk:1973
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
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 über Homomorphismen endlicher in lineare Automaten.- Der Kaskadenzerlegungssatz für Halbautomaten.- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme.- Ketten und arithmetische Prädikate 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 Komplexität gesteuerter kontextfreier Ersetzungen.- Characterization of derivation sets of formal systems.- Die Darstellung indizierter Sprachen durch Ausdrücke.- 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.- Zufällige Folgen und Bi-Immunität.- Die mittler Additionsdauer eines Paralleladdierwerks.- On the number of multiplications required by the product of two matrices.- Elementare und subelementare Funktionenklassen über binären Bäumen.- Über die Vernetzungsstruktur von Maschinen.- On the simulation of time bounded machines.- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.- Über 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.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht

