rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Formal language theory
    sub title: perspectives and open problems
  name:
    name part: Book, Ronald V.
    role:
      role term: editor.
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Congress
  genre: proceedings (reports)
  genre: Conference papers and proceedings
  genre: Conference papers and proceedings.
  genre: Actes de congrès.
  origin info:
    place:
      place term: nyu
    date issued: 1980
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xiii, 454 pages) : illustrations
  table of contents: Front Cover; Formal Language Theory: Perspectives and Open Problems; Copyright Page; Table of Contents; LIST OF CONTRIBUTORS; PREFACE; ACKNOWLEDGMENTS; CHAPTER 1. METHODS FOR SPECIFYING FAMILIES OF FORMAL LANGUAGES -- PAST-PRESENT-FUTURE; I. INTRODUCTION; II. ORIGINS; III. SPECIFICATION FORMALISM; IV. GRAMMARS; V. CONCLUSIONS; REFERENCES; CHAPTER 2. OPEN PROBLEMS ABOUT REGULAR LANGUAGES; I. INTRODUCTION; II. STAR HEIGHT; III. RESTRICTED STAR HEIGHT; IV. GROUP COMPLEXITY; V. STAR REMOVAL; VI. REGULARITY OF NONCOUNTING CLASSES; VII. OPTIMALITY OF PREFIX CODES; VIII. CONCLUDING REMARKS.
  table of contents: Acknowledgmentreferences; chapter 3. generators of cones and cylinders; i. preliminaries; ii. the cone of algebraic languages; iii. cylinders of algebraic languages; iv. conclusion; references; chapter 4. very small families of algebraic nonrational languages; i. languages that are nearly regular; ii. minimal cones; iii. the decreasing hierarchy; references; chapter 5. formal languages and their relation to automata:what hopcroft & ullman didn't tell us; i. introduction; ii. coordinate-free automata; iii. pushdown automata; iv. turing machines; v. conclusions; references.
  table of contents: Chapter 6. morphisms on free monoids and language theoryi. thue and lindenmayer; ii. problems about infinite words; iii. equality sets; references; chapter 7. homomorphisms: decidability, equality and test sets; i. introduction; ii. iterated homomorphisms; iii. homomorphism equivalence on a language; iv. elementary homomorphisms and equality sets; v. homomorphism compatibility; vi. test sets and checking words; vii. representation of language families; references; chapter 8. a survey of results and open problems in the mathematical theory of l systems; introduction.
  table of contents: I. single homomorphisms iteratedii. single finite substitutions iterated; iii. several homomorphisms iterated; iv. several finite substitutions iterated; v. the relationship to other classes of languages; vi. discussion; acknowledgments; references; chapter 9. some open questions and recent results on tree transducers and tree languages; i. introduction; ii. tree transducers and tree grammars; iii. attribute grammars as tree transducers; iv. computation trees of alternating automata; v. the equivalence problem for deterministic tree transducers; vi. conclusion; acknowledgments; references.
  table of contents: CHAPTER 10. THE INTERFACE BETWEEN LANGUAGE THEORY AND COMPLEXITY THEORYI. INTRODUCTION; II. COMPLETE PROBLEMS AND CHARACTERIZATION THEOREMS; III. SEPARATION AND CONTAINMENT RESULTS; REFERENCES; CHAPTER 11. Pattern Matching in Strings; I. INTRODUCTION; II. PATTERN-MATCHING PROBLEMS; III. MATCHING FINITE SETS OF KEYWORDS; IV. MATCHING REGULAR EXPRESSIONS; V. MATCHING REGULAR EXPRESSIONS WITH BACK REFERENCING; VI. CONCLUSIONS; ACKNOWLEDGMENTS; REFERENCES; CHAPTER 12. Equations and Rewrite Rules; 1. Introduction; 2. Sorted Algebras; 3. Equations and Varieties; 4. Proof Theory.
  note: edited by Ronald V. Book.
  note: Proceedings of a conference held Dec. 10-14, 1979, in Santa Barbara, Calif.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references.
  subject:
    topic: Formal languages
    genre: Congresses
  subject:
    topic: Langages formels
    genre: Congrès
  subject:
    topic: MATHEMATICS
    topic: General
  subject:
    topic: Formal languages
  subject:
    topic: Formale Sprache
  subject:
    topic: Theorie
  subject:
    topic: Formele talen
  classification: QA267.3
  classification: 511.3
  classification: 54.10
  classification: ES 920
  classification: SD 1979
  related item:
    title info:
      title: Formal language theory
    identifier: (DLC) 80022435
    identifier: (OCoLC)6761669
  identifier: 9781483267500
  identifier: 1483267504
  identifier: 9780121153502
  identifier: 0121153509
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 141023
    record change date: 20260326211331.3
    record identifier: in00005757167
    language of cataloging:
      language term: eng