Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/6931
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2012-02-27T16:09:13Z | - |
dc.date.issued | 2008 | - |
dc.identifier.issn | 0010-4620 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/6931 | - |
dc.description.abstract | Throughout this paper we consider data structures as sorted algebras endowed with a designated subset of their visible part, which represents the set of truth values. The originality of our approach is the application of the standard abstract algebraic logic theory of deductive systems to the hidden heterogeneous case. We generalize the well-known equivalence relation between finite automata, which relies on the Nerode equivalence relation between states, to k -data structures. This is obtained via the Leibniz congruence, which can be viewed as a generalization of the Nerode equivalence in automata theory. © The Author 2007. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. | pt |
dc.description.sponsorship | FCT via UIMA | pt |
dc.language.iso | eng | pt |
dc.publisher | Oxford University Press | pt |
dc.relation.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-44849121292&partnerID=40&md5=255eb1f952de3e2aa4d869922e760881 | |
dc.rights | restrictedAccess | por |
dc.subject | Behavioral equivalence | pt |
dc.subject | Data structures | pt |
dc.subject | Hidden logic | pt |
dc.subject | Leibniz congruence | pt |
dc.subject | Nerode equivalence | pt |
dc.subject | Algebra | pt |
dc.subject | Automata theory | pt |
dc.subject | Finite automata | pt |
dc.subject | Formal logic | pt |
dc.title | On the behavioral equivalence between k-data structures | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 181 | pt |
degois.publication.issue | 2 | pt |
degois.publication.issue | 2 | |
degois.publication.lastPage | 191 | pt |
degois.publication.title | Computer Journal | pt |
degois.publication.volume | 51 | pt |
dc.date.embargo | 10000-01-01 | - |
dc.identifier.doi | 10.1093/comjnl/bxm031 | * |
Appears in Collections: | DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Comp J.pdf | Preprint | 215.66 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.