↓ Skip to main content

Implementation and Application of Automata

Overview of attention for book
Cover of 'Implementation and Application of Automata'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automata for Specifying Component Interfaces
  3. Altmetric Badge
    Chapter 2 Automata on Words
  4. Altmetric Badge
    Chapter 3 Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
  5. Altmetric Badge
    Chapter 4 Timing Parameter Characterization of Real-Time Systems
  6. Altmetric Badge
    Chapter 5 Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
  7. Altmetric Badge
    Chapter 6 From Regular Weighted Expressions to Finite Automata
  8. Altmetric Badge
    Chapter 7 Bideterministic Automata and Minimal Representations of Regular Languages
  9. Altmetric Badge
    Chapter 8 Succinct Descriptions of Regular Languages with Binary ⊕-NFAs
  10. Altmetric Badge
    Chapter 9 An Efficient Pre-determinization Algorithm
  11. Altmetric Badge
    Chapter 10 Introducing Vaucanson
  12. Altmetric Badge
    Chapter 11 WFSC — A New Weighted Finite State Compiler
  13. Altmetric Badge
    Chapter 12 Ternary Directed Acyclic Word Graphs
  14. Altmetric Badge
    Chapter 13 Running Time Complexity of Printing an Acyclic Automaton
  15. Altmetric Badge
    Chapter 14 Reducing the Time Complexity of Testing for Local Threshold Testability
  16. Altmetric Badge
    Chapter 15 Branching Automata with Costs — A Way of Reflecting Parallelism in Costs
  17. Altmetric Badge
    Chapter 16 New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations
  18. Altmetric Badge
    Chapter 17 TCTL Inevitability Analysis of Dense-Time Systems
  19. Altmetric Badge
    Chapter 18 Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
  20. Altmetric Badge
    Chapter 19 Boolean Operations for Attribute-Element Constraints
  21. Altmetric Badge
    Chapter 20 XML Schema Containment Checking Based on Semi-implicit Techniques
  22. Altmetric Badge
    Chapter 21 Weak Minimization of DFA — An Algorithm and Applications
  23. Altmetric Badge
    Chapter 22 Bag Automata and Stochastic Retrieval of Biomolecules in Solution
  24. Altmetric Badge
    Chapter 23 An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics
  25. Altmetric Badge
    Chapter 24 Robust Parsing Using Dynamic Programming
  26. Altmetric Badge
    Chapter 25 LR Parsing for Global Index Languages (GILs)
  27. Altmetric Badge
    Chapter 26 The Ehrenfeucht-Mycielski Sequence
  28. Altmetric Badge
    Chapter 27 The Longest Common Subsequence Problem A Finite Automata Approach
  29. Altmetric Badge
    Chapter 28 AVA: An Applet for Visualizing FRACTRAN and Other Automata
  30. Altmetric Badge
    Chapter 29 Preliminary Experiments in Hardcoding Finite Automata
  31. Altmetric Badge
    Chapter 30 Computational Linguistic Motivations for a Finite-State Machine Hierarchy
  32. Altmetric Badge
    Chapter 31 The Effect of Rewriting Regular Expressions on Their Accepting Automata
  33. Altmetric Badge
    Chapter 32 Building Context-Sensitive Parsers from CF Grammars with Regular Control Language
  34. Altmetric Badge
    Chapter 33 Finite-State Molecular Computing
Attention for Chapter 14: Reducing the Time Complexity of Testing for Local Threshold Testability
Altmetric Badge

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Reducing the Time Complexity of Testing for Local Threshold Testability
Chapter number 14
Book title
Implementation and Application of Automata
Published by
Springer, Berlin, Heidelberg, July 2003
DOI 10.1007/3-540-45089-0_14
Book ISBNs
978-3-54-040561-0, 978-3-54-045089-4
Authors

Avraham Trakhtman