skip to content
A linear algorithm for testing equivalence of finite automata Preview this item
ClosePreview this item
Checking...

A linear algorithm for testing equivalence of finite automata

Author: John E Hopcroft; R M Karp
Publisher: [Place of publication not identified] : [publisher not identified], [1971]
Edition/Format:   eBook : Document : National government publication : EnglishView all editions and formats
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

Additional Physical Format: Print version:
Hopcroft, John E., 1939-
Linear algorithm for testing equivalence of finite automata.
[S.l. : s.n., 1971]
(OCoLC)64029134
Material Type: Document, Government publication, National government publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: John E Hopcroft; R M Karp
OCLC Number: 692244841
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (7 pages)
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Responsibility: J.E. Hopcroft, R.M. Karp.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/692244841> # A linear algorithm for testing equivalence of finite automata
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "692244841" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1910428463#Place/place_of_publication_not_identified> ; # Place of publication not identified
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
    schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/71546274> ; # Richard M. Karp
    schema:creator <http://viaf.org/viaf/61608974> ; # John E. Hopcroft
    schema:datePublished "1971" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1910428463> ;
    schema:genre "National government publication"@en ;
    schema:genre "Government publication"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/64029134> ;
    schema:name "A linear algorithm for testing equivalence of finite automata"@en ;
    schema:productID "692244841" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/692244841#PublicationEvent/place_of_publication_not_identified_publisher_not_identified_1971> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1910428463#Agent/publisher_not_identified> ; # [publisher not identified]
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/64029134.html> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/692244841> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1910428463#Agent/publisher_not_identified> # [publisher not identified]
    a bgn:Agent ;
    schema:name "[publisher not identified]" ;
    .

<http://experiment.worldcat.org/entity/work/data/1910428463#Place/place_of_publication_not_identified> # Place of publication not identified
    a schema:Place ;
    schema:name "Place of publication not identified" ;
    .

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

<http://viaf.org/viaf/61608974> # John E. Hopcroft
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Hopcroft" ;
    schema:givenName "John E." ;
    schema:name "John E. Hopcroft" ;
    .

<http://viaf.org/viaf/71546274> # Richard M. Karp
    a schema:Person ;
    schema:birthDate "1935" ;
    schema:familyName "Karp" ;
    schema:givenName "Richard M." ;
    schema:givenName "R. M." ;
    schema:name "Richard M. Karp" ;
    .

<http://www.worldcat.org/oclc/64029134>
    a schema:CreativeWork ;
    rdfs:label "Linear algorithm for testing equivalence of finite automata." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/692244841> ; # A linear algorithm for testing equivalence of finite automata
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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