GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Allemand Anglais Français |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
2006.
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fachtagung über Automatentheorie und Formale Sprachen, 1, Bonn, 9-12, Juli 1973, Gesellschaft für Informatik, Berlin, Springer, 1973, p., Lecture notes in computer science, 3-540-06527-X • 1. Fachtagung über Automatentheorie und Formale Sprachen, Texte imprimé, 9783662190609 |
İçindekiler:
- 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
- Acharacterization 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.