feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9948234502002882
    Format: 1 online resource (x, 304 pages) : , digital, PDF file(s).
    ISBN: 9781108756945 (ebook)
    Series Statement: Cambridge tracts in theoretical computer science ; 60
    Content: Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number of practical problems in computational linguistics and computer science. This book for graduate students and researchers gives a complete coverage of the field, starting from a conceptual introduction and building to advanced topics and applications. The central finite-state technologies are introduced with mathematical rigour, ranging from simple finite-state automata to transducers and bimachines as 'input-output' devices. Special attention is given to the rich possibilities of simplifying, transforming and combining finite-state devices. All algorithms presented are accompanied by full correctness proofs and executable source code in a new programming language, C(M), which focuses on transparency of steps and simplicity of code. Thus, by enabling readers to obtain a deep formal understanding of the subject and to put finite-state methods to real use, this book closes the gap between theory and practice.
    Note: Title from publisher's bibliographic system (viewed on 29 Jul 2019).
    Additional Edition: Print version: ISBN 9781108485418
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1671406958
    Format: 1 Online-Ressource (x, 304 pages) , Diagramme
    ISBN: 9781108756945
    Series Statement: Cambridge tracts in theoretical computer science 60
    Content: Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number of practical problems in computational linguistics and computer science. This book for graduate students and researchers gives a complete coverage of the field, starting from a conceptual introduction and building to advanced topics and applications. The central finite-state technologies are introduced with mathematical rigour, ranging from simple finite-state automata to transducers and bimachines as 'input-output' devices. Special attention is given to the rich possibilities of simplifying, transforming and combining finite-state devices. All algorithms presented are accompanied by full correctness proofs and executable source code in a new programming language, C(M), which focuses on transparency of steps and simplicity of code. Thus, by enabling readers to obtain a deep formal understanding of the subject and to put finite-state methods to real use, this book closes the gap between theory and practice.
    Note: Title from publisher's bibliographic system (viewed on 29 Jul 2019)
    Additional Edition: ISBN 9781108485418
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781108485418
    Additional Edition: Erscheint auch als Druck-Ausgabe Mihov, Stoyan, 1968 - Finite-state techniques Cambridge, United Kingdom : Cambridge University Press, 2019 ISBN 9781108485418
    Additional Edition: ISBN 1108485413
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Transduktor ; Komplexitätstheorie ; Automatentheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Book
    Book
    Cambridge, United Kingdom : Cambridge University Press
    UID:
    gbv_166365963X
    Format: x, 304 Seiten , Diagramme
    ISBN: 9781108485418 , 1108485413
    Series Statement: Cambridge tracts in theoretical computer science 60
    Content: "Preface Finite-state techniques provide theoretically elegant and computationally ef- cient solutions for various (hard, non-trivial) problems in text and natural language processing. Due to its importance in many fundamental applications, the theory of nite-state automata and related nite-state machines has been extensively studied and its development still continues. This textbook describes the basics of nite state technology, following a combined mathematical and implementational point of view. It is written for advanced undergraduate and graduate students in computer science, computational linguistics and mathematics. Though concepts are introduced in a mathematically rigorous way and correctness proofs for all procedures are given, the book is not meant as a purely theoretical introduction to the subject. The ultimate goal is to bring students to a position where they can both understand and implement complex nite-state based procedures for practically relevant tasks"--
    Note: Literaturverzeichnis: Seite 298-301
    Additional Edition: Erscheint auch als Online-Ausgabe Mihov, Stoyan, 1968 - Finite-state techniques Cambridge : Cambridge University Press, 2019 ISBN 9781108756945
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Transduktor ; Komplexitätstheorie ; Automatentheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9949481549802882
    Format: 1 online resource (180 p.)
    ISBN: 9783110211788 , 9783110238570
    Series Statement: Trends in Linguistics. Studies and Monographs [TiLSM] , 201
    Content: The contributions collected in this voume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks, among others GB, DRT and HPSG. All contributions have in common a strong preference for logic as the major tool of analysis. The first main issue concerns the combination of DRT and HPSG styles of analysis into a single system for natural language processing. The second central issue concerns the logical and automata - theoretical foundations of descriptive formalisms presently in the focus of attention, for instance minimalism. A third issue is the significance of context and locality within an algorithmic notion of meaning. The last topic addressed concerns subclasses of empirically highly significant quantificational devices like proportionality quantifiers and quantifiers which give rise to sound and complete logics for non-trivial fragments of English. The volume will be of great benefit for theoretical and computational linguists, computer scientists, philosophers, and logicians.
    Note: Frontmatter -- , Contents -- , Introduction -- , Type Theory with Records and unification-based grammar -- , One-letter automata: How to reduce k tapes to one -- , Two aspects of situated meaning -- , Further excursions in natural logic: The Mid-Point Theorems -- , On the logic of LGB type structures. Part I: Multidominance structures -- , Completeness theorems for syllogistic fragments -- , Backmatter , Issued also in print. , Mode of access: Internet via World Wide Web. , In English.
    In: DGBA Backlist Complete English Language 2000-2014 PART1, De Gruyter, 9783110238570
    In: DGBA Backlist Linguistics and Semiotics 2000-2014 (EN), De Gruyter, 9783110238457
    In: DGBA Linguistics and Semiotics 2000 - 2014, De Gruyter, 9783110636970
    In: De Gruyter Mouton Backlist 2000-2015, De Gruyter, 9783110742961
    In: E-BOOK GESAMTPAKET / COMPLETE PACKAGE 2008, De Gruyter, 9783110212129
    In: E-BOOK PACKAGE ENGLISH LANGUAGES TITLES 2008, De Gruyter, 9783110212136
    In: E-BOOK PAKET LINGUISTIK UND LITERATURWISSENSCHAFT 2008, De Gruyter, 9783110209457
    Additional Edition: ISBN 9783110204698
    Language: English
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almafu_9960118479802883
    Format: 1 online resource (x, 304 pages) : , digital, PDF file(s).
    Edition: 1st ed.
    ISBN: 1-108-62113-9 , 1-108-75694-8
    Series Statement: Cambridge tracts in theoretical computer science ; 60
    Content: Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number of practical problems in computational linguistics and computer science. This book for graduate students and researchers gives a complete coverage of the field, starting from a conceptual introduction and building to advanced topics and applications. The central finite-state technologies are introduced with mathematical rigour, ranging from simple finite-state automata to transducers and bimachines as 'input-output' devices. Special attention is given to the rich possibilities of simplifying, transforming and combining finite-state devices. All algorithms presented are accompanied by full correctness proofs and executable source code in a new programming language, C(M), which focuses on transparency of steps and simplicity of code. Thus, by enabling readers to obtain a deep formal understanding of the subject and to put finite-state methods to real use, this book closes the gap between theory and practice.
    Note: Title from publisher's bibliographic system (viewed on 29 Jul 2019). , Cover -- Half-title page -- Series page -- Title page -- Copyright page -- Contents -- Preface -- Part I FORMAL BACKGROUND -- 1 Formal Preliminaries -- 1.1 Sets, Functions and Relations -- 1.2 Lifting Functions to Sets and Tuples -- 1.3 Alphabets, Words and Languages -- 1.4 Word Tuples, String Relations and String Functions -- 1.5 The General Monoidal Perspective -- 1.6 Summing Up -- 1.7 Exercises for Chapter 1 -- 2 Monoidal Finite-State Automata -- 2.1 Basic Concept and Examples -- 2.2 Closure Properties of Monoidal Finite-State Automata -- 2.3 Monoidal Regular Languages and Monoidal Regular Expressions -- 2.4 Equivalence Between Monoidal Regular Languages and Monoidal Automaton Languages -- 2.5 Simplifying the Structure of Monoidal Finite-State Automata -- 2.6 Summing Up -- 2.7 Exercises for Chapter 2 -- 3 Classical Finite-State Automata and Regular Languages -- 3.1 Deterministic Finite-State Automata -- 3.2 Determinization of Classical Finite-State Automata -- 3.3 Additional Closure Properties for Classical Finite-State Automata -- 3.4 Minimal Deterministic Finite-State Automata and the Myhill-Nerode Equivalence Relation -- 3.5 Minimization of Deterministic Finite-State Automata -- 3.6 Coloured Deterministic Finite-State Automata -- 3.7 Pseudo-Determinization and Pseudo-Minimization of Monoidal Finite-State Automata -- 3.8 Summing Up -- 3.9 Exercises for Chapter 3 -- 4 Monoidal Multi-Tape Automata and Finite-State Transducers -- 4.1 Monoidal Multi-Tape Automata -- 4.2 Additional Closure Properties of Monoidal Multi-Tape Automata -- 4.3 Classical Multi-Tape Automata and Letter Automata -- 4.4 Monoidal Finite-State Transducers -- 4.5 Classical Finite-State Transducers -- 4.6 Deciding Functionality of Classical Finite-State Transducers -- 4.7 Summing Up -- 4.8 Exercises for Chapter 4 -- 5 Deterministic Transducers. , 5.1 Deterministic Transducers and Subsequential Transducers -- 5.2 A Determinization Procedure for Functional Transducers with the Bounded Variation Property -- 5.3 Deciding the Bounded Variation Property -- 5.4 Minimal Subsequential Finite-State Transducers: Myhill-Nerode Relation for Subsequential Transducers -- 5.5 Minimization of Subsequential Transducers -- 5.6 Numerical Subsequential Transducers -- 5.7 Summing Up -- 5.8 Bibliographic Notes -- 5.9 Exercises for Chapter 5 -- 6 Bimachines -- 6.1 Basic Definitions -- 6.2 Equivalence of Regular String Functions and Classical Bimachines -- 6.3 Pseudo-Minimization of Monoidal Bimachines -- 6.4 Direct Composition of Classical Bimachines -- 6.5 Summing Up -- 6.6 Exercises for Chapter 6 -- Part II FROM THEORY TO PRACTICE -- 7 The C(M) language -- 7.1 Basics and Simple Examples -- 7.2 Types, Terms and Statements in C(M) -- 8 C(M) Implementation of Finite-State Devices -- 8.1 C(M) Implementations for Automata Algorithms -- 8.2 C(M) Programs for Classical Finite-State Transducers -- 8.3 C(M) Programs for Deterministic Transducers -- 8.4 C(M) Programs for Bimachines -- 9 The Aho-Corasick Algorithm -- 9.1 Formal Construction - First Version -- 9.2 Linear Computation of the Aho-Corasick Automaton -- 9.3 Space-Efficient Variant - Construction of the Aho-Corasick f-Automaton -- 10 The Minimal Deterministic Finite-State Automaton for a Finite Language -- 10.1 Formal Construction -- 10.2 C(M) Implementation of the Construction - First Version -- 10.3 Efficient Construction of the Minimal Dictionary Automaton -- 10.4 Adapting the Language of Minimal Dictionary Automata -- 10.5 The Minimal Subsequential Transducer for a Finite Two-Sided Dictionary -- 11 Constructing Finite-State Devices for Text Rewriting -- 11.1 Simple Text Rewriting Based on Regular Relations. , 11.2 Using Deterministic Machines for Simple Text Rewriting -- 11.3 Leftmost-Longest Match Text Rewriting -- 11.4 Regular Relations for Leftmost-Longest Match Rewriting -- References -- Index.
    Additional Edition: ISBN 1-108-48541-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages