Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)
Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)
Resource Information
The item Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This book constitutes the refereed proceedings of the 21st International Conference on Implementation and Application of Automata, CIAA 2016, held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.
 Language
 eng
 Extent
 XVI, 335 p. 91 illus.
 Contents

 Decision Problems for Finite Automata over Infinite Algebraic Structures
 The Degree of Irreversibility in Deterministic Finite Automata
 Deterministic Stack Transducers
 Computing the Expected Edit Distance from a String to a PFA
 DerivedTerm Automata of Multitape Rational Expressions
 Solving Parity Games Using an AutomataBased Algorithm
 Ternary Equational Languages
 Problems on Finite Automata and the Exponential Time Hypothesis
 A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of TreeWidth 2 for Spanning Tree Automata
 A Practical Simulation Result for TwoWay Pushdown Automata
 Nondeterministic Complexity of Operations on Closed and Ideal Languages
 On Bounded Semilinear Languages, Counter Machines, and FiniteIndex ET0L
 Kuratowski Algebras Generated by PrefixFree Languages
 A Logical Characterization of Small 2NFAs
 Experiments with Synchronizing Automata
 Implementation of Code Properties via Transducers
 On Synchronizing Automata and Uniform Distribution
 Looking for the Pairs that are Hard to Separate: A Quantum Approach
 Prefix Distance Between Regular Languages
 Complexity of Sets of TwoDimensional Patterns
 The Complexity of FixedHeight Patterned Tile SelfAssembly
 DerivativeBased Diagnosis of Regular Expression Ambiguity
 Regular Approximation of Weighted Linear Nondeleting ContextFree Tree Languages
 Derivatives for Enhanced Regular Expressions
 Weighted Restarting Automata as Language Acceptors
 Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy
 Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA
 Isbn
 9783319409467
 Label
 Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings
 Title
 Implementation and Application of Automata
 Title remainder
 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings
 Statement of responsibility
 edited by YoSub Han, Kai Salomaa
 Subject

 Computation by Abstract Devices
 Data structures (Computer science)
 Computers
 Computer science
 Algorithms
 Algorithm Analysis and Problem Complexity
 Data structures (Computer science)
 Logic, Symbolic and mathematical
 Mathematical Logic and Formal Languages
 Computer Science
 Data Structures
 Computer Science
 Computer science  Mathematics
 Logic, Symbolic and mathematical
 Discrete Mathematics in Computer Science
 Logic, Symbolic and mathematical
 Computer logic
 Electronic resources
 Computer science
 Algorithms
 Computer logic
 Computer science  Mathematics
 Logics and Meanings of Programs
 Computers
 Algorithms
 Computers
 Computer Science
 Computer science
 Computer science  Mathematics
 Data structures (Computer science)
 Computer logic
 Language
 eng
 Summary
 This book constitutes the refereed proceedings of the 21st International Conference on Implementation and Application of Automata, CIAA 2016, held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.
 Image bit depth
 0
 LC call number
 QA75.576.95
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Han, YoSub
 Salomaa, Kai.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 9705
 http://library.link/vocab/subjectName

 Computer science
 Data structures (Computer science)
 Computers
 Algorithms
 Computer logic
 Logic, Symbolic and mathematical
 Computer science
 Computer Science
 Computation by Abstract Devices
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Algorithm Analysis and Problem Complexity
 Data Structures
 Discrete Mathematics in Computer Science
 Label
 Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Decision Problems for Finite Automata over Infinite Algebraic Structures  The Degree of Irreversibility in Deterministic Finite Automata  Deterministic Stack Transducers  Computing the Expected Edit Distance from a String to a PFA  DerivedTerm Automata of Multitape Rational Expressions  Solving Parity Games Using an AutomataBased Algorithm  Ternary Equational Languages  Problems on Finite Automata and the Exponential Time Hypothesis  A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of TreeWidth 2 for Spanning Tree Automata  A Practical Simulation Result for TwoWay Pushdown Automata  Nondeterministic Complexity of Operations on Closed and Ideal Languages  On Bounded Semilinear Languages, Counter Machines, and FiniteIndex ET0L  Kuratowski Algebras Generated by PrefixFree Languages  A Logical Characterization of Small 2NFAs  Experiments with Synchronizing Automata  Implementation of Code Properties via Transducers  On Synchronizing Automata and Uniform Distribution  Looking for the Pairs that are Hard to Separate: A Quantum Approach  Prefix Distance Between Regular Languages  Complexity of Sets of TwoDimensional Patterns  The Complexity of FixedHeight Patterned Tile SelfAssembly  DerivativeBased Diagnosis of Regular Expression Ambiguity  Regular Approximation of Weighted Linear Nondeleting ContextFree Tree Languages  Derivatives for Enhanced Regular Expressions  Weighted Restarting Automata as Language Acceptors  Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy  Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA
 Dimensions
 unknown
 Extent
 XVI, 335 p. 91 illus.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783319409467
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319409467
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783319409467
 Label
 Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Decision Problems for Finite Automata over Infinite Algebraic Structures  The Degree of Irreversibility in Deterministic Finite Automata  Deterministic Stack Transducers  Computing the Expected Edit Distance from a String to a PFA  DerivedTerm Automata of Multitape Rational Expressions  Solving Parity Games Using an AutomataBased Algorithm  Ternary Equational Languages  Problems on Finite Automata and the Exponential Time Hypothesis  A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of TreeWidth 2 for Spanning Tree Automata  A Practical Simulation Result for TwoWay Pushdown Automata  Nondeterministic Complexity of Operations on Closed and Ideal Languages  On Bounded Semilinear Languages, Counter Machines, and FiniteIndex ET0L  Kuratowski Algebras Generated by PrefixFree Languages  A Logical Characterization of Small 2NFAs  Experiments with Synchronizing Automata  Implementation of Code Properties via Transducers  On Synchronizing Automata and Uniform Distribution  Looking for the Pairs that are Hard to Separate: A Quantum Approach  Prefix Distance Between Regular Languages  Complexity of Sets of TwoDimensional Patterns  The Complexity of FixedHeight Patterned Tile SelfAssembly  DerivativeBased Diagnosis of Regular Expression Ambiguity  Regular Approximation of Weighted Linear Nondeleting ContextFree Tree Languages  Derivatives for Enhanced Regular Expressions  Weighted Restarting Automata as Language Acceptors  Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy  Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA
 Dimensions
 unknown
 Extent
 XVI, 335 p. 91 illus.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783319409467
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319409467
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783319409467
Subject
 Algorithm Analysis and Problem Complexity
 Algorithms
 Algorithms
 Algorithms
 Computation by Abstract Devices
 Computer Science
 Computer Science
 Computer Science
 Computer logic
 Computer logic
 Computer logic
 Computer science
 Computer science
 Computer science
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics
 Computers
 Computers
 Computers
 Data Structures
 Data structures (Computer science)
 Data structures (Computer science)
 Data structures (Computer science)
 Discrete Mathematics in Computer Science
 Electronic resources
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ImplementationandApplicationofAutomata21st/2IOz0PVomg0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ImplementationandApplicationofAutomata21st/2IOz0PVomg0/">Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ImplementationandApplicationofAutomata21st/2IOz0PVomg0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ImplementationandApplicationofAutomata21st/2IOz0PVomg0/">Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 1922, 2016, Proceedings, edited by YoSub Han, Kai Salomaa, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>