Automata theory and formal languages: 2nd GI conference, Kaiserslautern, May 20 - 23, 1975
Saved in:
| Previous Title: | Fachtagung über Automatentheorie und Formale Sprachen <1, 1973, Bonn> 1. Fachtagung über Automatentheorie und Formale Sprachen |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English French German |
| Published: |
Berlin [u.a.]
Springer
1975
|
| Series: | Lecture notes in computer science
33 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 292 S. graph. Darst. |
| ISBN: | 0387074074 3540074074 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001981670 | ||
| 003 | DE-604 | ||
| 005 | 20140409 | ||
| 007 | t| | ||
| 008 | 890928s1975 xx d||| |||| 10||| eng d | ||
| 020 | |a 0387074074 |9 0-387-07407-4 | ||
| 020 | |a 3540074074 |9 3-540-07407-4 | ||
| 035 | |a (OCoLC)1659581 | ||
| 035 | |a (DE-599)BVBBV001981670 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng |a fre |a ger | |
| 049 | |a DE-91G |a DE-384 |a DE-703 |a DE-355 |a DE-20 |a DE-29T |a DE-19 |a DE-12 |a DE-634 |a DE-11 |a DE-706 |a DE-210 |a DE-188 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 629.8/91 | |
| 084 | |a QH 730 |0 (DE-625)141613: |2 rvk | ||
| 245 | 1 | 0 | |a Automata theory and formal languages |b 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 |c [Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1975 | |
| 300 | |a VIII, 292 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 33 | |
| 546 | |a Beitr. teilw. engl., teilw. dt., teilw. franz. | ||
| 650 | 4 | |a Automates - Congrès | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1975 |z Kaiserslautern |2 gnd-content | |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 2 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Brakhage, Helmut |d 1926- |0 (DE-588)172009073 |4 edt | |
| 710 | 2 | |a Gesellschaft für Informatik |e Sonstige |0 (DE-588)2011903-3 |4 oth | |
| 711 | 2 | |a Fachtagung über Automatentheorie und Formale Sprachen |n 2 |d 1975 |c Kaiserslautern |j Sonstige |0 (DE-588)1705392-4 |4 oth | |
| 780 | 0 | 0 | |i Früher u.d.T. |a Fachtagung über Automatentheorie und Formale Sprachen <1, 1973, Bonn> |t 1. Fachtagung über Automatentheorie und Formale Sprachen |
| 830 | 0 | |a Lecture notes in computer science |v 33 |w (DE-604)BV000000607 |9 33 | |
| 856 | 4 | 2 | |m KOBV Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001292512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001292512 | |
| 980 | 4 | |a (DE-12)AK22040797 | |
Record in the Search Index
| _version_ | 1820874837301657600 |
|---|---|
| adam_text |
Dienstagvormittag
Hauptvortrag :
Formal language theory and theoretical computer science
R.V. Book . 1
Le cylindre des langages linéaires n'est pas principal
L. Boasson, M. Nivat . 16
Langages algébriques déterministes et groupes abeliens
J. F. Perrot, J. Sakarovitch . 2o
Dienstagnachmittag
Best possible bounds for the weighted path length of optimum
binary search trees
K. Mehlhorn . 31
En\En_^-entscheidbare Gruppen
J. Avenhaus, K. Madlener . 42
Statistical characterization of learnable sequences
P. Fuchs . 52
Über den mittleren Zeitbedarf bei der LR(k)-Analyse kontext-
freier Sprachen
H. Kopp . 57
Zur endlichen Approximierbarkeit sequentieller Systeme
R. Valk . 64
Mittwochvormittag
Hauptvortrag :
The complexity of negation-limited networks - A brief survey
M. J. Fischer
71
VI
The network-complexity of equivalence and other applications
of the network complexity
C. P. Schnorr . 83
Test d'isomorphie d'hypergraphes planaires
M. Fontet . 93
Obere und untere Schranke für die Komplexität von Booleschen
Funktionen
H. Bremer . 99
On the entropy of a formal language
A. de Luca . ՝03
Mittwochnachmittag
On the complexity of computations under varying sets of
primitives
D. Dobkin, R. Lipton . 110
About the deterministic simulation of nondeterministic
(log n)-tape bounded Turing machines
B. Monien . "8
Zur Entscheidbarkeit der funktionalen Äquivalenz
H. Beck . 127
Donnerstagvormittag
Hauptvortrag:
Quantifier elimination for real closed fields by cylindrical
algebraic decomposition
G.E. Collins . 134
Deterministische indizierte Grammatiken
K. Weiß . 184
Eine Beschreibung contextfreier Sprachen durch endliche
MengenSysteme
M. Opp
190
VII
On the generative capacity of the strict global grammars
S. Ciobotaru, G. Paun . 198
Tree-transducers and syntax-connected transductions
P. Schreiber . 202
Sur les relations rationnelles
M.P. Schützenberger . 209
Donnerstagnachmittaq
Piecewise testable events
I. Simon . 214
Die Größe des zustandsminimalen LR(O)-Analysators
R. Kemp . 223
Formal translations and the containment problem for
Szilard languages
H.P . Kriegel , H.A. Maurer . 233
A characterization of bounded regular sets
A. Restivo . 239
Eine universelle Lambda-Kalkül-Programmiersprache und ihr
Interpreter
E. Fehr . 245
Potenzkategorien und ihre Anwendung auf den Beweis von
Programmeigenschaften
H.A. Klaeren . 252
Freitaqvormittag
Hauptvortrag :
Welcher Art Ergebnisse erwartet der Compilerbau von der
Theoretischen Informatik ?
H. Langmaack . 259
Prädikatives Programmieren
W. Bibel . 274
VIII
Analyzing fairilies of grammars
E. Bertsch .
284
Control structures and monadic languages
K. Indermark .
289 |
| any_adam_object | 1 |
| author2 | Brakhage, Helmut 1926- |
| author2_role | edt |
| author2_variant | h b hb |
| author_GND | (DE-588)172009073 |
| author_facet | Brakhage, Helmut 1926- |
| building | Verbundindex |
| bvnumber | BV001981670 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 730 |
| ctrlnum | (OCoLC)1659581 (DE-599)BVBBV001981670 |
| dewey-full | 629.8/91 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8/91 |
| dewey-search | 629.8/91 |
| dewey-sort | 3629.8 291 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Wirtschaftswissenschaften Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV001981670</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140409</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1975 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387074074</subfield><subfield code="9">0-387-07407-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540074074</subfield><subfield code="9">3-540-07407-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1659581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001981670</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield><subfield code="a">fre</subfield><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 730</subfield><subfield code="0">(DE-625)141613:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata theory and formal languages</subfield><subfield code="b">2nd GI conference, Kaiserslautern, May 20 - 23, 1975</subfield><subfield code="c">[Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 292 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">33</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">Beitr. teilw. engl., teilw. dt., teilw. franz.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1975</subfield><subfield code="z">Kaiserslautern</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brakhage, Helmut</subfield><subfield code="d">1926-</subfield><subfield code="0">(DE-588)172009073</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Gesellschaft für Informatik</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2011903-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Fachtagung über Automatentheorie und Formale Sprachen</subfield><subfield code="n">2</subfield><subfield code="d">1975</subfield><subfield code="c">Kaiserslautern</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1705392-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Früher u.d.T.</subfield><subfield code="a">Fachtagung über Automatentheorie und Formale Sprachen <1, 1973, Bonn></subfield><subfield code="t">1. Fachtagung über Automatentheorie und Formale Sprachen</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">KOBV Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001292512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001292512</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK22040797</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1975 Kaiserslautern gnd-content |
| genre_facet | Konferenzschrift 1975 Kaiserslautern |
| id | DE-604.BV001981670 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:05Z |
| institution | BVB |
| institution_GND | (DE-588)2011903-3 (DE-588)1705392-4 |
| isbn | 0387074074 3540074074 |
| language | English French German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001292512 |
| oclc_num | 1659581 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-20 DE-29T DE-19 DE-BY-UBM DE-12 DE-634 DE-11 DE-706 DE-210 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-20 DE-29T DE-19 DE-BY-UBM DE-12 DE-634 DE-11 DE-706 DE-210 DE-188 |
| physical | VIII, 292 S. graph. Darst. |
| publishDate | 1975 |
| publishDateSearch | 1975 |
| publishDateSort | 1975 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 [Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage Berlin [u.a.] Springer 1975 VIII, 292 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 33 Beitr. teilw. engl., teilw. dt., teilw. franz. Automates - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1975 Kaiserslautern gnd-content Automatentheorie (DE-588)4003953-5 s DE-604 Formale Sprache (DE-588)4017848-1 s Brakhage, Helmut 1926- (DE-588)172009073 edt Gesellschaft für Informatik Sonstige (DE-588)2011903-3 oth Fachtagung über Automatentheorie und Formale Sprachen 2 1975 Kaiserslautern Sonstige (DE-588)1705392-4 oth Früher u.d.T. Fachtagung über Automatentheorie und Formale Sprachen <1, 1973, Bonn> 1. Fachtagung über Automatentheorie und Formale Sprachen Lecture notes in computer science 33 (DE-604)BV000000607 33 KOBV Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001292512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 Lecture notes in computer science Automates - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)1071861417 |
| title | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 |
| title_auth | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 |
| title_exact_search | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 |
| title_full | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 [Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage |
| title_fullStr | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 [Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage |
| title_full_unstemmed | Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 [Fachtagung über Automatentheorie und Formale Sprachen]. Ed. by H. Brakhage |
| title_old | Fachtagung über Automatentheorie und Formale Sprachen <1, 1973, Bonn> 1. Fachtagung über Automatentheorie und Formale Sprachen |
| title_short | Automata theory and formal languages |
| title_sort | automata theory and formal languages 2nd gi conference kaiserslautern may 20 23 1975 |
| title_sub | 2nd GI conference, Kaiserslautern, May 20 - 23, 1975 |
| topic | Automates - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automates - Congrès Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Formal languages Congresses Machine theory Congresses Automatentheorie Formale Sprache Konferenzschrift 1975 Kaiserslautern |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001292512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT brakhagehelmut automatatheoryandformallanguages2ndgiconferencekaiserslauternmay20231975 AT gesellschaftfurinformatik automatatheoryandformallanguages2ndgiconferencekaiserslauternmay20231975 AT fachtagunguberautomatentheorieundformalesprachenkaiserslautern automatatheoryandformallanguages2ndgiconferencekaiserslauternmay20231975 |