skip to content
Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers Preview this item
ClosePreview this item
Checking...

Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers

Author: Masami Itō; Masafumi Toyama
Publisher: Berlin ; New York : Springer, ©2003.
Series: Lecture notes in computer science, 2450.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages;  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:Conference on Developments in Language Theory (6th : 2002 : Kyoto, Japan)
Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
(OCoLC)52478479
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Masami Itō; Masafumi Toyama
ISBN: 9783540450054 354045005X
OCLC Number: 166468397
Description: 1 online resource (ix, 427 pages) : illustrations.
Contents: Invited Presentations --
Computational Processes in Living Cells: Gene Assembly in Ciliates --
Experimental Quantum Computation with Molecules --
Efficient Transformations from Regular Expressions to Finite Automata --
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators --
A Remark about Quadratic Trace Equations --
Infinite Snake Tiling Problems --
Decision Problems for Linear and Circular Splicing Systems --
Finite Automata Models of Quantized Systems: Conceptual Status and Outlook --
Automata on Linear Orderings --
Contributions --
Some Properties of Ciliate Bio-operations --
On the Descriptional Complexity of Some Variants of Lindenmayer Systems --
Carriers and Counters --
On the Separation between k-Party and (k --
1)-Party Nondeterministic Message Complexities --
Unary Language Operations and Their Nondeterministic State Complexity --
Constructing Infinite Words of Intermediate Complexity --
A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines --
Undecidability of Weak Bisimilarity for PA-Processes --
Improved Bounds on the Number of Automata Accepting Finite Languages --
Roots and Powers of Regular Languages --
Innermost Termination of Context-Sensitive Rewriting --
A Unique Structure of Two-Generated Binary Equality Sets --
On Deterministic Finite Automata and Syntactic Monoid Size --
An Inverse Automata Algorithm for Recognizing 2-Collapsing Words --
Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z --?*-Automata --
Some Remarks on Asynchronous Automata --
Tiling Systems over Infinite Pictures and Their Acceptance Conditions --
The Average Lengths of the Factors of the Standard Factorization of Lyndon Words --
Circular Words Avoiding Patterns --
Safety Verification for Two-Way Finite Automata with Monotonic Counters --
An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton --
On the Structure of Graphic DLI-Sets --
Finite Completion of Comma-Free Codes. Part I --
On a Family of Codes with Bounded Deciphering Delay --
Abstract Families of Graphs --
Automaton Representation of Linear Conjunctive Languages --
On-Line Odometers for Two-Sided Symbolic Dynamical Systems --
Characteristic Semigroups of Directable Automata.
Series Title: Lecture notes in computer science, 2450.
Other Titles: DLT 2002
Responsibility: [volume editors, Masami Ito, Masafumi Toyama].

Abstract:

The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. relations to complexity theory, logic picture  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/166468397> # Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "166468397" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104501707#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1104501707#Topic/formal_languages> ; # Formal languages
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:alternateName "DLT 2002" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/85384875> ; # Masami Itō
   schema:contributor <http://viaf.org/viaf/78149636> ; # Masafumi Toyama
   schema:copyrightYear "2003" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1104501707#Meeting/conference_on_developments_in_language_theory_6th_2002_kyoto_japan> ; # Conference on Developments in Language Theory (6th : 2002 : Kyoto, Japan)
   schema:datePublished "2003" ;
   schema:description "Invited Presentations -- Computational Processes in Living Cells: Gene Assembly in Ciliates -- Experimental Quantum Computation with Molecules -- Efficient Transformations from Regular Expressions to Finite Automata -- Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators -- A Remark about Quadratic Trace Equations -- Infinite Snake Tiling Problems -- Decision Problems for Linear and Circular Splicing Systems -- Finite Automata Models of Quantized Systems: Conceptual Status and Outlook -- Automata on Linear Orderings -- Contributions -- Some Properties of Ciliate Bio-operations -- On the Descriptional Complexity of Some Variants of Lindenmayer Systems -- Carriers and Counters -- On the Separation between k-Party and (k -- 1)-Party Nondeterministic Message Complexities -- Unary Language Operations and Their Nondeterministic State Complexity -- Constructing Infinite Words of Intermediate Complexity -- A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines -- Undecidability of Weak Bisimilarity for PA-Processes -- Improved Bounds on the Number of Automata Accepting Finite Languages -- Roots and Powers of Regular Languages -- Innermost Termination of Context-Sensitive Rewriting -- A Unique Structure of Two-Generated Binary Equality Sets -- On Deterministic Finite Automata and Syntactic Monoid Size -- An Inverse Automata Algorithm for Recognizing 2-Collapsing Words -- Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z --?*-Automata -- Some Remarks on Asynchronous Automata -- Tiling Systems over Infinite Pictures and Their Acceptance Conditions -- The Average Lengths of the Factors of the Standard Factorization of Lyndon Words -- Circular Words Avoiding Patterns -- Safety Verification for Two-Way Finite Automata with Monotonic Counters -- An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton -- On the Structure of Graphic DLI-Sets -- Finite Completion of Comma-Free Codes. Part I -- On a Family of Codes with Bounded Deciphering Delay -- Abstract Families of Graphs -- Automaton Representation of Linear Conjunctive Languages -- On-Line Odometers for Two-Sided Symbolic Dynamical Systems -- Characteristic Semigroups of Directable Automata."@en ;
   schema:description "This book constitutes the refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104501707> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/52478479> ;
   schema:name "Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers"@en ;
   schema:productID "166468397" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/166468397#PublicationEvent/berlin_new_york_springer_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104501707#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.com/link.asp?id=tkyd5a3b3nfk> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3072070> ;
   schema:url <http://link.springer.com/10.1007/3-540-45005-X> ;
   schema:url <http://dx.doi.org/10.1007/3-540-45005-X> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-40431-6> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-40431-6> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/354045005X> ;
   schema:workExample <http://worldcat.org/isbn/9783540450054> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/166468397> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104501707#Meeting/conference_on_developments_in_language_theory_6th_2002_kyoto_japan> # Conference on Developments in Language Theory (6th : 2002 : Kyoto, Japan)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104501707#Place/kyoto_japan> ; # Kyoto, Japan)
   schema:name "Conference on Developments in Language Theory (6th : 2002 : Kyoto, Japan)" ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/78149636> # Masafumi Toyama
    a schema:Person ;
   schema:familyName "Toyama" ;
   schema:givenName "Masafumi" ;
   schema:name "Masafumi Toyama" ;
    .

<http://viaf.org/viaf/85384875> # Masami Itō
    a schema:Person ;
   schema:birthDate "1941" ;
   schema:familyName "Itō" ;
   schema:givenName "Masami" ;
   schema:name "Masami Itō" ;
    .

<http://worldcat.org/isbn/9783540450054>
    a schema:ProductModel ;
   schema:isbn "354045005X" ;
   schema:isbn "9783540450054" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/166468397> ; # Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/52478479>
    a schema:CreativeWork ;
   rdfs:label "Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers" ;
   schema:description "Print version:Conference on Developments in Language Theory (6th : 2002 : Kyoto, Japan)" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/166468397> ; # Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
    .

<http://www.worldcat.org/title/-/oclc/166468397>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/166468397> ; # Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.