skip to content
Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers Preview this item
ClosePreview this item
Checking...

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

Author: Darrell Ronald Raymond; Derick Wood; Sheng Yu
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1260.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
London (Ontario, 1996)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Darrell Ronald Raymond; Derick Wood; Sheng Yu
ISBN: 3540631747 9783540631743
OCLC Number: 37213533
Description: viii, 188 pages : illustrations ; 24 cm.
Contents: WIA and the practice of theory in computer science / D.R. Raymond --
Algorithms for guided tree automata / M. Biehl, N. Klarlund, and T. Rauhe --
Time series forecasting by finite-state automata / R. Boné [and others] --
Dynamical implementation of nondeterministic automata and concurrent systems / M. Garzon and E. Eberbach --
Implementing WS1S via finite automata / J. Glenn and W. Gasarch --
Instruction computation in subset construction / J.H. Johnson and D. Wood --
Building automata on schemata and acceptability tables : application to French data adverbials / D. Maurel --
FSA utilities : a toolbox to manipulate finite-state automata / G. van Noord --
A new quadratic algorithm to convert a regular expression into an automaton / J.-L. Ponty, D. Ziadi, and J.-M. Champarnaud --
Implementing sequential and parallel programs for the homing sequence problem / B. Ravikumar and X. Xiong --
Integrating hands-on work into the formal languages course via tools and programming / S.H. Rodger --
NFA to DFA transformation for finite languages / K. Salomaa and S. Yu --
How to use sorting procedures to minimize DFA / B. Schubert --
FIRE lite : FAs and REs in C++ / B.W. Watson.
Series Title: Lecture notes in computer science, 1260.
Other Titles: WIA '96
Responsibility: Darrell Raymond, Derick Wood, Sheng Yu (eds.).
More information:

Reviews

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

Tags

Be the first.
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/37213533> # Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "37213533" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774317527#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automat> ; # Automat
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/formele_logica> ; # Formele logica
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automate> ; # automate
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/abstracte_automaten> ; # Abstracte automaten
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/ciencia_da_computacao_ou_informatica> ; # Ciencia da computacao ou informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/langages_formels_congres> ; # Langages formels--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/programmierung> ; # Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automates_mathematiques_theorie_des_congres> ; # Automates mathématiques, Théorie des--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/machine_theory> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automate_arbre> ; # automate arbre
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automate_non_deterministe> ; # automate non déterministe
   schema:about <http://experiment.worldcat.org/entity/work/data/774317527#Topic/automate_fini> ; # automate fini
   schema:alternateName "WIA '96" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774317527#Person/yu_sheng> ; # Sheng Yu
   schema:contributor <http://viaf.org/viaf/108579575> ; # Derick Wood
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774317527#Person/raymond_darrell_ronald> ; # Darrell Ronald Raymond
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/774317527#Meeting/international_workshop_on_implementing_automata_1st_1996_london_ont> ; # International Workshop on Implementing Automata (1st : 1996 : London, Ont.)
   schema:datePublished "1997" ;
   schema:description "WIA and the practice of theory in computer science / D.R. Raymond -- Algorithms for guided tree automata / M. Biehl, N. Klarlund, and T. Rauhe -- Time series forecasting by finite-state automata / R. Boné [and others] -- Dynamical implementation of nondeterministic automata and concurrent systems / M. Garzon and E. Eberbach -- Implementing WS1S via finite automata / J. Glenn and W. Gasarch -- Instruction computation in subset construction / J.H. Johnson and D. Wood -- Building automata on schemata and acceptability tables : application to French data adverbials / D. Maurel -- FSA utilities : a toolbox to manipulate finite-state automata / G. van Noord -- A new quadratic algorithm to convert a regular expression into an automaton / J.-L. Ponty, D. Ziadi, and J.-M. Champarnaud -- Implementing sequential and parallel programs for the homing sequence problem / B. Ravikumar and X. Xiong -- Integrating hands-on work into the formal languages course via tools and programming / S.H. Rodger -- NFA to DFA transformation for finite languages / K. Salomaa and S. Yu -- How to use sorting procedures to minimize DFA / B. Schubert -- FIRE lite : FAs and REs in C++ / B.W. Watson."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/774317527> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "London (Ontario, 1996)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers"@en ;
   schema:productID "37213533" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37213533#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/774317527#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz059866179cov.htm> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1260> ;
   schema:url <http://dx.doi.org/10.1007/3-540-63174-7> ;
   schema:url <http://link.springer.com/10.1007/3-540-63174-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540631743> ;
   umbel:isLike <http://d-nb.info/950527874> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37213533> ;
    .


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/774317527#Meeting/international_workshop_on_implementing_automata_1st_1996_london_ont> # International Workshop on Implementing Automata (1st : 1996 : London, Ont.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/774317527#Place/london_ont> ; # London, Ont.)
   schema:name "International Workshop on Implementing Automata (1st : 1996 : London, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Person/raymond_darrell_ronald> # Darrell Ronald Raymond
    a schema:Person ;
   schema:familyName "Raymond" ;
   schema:givenName "Darrell Ronald" ;
   schema:name "Darrell Ronald Raymond" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/abstracte_automaten> # Abstracte automaten
    a schema:Intangible ;
   schema:name "Abstracte automaten"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/automate_non_deterministe> # automate non déterministe
    a schema:Intangible ;
   schema:name "automate non déterministe"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/automates_mathematiques_theorie_des_congres> # Automates mathématiques, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/ciencia_da_computacao_ou_informatica> # Ciencia da computacao ou informatica
    a schema:Intangible ;
   schema:name "Ciencia da computacao ou informatica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317527#Topic/langages_formels_congres> # Langages formels--Congrès
    a schema:Intangible ;
   schema:name "Langages formels--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://link.springer.com/10.1007/3-540-63174-7>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/108579575> # Derick Wood
    a schema:Person ;
   schema:birthDate "1940" ;
   schema:familyName "Wood" ;
   schema:givenName "Derick" ;
   schema:name "Derick Wood" ;
    .

<http://worldcat.org/isbn/9783540631743>
    a schema:ProductModel ;
   schema:isbn "3540631747" ;
   schema:isbn "9783540631743" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37213533> ; # Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/37213533>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37213533> ; # Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
   schema:dateModified "2017-09-04" ;
   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.