000 06411cam a2200829 a 4500
001 ocm70864842
003 OCoLC
005 20250703143446.0
006 m o d
007 cr gn|||||||||
008 060809s1973 gw a ob 100 0 eng
040 _aOKU
_beng
_epn
_cOKU
_dCOF
_dOCLCQ
_dOL$
_dOCLCO
_dOCLCQ
_dNLGGC
_dGW5XE
_dOCLCF
_dOCLCE
_dOCLCO
_dOCLCQ
_dOCL
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dCEF
_dOCLCA
_dLHU
_dYOU
_dUAB
_dESU
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCL
_dPUL
_dOCLCL
_dOCLCO
_dOCLCA
019 _a150393931
_a894343508
_a1044236707
_a1056408343
_a1102533323
_a1417460099
020 _a9783540378266
_q(electronic bk.)
020 _a354037826X
_q(electronic bk.)
020 _z354006527X
020 _z9783540065272
020 _z038706527X
020 _z9780387065274
029 1 _aAU@
_b000058011702
029 1 _aNLGGC
_b296826936
029 1 _aNZ1
_b15296897
035 _a(OCoLC)70864842
_z(OCoLC)150393931
_z(OCoLC)894343508
_z(OCoLC)1044236707
_z(OCoLC)1056408343
_z(OCoLC)1102533323
_z(OCoLC)1417460099
041 0 _aeng
_ager
_afre
041 7 _adeu
_aeng
_afra
_2iso639-3
042 _adlr
050 4 _aQA267
_b.F3 1973eb
082 0 4 _a511.3
_222
084 _a54.10
_2bcl
084 _aQH 500
_2rvk
084 _aSS 4800
_2rvk
084 _a19a
_a20a
_2sdnb
049 _aMAIN
111 2 _aFachtagung über Automatentheorie und Formale Sprachen
_n(1st :
_d1973 :
_cBonn, Germany)
_920613
245 1 0 _a1. Fachtagung über Automatentheorie und Formale Sprachen :
_bBonn, 9.-12. Juli 1973 /
_cGI, Gesellschaft für Informatik ; herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark.
246 3 _aErste Fachtagung über Automatentheorie und Formale Sprachen
246 3 0 _aFachtagung über Automatentheorie und Formale Sprachen
260 _aBerlin ;
_aNew York :
_bSpringer,
_c1973.
300 _a1 online resource (vii, 322 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science ;
_v2
546 _aEnglish, French, or German.
504 _aIncludes bibliographical references.
588 0 _aPrint version record.
506 _3Use copy
_fRestrictions unspecified
_2star
_5MiAaHDL
533 _aElectronic reproduction.
_b[Place of publication not identified] :
_cHathiTrust Digital Library,
_d2011.
_5MiAaHDL
538 _aMaster and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
_uhttp://purl.oclc.org/DLF/benchrepro0212
_5MiAaHDL
583 1 _adigitized
_c2011
_hHathiTrust Digital Library
_lcommitted to preserve
_2pda
_5MiAaHDL
505 0 _aOn 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.
650 0 _aMachine theory
_vCongresses.
_914625
650 0 _aFormal languages
_vCongresses.
_914896
650 6 _aThéorie des automates
_vCongrès.
_939333
650 6 _aLangages formels
_vCongrès.
_914898
650 7 _aFormal languages
_2fast
_914900
650 7 _aMachine theory
_2fast
_914628
650 7 _aAutomatentheorie
_2gnd
_920614
650 7 _aFormale Sprache
_2gnd
_919600
650 7 _aKongress
_2gnd
_98384
650 7 _aLinguagens formais e automatos.
_2larpcal
_920615
650 0 7 _aBonn (1973)
_2swd
_920616
655 7 _aConference papers and proceedings
_2fast
_96065
700 1 _aBöhling, Karl Heinz.
_920617
700 1 _aIndermark, Klaus.
_920618
710 2 _aGesellschaft für Informatik.
_1https://id.oclc.org/worldcat/entity/E39QH7JmpPgRy4RJcBmtF8WHxt
_94080
758 _ihas work:
_a1. Fachtagung über Automatentheorie und Formale Sprachen (Text)
_1https://id.oclc.org/worldcat/entity/E39PCH48qjRXfV83HBhXjymxtC
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aFachtagung über Automatentheorie und Formale Sprachen (1st : 1973 : Bonn, Germany).
_t1. Fachtagung über Automatentheorie und Formale Sprachen.
_dBerlin ; New York : Springer, 1973
_w(DLC) 74642666
_w(OCoLC)20530035
830 0 _aLecture notes in computer science ;
_v2.
856 4 0 _uhttps://link.springer.com/10.1007/BFb0039132
994 _a92
_bATIST
999 _c636063
_d636063